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

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

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

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

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

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