Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

№ 24, Москва, 2012 г.
Авторы: Климов А.В., Ключников И. Г., Романенко С.А.
Реализация предметно-ориентированного многорезультатного суперкомпилятора с помощью инструментария MRSC
Аннотация:
В работе представлен простой предметно-ориентированный многорезультатный суперкомпилятор, предназначенный для анализа поведения счетчиковых систем и реализованный с помощью инструментария MRSC. Входным языком суперкомпилятора является недетерминированный предметно-ориентированный язык, предназначенный для описания моделей коммуникационных протоколов. Реализация этого языка основана на поверхностном встраивании и существенном использовании конструкций высшего порядка. Рассматривается две версии многорезультатного суперкомпилятора. В первой из них реализован “наивный” алгоритм, который оказывается низкоэффективным. Во второй версии, благодаря учету особенностей проблемной области, удается значительно уменьшить количество порождаемых графов конфигураций и снизить потребление вычислительных ресурсов.
Язык публикации: русский/английский, страниц: 21/20
Направление исследований:
Программирование, параллельные вычисления, мультимедиа
Полный текст на русском языке: Полный текст на английском языке: Сведения об авторах:
  • Климов Аркадий Валентинович,  ИПМ им. М.В. Келдыша РАН
  • Ключников Илья Григорьевич,  ,  ИПМ им. М.В. Келдыша РАН
  • Романенко Сергей Анатольевич,  ,  ИПМ им. М.В. Келдыша РАН