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

В базах данных Math-Net.Ru
Публикаций: 5
Научных статей: 5
Цитированных статей: 3
Ссылок в Math-Net.Ru: 4

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

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

Публикации в базе данных Math-Net.Ru
1. Реализация предметно-ориентированного многорезультатного суперкомпилятора с помощью инструментария MRSC
А. В. Климов, И. Г. Ключников, С. А. Романенко
Препринты ИПМ им. М. В. Келдыша, 2012, 024
2. Автоматизированная верификация счетчиковых систем посредством предметно-ориентированной многорезультатной суперкомпиляции
А. В. Климов, И. Г. Ключников, С. А. Романенко
Препринты ИПМ им. М. В. Келдыша, 2012, 019
3. Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем
А. В. Климов
Модел. и анализ информ. систем, 18:4 (2011),  106–117
4. Опыт разработки коммуникационной сети суперкомпьютера «СКИФ-Аврора»
И. А. Адамович, А. В. Климов, Ю. А. Климов, А. Ю. Орлов, А. Б. Шворин
Программные системы: теория и приложения, 1:3 (2010),  107–123
5. A program specialization relation based on supercompilation and its properties
A. V. Klimov
Препринты ИПМ им. М. В. Келдыша, 2008, 026

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