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

Препринт ИПМ № 24, Москва, 2012 г.
Авторы: Климов А. В., Ключников И. Г., Романенко С. А.
Реализация предметно-ориентированного многорезультатного суперкомпилятора с помощью инструментария MRSC
Аннотация:
В работе представлен простой предметно-ориентированный многорезультатный суперкомпилятор, предназначенный для анализа поведения счетчиковых систем и реализованный с помощью инструментария MRSC. Входным языком суперкомпилятора является недетерминированный предметно-ориентированный язык, предназначенный для описания моделей коммуникационных протоколов. Реализация этого языка основана на поверхностном встраивании и существенном использовании конструкций высшего порядка. Рассматривается две версии многорезультатного суперкомпилятора. В первой из них реализован “наивный” алгоритм, который оказывается низкоэффективным. Во второй версии, благодаря учету особенностей проблемной области, удается значительно уменьшить количество порождаемых графов конфигураций и снизить потребление вычислительных ресурсов.
Язык публикации: русский/английский,  страниц: 21/20
Направление исследований:
Программирование, параллельные вычисления, мультимедиа
Полный текст на русском языке:
Полный текст на английском языке:
Список цитирующих публикаций:
Экспорт ссылки на публикацию в формате:   RIS    BibTeX
Статистика просмотров (обновляется раз в сутки):
за последние 30 дней — 4 (-1), всего с 01.09.2019 — 131
Сведения об авторах:
  • Климов Андрей Валентинович,  klimov@keldysh.ruorcid.org/0000-0003-0418-7311ИПМ им. М.В. Келдыша РАН
  • Ключников Илья Григорьевич,  ilya.klyuchnikov@gmail.comИПМ им. М.В. Келдыша РАН
  • Романенко Сергей Анатольевич,  romansa@keldysh.ruorcid.org/0000-0002-2971-9647ИПМ им. М.В. Келдыша РАН