Тюгашев, А. А. К вопросу об оптимизирующих преобразованиях управляющих алгоритмов реального времени [Текст] / А. А. Тюгашев, А. Ю. Богатов // Вестник Самарского государственного технического университета. Сер.: Физико-математические науки. - 2009. - N 1. - С. 260-266 . - ISSN 1991-8615
Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): математические модели -- алгоритмы реального времени -- управляющие алгоритмы -- эквивалентные оптимизирующие преобразования -- функциональные задачи -- линейные уравнения -- системы линейных уравнений -- бинарное дерево -- оптимизация программ -- машинно-независимая оптимизация программ Аннотация: Рассматривается проблема машинно-независимой оптимизации программ, построенных на управляющих алгоритмах реального времени. Описывается математическая модель семантики управляющих алгоритмов и основанные на ней эквивалентные оптимизирующие преобразования. Доп.точки доступа: Богатов, А. Ю. |