Автоматическая верификация и оптимизация потоков работ
Способы построения эффективных универсальных алгоритмов верификации и оптимизации, подходящих для анализа и преобразования потоков работ. Этапы разработки единого промежуточного графового представления для моделирования потока управления и потока данных.
| Рубрика | Программирование, компьютеры и кибернетика |
| Предмет | Информационные технологии и системы |
| Вид | автореферат |
| Язык | русский |
| Прислал(а) | Incognito |
| Дата добавления | 31.07.2018 |
| Размер файла | 234,3 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Выбор беспроводной технологии передачи данных. Механизмы управления качеством передачи потоков. Программное обеспечение приемной и передающей станции. Эксперименты, направленные на изучение неравномерности передаваемого потока данных при доступе к среде.
дипломная работа [1,1 M], добавлен 18.05.2012Особенности разработки при использовании потоков. Создание, удаление переменных. Свойства, управление потоками. Вызовы для создания мутекс. Причины завершения потока. Методы синхронизации выполнения потоков. Типичная последовательность действий с мутест.
лекция [160,8 K], добавлен 29.07.2012Анализ тестопригодности графа управления автоматной модели HDL-программы. Фрагмент модуля дискретного косинусного преобразования и кода механизма ассерций. Особенности верификации дискретного косинусного преобразования в среде Questa, Mentor Graphics.
реферат [306,9 K], добавлен 20.11.2010Общее понятие алгоритма и меры его сложности. Временная и емкостная сложность алгоритмов. Основные методы и приемы анализа сложности. Оптимизация, связанная с выбором метода построения алгоритма и с выбором методов представления данных в программе.
реферат [90,6 K], добавлен 27.11.2012Реализация алгоритма верификации данных; разработка программы обнаружения аномальных данных в одномерных выборках. Характеристика методов D-статистики, Титьена-Мура, диаграммы "Ящик с усами"; обеспечение эффективности оценок статистических данных.
курсовая работа [2,5 M], добавлен 27.05.2013Классификация моделей транспортных потоков. Моделирования структуры проезжих частей и допустимых траекторий движения на перекрестке. Общие сведения о программной платформе. Структура классов, стадии и этапы разработки. Алгоритм следования за лидером.
курсовая работа [75,3 K], добавлен 04.06.2013Создание потока путем реализации интерфейса Runnable. Диспетчеризация, имена, приоритеты и определение работающих потоков. Взаимная их блокировка и корректное завершение. Применение методов wait(), notify(), notifyAll(). Завершение потока с interrupt().
презентация [116,7 K], добавлен 21.06.2014Сущность управления лицензионным программным обеспечением. Требования к аппаратному обеспечению. Изучение средств моделирования и разработки информационной системы. Анализ основных методов работы с Oracle Designer. Построение диаграмм потоков данных.
курсовая работа [1,4 M], добавлен 06.06.2014Необходимость разработки автоматизированной информационной системы, которая будет использоваться для составления смет на выполнение строительных работ и формирования отчетов. Исследование информационных потоков. Оценка размера программного продукта.
дипломная работа [7,0 M], добавлен 29.06.2012Методика и основные этапы разработки стратегической игры, ее элементы и принцип работы программы. Порядок построения информационной модели. Диаграмма потоков данных и действий. Выбор языка программирования и его обоснование. Критерии качества среды.
курсовая работа [3,5 M], добавлен 11.12.2012
