|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2018 |
| 1. |
А. В. Климов, С. А. Романенко, “Суперкомпиляция: основные принципы и базовые понятия”, Препринты ИПМ им. М. В. Келдыша, 2018, 111, 36 стр.   |
3
|
| 2. |
I. A. Adamovich, And. V. Klimov, “An interactive specializer based on partial evaluation for a Java subset”, Труды ИСП РАН, 30:4 (2018), 29–44 |
3
|
|
2017 |
| 3. |
А. И. Адамович, Анд. В. Климов, “Как создавать параллельные программы, детерминированные по построению? Постановка проблемы и обзор работ”, Программные системы: теория и приложения, 8:4 (2017), 221–224 |
5
|
|
2012 |
| 4. |
А. В. Климов, И. Г. Ключников, С. А. Романенко, “Реализация предметно-ориентированного многорезультатного суперкомпилятора с помощью инструментария MRSC”, Препринты ИПМ им. М. В. Келдыша, 2012, 024, 21 стр. ; A. V. Klimov, I. G. Klyuchnikov, S. A. Romanenko, “Implementing a domain-specific multi-result supercompiler by means of the MRSC toolkit”, 2012, 024, 20 pp. |
1
|
| 5. |
А. В. Климов, И. Г. Ключников, С. А. Романенко, “Автоматизированная верификация счетчиковых систем посредством предметно-ориентированной многорезультатной суперкомпиляции”, Препринты ИПМ им. М. В. Келдыша, 2012, 019, 30 стр. ; A. V. Klimov, I. G. Klyuchnikov, S. A. Romanenko, “Automatic verification of counter systems via domain-specific multi-result supercompilation”, 2012, 019, 28 pp. |
2
|
|
2011 |
| 6. |
А. В. Климов, “Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем”, Модел. и анализ информ. систем, 18:4 (2011), 106–117 |
|
2010 |
| 7. |
И. А. Адамович, А. В. Климов, Ю. А. Климов, А. Ю. Орлов, А. Б. Шворин, “Опыт разработки коммуникационной сети суперкомпьютера «СКИФ-Аврора»”, Программные системы: теория и приложения, 1:3 (2010), 107–123 |
2
|
|
2008 |
| 8. |
A. V. Klimov, “A program specialization relation based on supercompilation and its properties”, Препринты ИПМ им. М. В. Келдыша, 2008, 026, 28 стр. |
|
Обратная связь: