|
|
Публикации в базе данных Math-Net.Ru
-
Метод построения циклических конвейеров
Программные системы: теория и приложения, 14:4 (2023), 67–89
-
Исследование эффективности специализации интерпретаторов на объектно-ориентированном языке Java методами частичных вычислений с BT-объектами
Программные системы: теория и приложения, 13:4 (2022), 111–137
-
Пакетный протокол взаимодействия программируемых логических интегральных схем
Программные системы: теория и приложения, 11:1 (2020), 31–55
-
Специализатор JaSpe: алгоритм внутрипроцедурного анализа времени связывания программ на подмножестве языка Java
Программные системы: теория и приложения, 11:1 (2020), 3–29
-
Квантовая модель вычислений глазами классического программиста
Препринты ИПМ им. М. В. Келдыша, 2018, 178, 30 стр.
-
Паутина: высокоскоростная коммуникационная сеть
Программные системы: теория и приложения, 6:1 (2015), 109–120
-
Коммуникационная сеть МВС-Экспресс
ИТиВС, 2014, № 1, 10–24
-
Разработка экспериментального комплекса суперкомпьютерного моделирования на основе кода на языке Matlab
Программные системы: теория и приложения, 4:2 (2013), 21–42
-
Перспективные подходы к созданию масштабируемых приложений для суперкомпьютеров гибридной архитектуры
ИТиВС, 2012, № 2, 3–10
-
Программный инструментарий для трафаретных вычислений на гибридных суперкомпьютерах
Программные системы: теория и приложения, 3:2 (2012), 23–49
-
Коммуникационная сеть МВС-Экспресс
Выч. мет. программирование, 13:3 (2012), 103–109
-
Перспективные подходы к созданию масштабируемых приложений для суперкомпьютеров гибридной архитектуры
Программные системы: теория и приложения, 2:4 (2011), 45–59
-
SkifCh: эффективный коммуникационный интерфейс
Вестн. ЮУрГУ. Сер. Матем. моделирование и программирование, 2011, № 9, 98–106
-
Опыт разработки коммуникационной сети суперкомпьютера «СКИФ-Аврора»
Программные системы: теория и приложения, 1:3 (2010), 107–123
-
Специализатор CILPE: частичные вычисления для объектноориентированных языков
Программные системы: теория и приложения, 1:3 (2010), 13–36
-
Специализатор CILPE: доказательство корректности
Препринты ИПМ им. М. В. Келдыша, 2009, 033, 32 стр.
-
Специализатор CILPE: генерация остаточной программы
Препринты ИПМ им. М. В. Келдыша, 2009, 008, 26 стр.
-
Специализатор CILPE: анализ времен связывания
Препринты ИПМ им. М. В. Келдыша, 2009, 007, 28 стр.
-
SOOL: объектно-ориентированный стековый язык для формального описания и реализации методов специализации программ
Препринты ИПМ им. М. В. Келдыша, 2008, 044, 32 стр.
-
Возможности специализатора CILPE и примеры его применения к программам на объектно-ориентированных языках
Препринты ИПМ им. М. В. Келдыша, 2008, 030, 28 стр.
-
Особенности применения метода частичных вычислений к специализации программ на объектно-ориентированных языках
Препринты ИПМ им. М. В. Келдыша, 2008, 012, 27 стр.
© , 2024