Найдено научных статей и публикаций: 2, для научной тематики: Функциональная задача
1.
А.А. Тюгашев, А.Ю. Богатов
- Вестник Самарского государственного аэрокосмического университета имени академика С.П. Королева (национального исследовательского университета) , 2011
Предлагается подход к решению проблемы спецификации управляющих алгоритмов реального времени, основанный на специально построенной формальной теории. Рассматривается возможность автоматизации синтаксической редукции спецификации управляющих алгоритмов...
Предлагается подход к решению проблемы спецификации управляющих алгоритмов реального времени, основанный на специально построенной формальной теории. Рассматривается возможность автоматизации синтаксической редукции спецификации управляющих алгоритмов
Вестник СГАУ, №2 (26) 2011, с.269-275
2.
А. А. Тюгашев, А. Ю. Богатов
- Вестник Самарского государственного технического университета. Серия: физико-математические науки , 2009
Рассматривается проблема машинно-независимой оптимизации программ, построенных на управляющих алгоритмах реального времени (УАРВ). Описывается математическая модель семантики УА и основанные на ней эквивалентные оптимизирующие преобразования....
Рассматривается проблема машинно-независимой оптимизации программ, построенных на управляющих алгоритмах реального времени (УАРВ). Описывается математическая модель семантики УА и основанные на ней эквивалентные оптимизирующие преобразования.
Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2009, 1(18), 260–266