RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
 
Климов Андрей Валентинович

В базах данных Math-Net.Ru
Публикаций: 8
Научных статей: 8

Статистика просмотров:
Эта страница:492
Страницы публикаций:912
Полные тексты:429
Списки литературы:139
кандидат физико-математических наук
E-mail:
Сайт: http://pat.keldysh.ru/~anklimov/

http://www.mathnet.ru/rus/person60766
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

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

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020