|
Препринты Института прикладной математики им. М. В. Келдыша РАН, 2012, 024, 21 стр.
(Mi ipmp42)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Реализация предметно-ориентированного многорезультатного суперкомпилятора с помощью инструментария MRSC
А. В. Климов, И. Г. Ключников, С. А. Романенко
Аннотация:
В работе представлен простой предметно-ориентированный многорезультатный суперкомпилятор, предназначенный для анализа поведения счетчиковых систем и реализованный с помощью инструментария MRSC. Входным языком суперкомпилятора является недетерминированный предметно-ориентированный язык, предназначенный для описания моделей коммуникационных протоколов. Реализация этого языка основана на поверхностном встраивании и существенном использовании конструкций высшего порядка. Рассматривается две версии многорезультатного суперкомпилятора. В первой из них реализован “наивный” алгоритм, который оказывается низкоэффективным. Во второй версии, благодаря учету особенностей проблемной области, удается значительно уменьшить количество порождаемых графов конфигураций и снизить потребление вычислительных ресурсов.
Образец цитирования:
А. В. Климов, И. Г. Ключников, С. А. Романенко, “Реализация предметно-ориентированного многорезультатного суперкомпилятора с помощью инструментария MRSC”, Препринты ИПМ им. М. В. Келдыша, 2012, 024, 21 с.; 2012, 000, 20 pp.
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ipmp42 https://www.mathnet.ru/rus/ipmp/y2012/p24
|
Статистика просмотров: |
Страница аннотации: | 154 | PDF русской версии: | 79 | PDF английской версии: | 9 | Список литературы: | 33 |
|