|
|
Публикации в базе данных Math-Net.Ru
-
Метод построения циклических конвейеров
Программные системы: теория и приложения, 14:4 (2023), 67–89
-
Исследование эффективности специализации интерпретаторов на объектно-ориентированном языке Java методами частичных вычислений с BT-объектами
Программные системы: теория и приложения, 13:4 (2022), 111–137
-
Специализатор JaSpe: BT-объекты и межпроцедурный аспект алгоритма анализа времен связывания
Программные системы: теория и приложения, 12:4 (2021), 3–32
-
Пакетный протокол взаимодействия программируемых логических интегральных схем
Программные системы: теория и приложения, 11:1 (2020), 31–55
-
Специализатор JaSpe: алгоритм внутрипроцедурного анализа времени связывания программ на подмножестве языка Java
Программные системы: теория и приложения, 11:1 (2020), 3–29
-
An interactive specializer based on partial evaluation for a Java subset
Труды ИСП РАН, 30:4 (2018), 29–44
-
Паутина: высокоскоростная коммуникационная сеть
Программные системы: теория и приложения, 6:1 (2015), 109–120
-
Опыт разработки коммуникационной сети суперкомпьютера «СКИФ-Аврора»
Программные системы: теория и приложения, 1:3 (2010), 107–123
© , 2024