Исследование и разработка подсистемы оптимизации в системе автоматизированного проектирования встроенного программного обеспечения

• Автор: Золотарь, Александр Викторович
• Шифр специальности: 05.13.12
• Научная степень: Кандидатская
• Год защиты: 1984
• Место защиты: Ленинград
• Количество страниц: 143 c. : ил

1.3.Организация глобального контроля проектируемых программ

в подсистеме оптимизации

Выводы

Алгоритмические основы функционирования подсистемы оптимизации

Практические методы глобальной оптимизации программ .

Сведение задачи оптимального использования регистровой памяти к задачам теории

графов

Методы минимизации числа операторов безусловной передачи управления

Распределение регистровой памяти на линейных

участках программ

2.5.Особенности минимизации числа операторов перехода в

реальных программах
2.б.Ликвидация избыточных маршрутов
воды
Реализация и функционирование подсистемы оптимизации встроенных программ
Реализация распределения памяти между простыми
переменными
Квазилинейные алгоритмы построения маршрутов переменных и графа несовместимости
Скоростной алгоритм линеаризации графа управления .
Реализация метода УрбаноМюллера получения тупиковых дизъюнктивных форм булевых
функций 9
Возможности и результаты оптимизации реальных
встроенных программ
Выводы
Заключение
Литература


Введение . Практические методы глобальной оптимизации программ . Квазилинейные алгоритмы построения маршрутов переменных и графа несовместимости
Скоростной алгоритм линеаризации графа управления . Литература 2
Актуальность проблемы. ЭВМ. ЭВМ требует больших затрат труда квалифицированных программистов. ЭВМ. Традиционные САПР не содержат средств решения указанных задач. Возникает противоречие между объемом и качеством проектируемых программ. САПР ВПО. САПР ВПО. Методы исследования. САПР ВПО. ЭВМ. Практическая ценность и реализация результатов. Курским заводом Счетмаш. ИСЭП АН СССР. Апробация работы. Всесоюзной конференции Системы телеобработки Рига, г. АН УССР Киев, г. Институте проблем управления АН СССР Москва,
Публикации. По теме диссертационной работы опубликовано шесть печатных работ. ЭВМ второго поколения. ПЗУ , , , . Исправление ВПО процесс длительный, т. ОС ЭВМ0 приходится примерно на 0 команд. САПР ПО. САПР. Обычно объем модуля не превосходит команд. Формализации. Гораздо меньше внимания уделяется в САПР ПО средствам комплексной отладки. ВПО продолжалась с по год. ВПО в производство.