ИСТИНА	Войти в систему Регистрация
	Интеллектуальная Система Тематического Исследования НАукометрических данных
	Главная Поиск Статистика О проекте Помощь

---

Труды Института системного программирования РАН (электронный журнал)журнал

Редколлегия

• Кузнецов Сергей Дмитриевич, с 1 января 2010
• Гайсарян Сергей Суренович, с 1 января 2010
• Петренко Александр Константинович, с 1 января 2010
• Аветисян Арутюн Ишханович, с 1 января 2010
• Карпов Леонид Евгеньевич, с 1 января 2010
• Иванников Виктор Петрович, 1 января 2010 - 1 января 2017

Статьи, опубликованные в журнале

• • 2020 An Approach to the Translation of Software-Defined Network Switch Flow Table into Network Processing Unit Assembly Language
  • Markoborodov A., Skobtsova Y., Volkanov D.
  • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 3, с. 79-89 DOI
• • 2020 Архитектура программного средства с открытым исходным кодом для численного моделирования потоков на горных склонах
  • Романова Д.И.
  • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 6, с. 183-200 DOI
• • 2020 Архитектура системы дедуктивной верификации машинного кода
  • GLADYSHEV Ilya, KAMKIN Alexander, KOTSYNYAK Artem, PUTRO Pavel, KHOROSHILOV Alexey
  • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 3, с. 7-19 DOI
• • 2020 В ожидании нативных архитектур СУБД на основе энергонезависимой основной памяти
  • Кузнецов С.Д.
  • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 1, с. 153-180 DOI
• • 2020 Верификация соответствия между разноуровневыми моделями функциональных требований
  • Хорошилов А.В.
  • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 6, с. 19-30 DOI
• • 2020 Верифицированная тактика Isabelle/HOL для теории ограниченных целых на основе инстанцирования и SMT
  • Sadykov Rafael Faritovich, Mandrykin Mikhail Usamovich
  • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 2, с. 107-124 DOI
• • 2020 Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнения
  • Бородин А.Е., Дудина И.А.
  • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 6, с. 87-100 DOI
• • 2020 Двухшаговый метод объединения новостей в сюжеты
  • Skornyakov Kirill, Laskina Anna, Turdakov Denis
  • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 4, с. 165-174 DOI
• • 2020 Диагностика гипертрофий левых отделов сердца с помощью глубокой нейронной сети
  • Andreev Pavel, Ananev Vladislav, Makarov Vladimir, Karpulevich Evgeny, Turdakov Denis
  • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 4, с. 141-154 DOI
• • 2020 Динамическая компиляция пользовательских функций на языке PL/pgSQL
  • Dzhidzhoyev Vladislav Muratovich, Buchatskiy Ruben Arturovich, Pantilimonov Michael Vyacheslavovich, Tomilin Alexander Nikolaevich
  • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 5, с. 67-80 DOI
• • 2020 Извлечение логической структуры из сканированных документов
  • Bogatenkova Anastasiya, Kozlov Ilya, Belyaeva Oksana, Perminov Andrey
  • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 4, с. 175-188 DOI
• • 2020 Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы
  • Девянин П.Н., Кулямин В.В., Петренко А.К., Хорошилов А.В., Щепетков И.В.
  • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 1, с. 7-26 DOI
• • 2020 Использование синтетических данных для тонкой настройки моделей сегментации документов
  • Belyaeva Oksana, Perminov Andrey, Kozlov Ilya
  • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 4, с. 189-202 DOI
• • 2020 Исследование технологии RISC-V
  • Фролов В.А., Галактионов В.А., Санжаров В.В.
  • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 2, с. 81-98 DOI
• • 2020 Моделирование аккумуляции кинетической энергии внутренних волн в областях с большим отношением горизонтального и вертикального масштабов
  • Елистратов С.А., Ватутин К.А., Сибгатуллин И.Н., Ерманюк Е.В., Михайлов Е.А.
  • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 6, с. 200-212 DOI
• • 2020 Моделирование библиотечных функций в промышленном статическом анализаторе кода
  • БЕЛЯЕВ М.В., РОМАНЕНКОВ Е.С., ИГНАТЬЕВ В.Н.
  • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 3, с. 21-31 DOI
• • 2020 Мониторинг и тестирование на основе многоуровневых спецификаций программ
  • Петренко А.К., Ефремов Д.В., Корныхин Е.В., Кулямин В.В., Хорошилов А.В., Щепетков И.В.
  • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 6, с. 7-18 DOI
• • 2020 Обзор методов классификации сетевого трафика с использованием машинного обучения
  • Гетьман А.И., Иконникова М.К.
  • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 6, с. 137-154 DOI
• • 2020 Практическая абстрактная интерпретация бинарного кода
  • Соловьев М.А., Бакулин М.Г., Макаров С.С., Манушин Д.В., Падарян В.А.
  • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 6, с. 101-110 DOI
• • 2020 Протокол сертификации целостности облачных вычислений
  • Shishkin Evgeny, Kislitsyn Evgeny
  • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 4, с. 115-132 DOI
• • 2020 Разработка решателя iceFoam для моделирования процесса обледенения
  • Кошелев К.Б., Мельникова В.Г., Стрижак С.В.
  • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 4, с. 217-234 DOI
• • 2020 Система визуализации для авиационной ОС реального времени JetOS
  • Барладян Б.Х., Шапиро Л.З., Маллачиев К.А., Хорошилов А.В., Солоделов Ю.А., Волобой А.Г., Галактионов В.А., Ковернинский И.В.
  • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 1, с. 57-70 DOI
• • 2019 Автоматизированное тестирование фронтенда транслятора TCG для Qemu
  • Колтунов Д.С., Ефимов В.Ю., Падарян В.А.
  • в журнале Труды Института системного программирования РАН (электронный журнал), том 31, № 5, с. 7-24 DOI
• • 2019 Автоматизированное тестирование фронтенда транслятора TCG для Qemu
  • в журнале Труды Института системного программирования РАН (электронный журнал), том 31, № 5, с. 7-24
• • 2019 Анализ характера изменений программ и поиск неисправленных фрагментов кода
  • Арутюнян М.С., Иванов Г.С., Варданян В.Г., Асланян А.К., Аветисян А.И., Курмангалеев Ш.Ф.
  • в журнале Труды Института системного программирования РАН (электронный журнал), том 31, № 1, с. 49-58 DOI