А. А. Тюгашев, А. Ю. Богатов, “К вопросу об оптимизирующих преобразованиях управляющих алгоритмов реального времени”, Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2009, выпуск 1(18),страницы 260

Информатика

К вопросу об оптимизирующих преобразованиях управляющих алгоритмов реального времени

А. А. Тюгашев, А. Ю. Богатов

Самарский государственный аэрокосмический университет им. академика С. П. Королева; каф. компьютерных систем

Аннотация: Рассматривается проблема машинно-независимой оптимизации программ, построенных на управляющих алгоритмах реального времени (УАРВ). Описывается математическая модель семантики УА и основанные на ней эквивалентные оптимизирующие преобразования.

Ключевые слова: математическая модель, управляющий алгоритм, эквивалентные оптимизирующие преобразования, функциональная задача, система линейных уравнений, бинарное дерево.

УДК: 519.712

MSC: 68W40

Поступила в редакцию 15/I/2009
в окончательном варианте – 16/II/2009

DOI: 10.14498/vsgtu665