|
Информатика
К вопросу об оптимизирующих преобразованиях управляющих алгоритмов реального времени
А. А. Тюгашев, А. Ю. Богатов Самарский государственный аэрокосмический университет им. академика С. П. Королева; каф. компьютерных систем
(публикуется на условиях лицензии Creative Commons Attribution 4.0 International)
Аннотация:
Рассматривается проблема машинно-независимой оптимизации программ, построенных на управляющих алгоритмах реального времени (УАРВ). Описывается математическая модель семантики УА и основанные на ней эквивалентные оптимизирующие преобразования.
Ключевые слова:
математическая модель, управляющий алгоритм, эквивалентные оптимизирующие преобразования, функциональная задача, система линейных уравнений, бинарное дерево.
Поступила в редакцию 15/I/2009 в окончательном варианте – 16/II/2009
Образец цитирования:
А. А. Тюгашев, А. Ю. Богатов, “К вопросу об оптимизирующих преобразованиях управляющих алгоритмов реального времени”, Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 1(18) (2009), 260–266
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vsgtu665 https://www.mathnet.ru/rus/vsgtu/v118/p260
|
Статистика просмотров: |
Страница аннотации: | 457 | PDF полного текста: | 118 | Список литературы: | 55 | Первая страница: | 1 |
|