brand

Публикации за 2025 год

Что искать

Искать в:

Публикации
Труды ИСП РАН
Везде

Публикации за 2025 год

  1. Чуркин Я.А., Бучацкий Р.А., Китаев К.Н., Волохов А.Г., Долгодворов Е.В., Камкин А.С., Коцыняк А.М., Самоваров Д.О. Система статического анализа для языка описания аппаратуры SystemVerilog. Труды Института системного программирования РАН. Том 37, выпуск 1, 2025 г. Стр. 7-40.
  2. Игнатьев В.Н. Организация статического анализа на абстрактных синтаксических деревьях с помощью конечных автоматов. Труды Института системного программирования РАН. Том 37, выпуск 1, 2025 г. Стр. 41-54.
  3. Варфоломеева А.А., Пятко Л.А., Паршина С.Р. Компьютерное моделирование и оптимизация конструкции микрофлюидного чипа. Труды Института системного программирования РАН. Том 37, выпуск 1, 2025 г. Стр. 55-64.
  4. Проценко A.C. Применение формальных спецификаций системы команд для функционального тестирования языковых виртуальных машин. Труды Института системного программирования РАН. Том 37, выпуск 1, 2025 г. Стр. 65-86.
  5. Кулагин И.И., Бучацкий Р.А., Пантилимонов М.В., Вязовцев А.B., Романов М.М., Мельник Д.М. Подход к построению компиляторов нейронных сетей с использованием инфраструктуры MLIR. Труды Института системного программирования РАН. Том 37, выпуск 1, 2025 г. Стр. 87-106.
  6. Герлиц Е.А., Мутилин В.С. Фреймворк автоматизации тестирования на гонки по данным. Труды Института системного программирования РАН. Том 37, выпуск 1, 2025 г. Стр. 107-120.
  7. Позин Б.А., Бородушкина П.А., Коротков Д.А., Федоров М.А., Муратов А.Ф. Методика поиска уязвимостей в программном обеспечении, написанном на нескольких языках программирования. Труды Института системного программирования РАН. Том 37, выпуск 1, 2025 г. Стр. 121-132.
  8. Американов А.А., Евтушенко Л.Г., Зунин В.В., Винарский В.М. САПР для удаленного высокоуровневого моделирования СтнК. Труды Института системного программирования РАН. Том 37, выпуск 1, 2025 г. Стр. 133-144.
  9. Гончарова О.В. Глубокое обучение в задаче разработки системы автоматической транскрипции. Труды Института системного программирования РАН. Том 37, выпуск 1, 2025 г. Стр. 145-158.
  10. Кондратьев Д.А., Старолетов С.М., Шошмина И.В., Красненкова А.В., Зиборов К.В., Шилов Н.В., Гаранина Н.О., Черганов Т.Ю. Соревнования по формальной верификации VeHa-2024: накопленный в течение двух лет опыт и перспективы. Труды Института системного программирования РАН. Том 37, выпуск 1, 2025 г. Стр. 159-184.
  11. Григорьева Д.Д., Серов Д.В., Сорокин Д.С., Мартышкин А.И. Использование технологий искусственного интеллекта для проведения психологического тестирования. Труды Института системного программирования РАН. Том 37, выпуск 1, 2025 г. Стр. 185-200.
  12. Кошелев К.Б., Кулинский А.В., Стрижак С.В. Математическое моделирование почвенных процессов с использованием открытого программного обеспечения. Труды Института системного программирования РАН. Том 37, выпуск 1, 2025 г. Стр. 201-216.
  13. Марчевский И.К., Пузикова В.В. Модификация метода погруженных границ LS-STAG для моделирования течений неньютоновских вязких жидкостей. Труды Института системного программирования РАН. Том 37, выпуск 1, 2025 г. Стр. 217-234.
  14. Нужный А.С., Савельева Е.А. Оценка неопределенности в задаче регрессии при байесовской регуляризации решения. Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 7-18.
  15. Кузнецов В.В., Андреев Д.В., Гришин Г.К. Применения программного обеспечения с открытым исходным кодом для схемотехнического моделирования при разработке аналоговых интегральных микросхем. Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 19-32.
  16. Щепетов Д.С., Тимошенко А.Г., Гаранжа В.А., Капорин И.Е., Каргин Д.Н. Методы схемотехнического и топологического синтеза аналоговых интегральных схем по спецификации с использованием методов машинного обучения и дифференцируемого программирования. Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 33-48.
  17. Лебедев М.С., Дыскина Д.А., Еременко А.Ю., Кабанов Ф.А., Козмин И.А., Петренко Д.М., Поудиал Н.Б., Сергеев А.А., Ширинова Р.А. Предсказание характеристик СБИС по логической схеме с помощью методов машинного обучения. Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 49-60.
  18. Девянин П.Н., Старостин А.А., Панов Д.С., Усачев С.В. Проектирование и развитие механизма мандатного контроля целостности в операционной системе Astra Linux. Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 61-78.
  19. Чибисов К.А., Бучацкий Р.А., Тимонин А.Д., Лазарь В.И., Журихин Д.М., Белеванцев А.А. TSAR: инструмент для оценки статических анализаторов. Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 79-96.
  20. Райкин Г.Р., Пелевин М.С., Ицыксон В.М. Алгоритм выбора семантических мутаций в фаззинге по принципу серого ящика. Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 97-114.
  21. Балабанов Ф.М., Лукьянов К.С. Усовершенствованный поиск архитектур в графовом autoML: расширение и динамическая приоритизация пространства поиска для повышения эффективности. Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 115-128.
  22. Байметова Е.С., Королева М.Р. Построение гидравлической модели теплообменного аппарата. Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 129-140.
  23. Чернова А.А., Шигапова А.Р. Параметрическое исследование эффективности исполнения единичной секции маслоохладителя. Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 141-152.
  24. Морар Г., Карпов А.И., Шаклеин А.А. Численное исследование турбулентного диффузионного пламени на поверхности ПММА на основе открытого пакета FDS. Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 153-162.
  25. Королёва К.С., Потапов И.И. Математическое моделирование турбулентного потока жидкости с помощью квазигидродинамических уравнений и модели турбулентности k-omega. Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 163-180.
  26. Петров А.Г., Потапов И. И. О размыве дна, вызванном взвешенной турбулентной струей. Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 181-194.
  27. Корепанов М.А., Королева М.Р., Митрюкова Е.А. Характеристики взаимодействия встречных недорасширенных струй из микросопел. Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 195-206.
  28. Михайлов Е.А., Тепляков И.О., Виноградов Д.А. Исследование распространения примеси в среде в одной прикладной осесимметричной задаче. Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 207-216.
  29. Титов Ю.П., Кильмишкин Н.В., Кубраков Д.Д., Иванова П.М. Поиск именованных сущностей в инструкциях по медицинскому применению лекарственных средств с использованием глубокого обучения и методов обработки естественного языка. Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 217-236.
  30. Воробьева В.В., Новицкая И.В. Какой статус васюганского варианта хантыйского языка подтверждают вычисления на платформе ЛингвоДок с точки зрения его системных морфологических характеристик? Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 237-246.
  31. Муратова Р.Т. Названия украшений в тюркских и финно-угорских языках Урало-Поволжья. Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 247-254.
  32. Баженова О.Н. Место коми-язьвинского в классификации языков коми на основании фонетических, лексических и морфологических особенностей с помощью программ платформы ЛингвоДок Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 255-262.
  33. Серенко Д.С., Терентьев Е.Д., Зубарев Д.В., Соченков И.В. Архитектура системы сбора и извлечения информации для интеллектуальной поисково-аналитической системы. Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 263-280.
  34. Марков Н.С. Модель детекции фибрилляции предсердий, основанная на дифференцировании и сжатии интервалограмм. Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 281-300.
  35. Сайбодалов М.Х., Дашиев М.В., Карандашев Я.М., Желудков Н.В., Кочева Е.С. Применение нейросетей для оценки разводимости при проектировании СБИС с учетом начальных параметров топологии. Труды Института системного программирования РАН. Том 37, выпуск 3, 2025 г. Стр. 9-18.
  36. Ефанов Д.В. Контроль комбинационных схем по двум диагностическим признакам на основе логической коррекции сигналов с использованием свойств кодов Хэмминга. Труды Института системного программирования РАН. Том 37, выпуск 3, 2025 г. Стр. 19-38.
  37. Варновский Н.П., Мартишин С.А., Храпченко М.В., Шокуров А.В. Оптимизация конфиденциальных запросов к базе данных на облаке. Труды Института системного программирования РАН. Том 37, выпуск 3, 2025 г. Стр. 39-58.
  38. Менисов А.Б., Ломако А.Г. Моделирование сценариев деструктивного воздействия на целостность моделей машинного обучения. Труды Института системного программирования РАН. Том 37, выпуск 3, 2025 г. Стр. 59-68.
  39. Гущин А.Е., Анциферова А.В., Ватолин Д.С. Анализ и разработка методов очищения для защит метрик качества изображений. Труды Института системного программирования РАН. Том 37, выпуск 3, 2025 г. Стр. 69-84.
  40. Молодецких И.А., Ерофеев М.В., Москаленко А.В., Ватолин Д.С. Нейросетевой метод для стабильного во времени матирования видеопоследовательностей с людьми. Труды Института системного программирования РАН. Том 37, выпуск 3, 2025 г. Стр. 85-106.
  41. Луценко В.В., Кравцов М.Д., Горлачев Д.Е., Мирный Н.М. Исследование специальных наборов модулей системы остаточных классов. Труды Института системного программирования РАН. Том 37, выпуск 3, 2025 г. Стр. 107-120.
  42. Кузнецов В.В., Андреев В.В., Ломакин С.А. Макромоделирование компонентов защиты от электростатического разряда с применением программного обеспечения с открытым исходным кодом. Труды Института системного программирования РАН. Том 37, выпуск 3, 2025 г. Стр. 121-130.
  43. Павлевич А.Л. Опыт отраслевого применения программного обеспечения с открытым исходным кодом при аэродинамическом проектировании и проверочном моделировании обтекания летательных аппаратов. Труды Института системного программирования РАН. Том 37, выпуск 3, 2025 г. Стр. 131-146.
  44. Бручес Е.П., Батурова Д.Т., Бондаренко И.Ю. BERTScore для русского языка. Труды Института системного программирования РАН. Том 37, выпуск 3, 2025 г. Стр. 147-158.
  45. Абодо Элунду Б.Д., Цюаньюй В. Расширенная классификация текста с помощью DistilBERT с адаптацией LoRa: сравнительное исследование. Труды Института системного программирования РАН. Том 37, выпуск 3, 2025 г. Стр. 159-170.
  46. Четвергов А.С., Шарафетдинов Р.С., Полукошко М.М., Ахметов В.А., Оружейникова Н.А. Аничков Е.С., Алексеевская И.С., Боловцов С.В., Голосов П.Е. SLAVA: бенчмарк социально-политического ландшафта и ценностного анализа. Труды Института системного программирования РАН. Том 37, выпуск 3, 2025 г. Стр. 171-184.
  47. Найдёнова К.A., Булыкина Е.С., Мартирова Т.A. Разработка системы оценки результатов тестирования когнитивной функции при введении эллипсисов в текстах планиметрических задач. Труды Института системного программирования РАН. Том 37, выпуск 3, 2025 г. Стр. 185-194.
  48. Норманская Ю.В. Глоттохронологическая классификация современных и наиболее ранних словарей самодийских языков на платформе ЛингвоДок. Труды Института системного программирования РАН. Том 37, выпуск 3, 2025 г. Стр. 195-210.
  49. Тимофеева Э.О. Компьютерные экспериментальные методы изучения английского языка австралийских аборигенов. Труды Института системного программирования РАН. Том 37, выпуск 3, 2025 г. Стр. 211-224.
  50. Ковылин С.В. Распределение показателей двойственного числа существительных в селькупском языке (корпусно-ориентированный подход). Труды Института системного программирования РАН. Том 37, выпуск 3, 2025 г. Стр. 225-236.
  51. Тихонов П.А., Янина А.О., Малых В.А. Экстрактивная суммаризация с использованием скрытой структуры. Труды Института системного программирования РАН. Том 37, выпуск 3, 2025 г. Стр. 237-250.
  52. Степанов И.А., Попов М.В., Гетьман А.И., Иконникова М.К., Белеванцев А.А. Обзор методов контроля перегрузки с использованием машинного обучения. Труды Института системного программирования РАН. Том 37, выпуск 3, 2025 г. Стр. 251-276.
  53. ПетренкоА.К., Девянин П.Н., Ефремов Д.В., Карнов А.А., Корныхин Е.В., Кулямин В.В., Хорошилов А.В. Методы динамической верификации промышленных средств защиты информации на основе формальных моделей управления доступом. Труды Института системного программирования РАН. Том 37, выпуск 3, 2025 г. Стр. 277-290.
  54. Малышев Н.Е., Бородин А.Е., Белеванцев А.А., Семенов В.А. Поиск утечек памяти и ресурсов в статическом анализаторе Svace. Труды Института системного программирования РАН. Том 37, выпуск 3, 2025 г. Стр. 291-302.
  55. Позин Б.А. Тестирование в жизненном цикле автоматизированных систем. Труды Института системного программирования РАН. Том 37, выпуск 3, 2025 г. Стр. 303-310.
  56. Шуткин В.Н., Морозкин Н.К., Семенов В.А., Тарлапан О.А. Оптимизации генерации иерархических уровней детализации для масштабных полигональных сцен. Труды Института системного программирования РАН. Том 37, выпуск 3, 2025 г. Стр. 311-324.
  57. Ефремов Д.В., Петренко А.К., Позин Б.А., Семенов В.А. Обзор механизмов усиления защищенности операционных систем и пользовательских приложений. Труды Института системного программирования РАН. Том 37, выпуск 3, 2025 г. Стр. 325-354.
  58. Бурдонов И.Б., Евтушенко Н.В., Косачев А.С., Пономаренко В.Н. Модель распределённой сети, в которой хосты могут выполнять функцию коммутации сообщений Труды Института системного программирования РАН. Том 37, выпуск 4, часть 1, 2025 г. Стр. 7-30.
  59. Бхуванешвари Т., Руба Соундар К., Чандра Гуру Секар Р. Алгоритм оптимизации «черепаха и заяц» с адаптивной стратегией на основе взаимной информации для обнаружения сетевых вторжений Труды Института системного программирования РАН. Том 37, выпуск 4, часть 1, 2025 г. Стр. 31-50.
  60. Ермолицкий А.В., Левченко Д.Н., Нейман-заде М.И. Определение неточностей в работе некоторых специализированных цикловых оптимизаций в компиляторе LCC для архитектуры «Эльбрус» Труды Института системного программирования РАН. Том 37, выпуск 4, часть 1, 2025 г. Стр. 51-64.
  61. Васильева В.И., Бородин А.Е., Волков А. Е. Поиск мёртвых вызовов функций как дефектов исходного кода методами статического анализа Труды Института системного программирования РАН. Том 37, выпуск 4, часть 1, 2025 г. Стр. 65-78.
  62. Советов П.Н. HOREC: компилятор специализированных регулярных выражений для проектирования программируемой и ресурсоэффективной аппаратной архитектуры Труды Института системного программирования РАН. Том 37, выпуск 4, часть 1, 2025 г. Стр. 79-96.
  63. Ильина А.А., Курмангалеев Ш.Ф. Извлечение функциональности из бинарного кода Труды Института системного программирования РАН. Том 37, выпуск 4, часть 1, 2025 г. Стр. 97-110.
  64. Чуркин Я.А., Мельник Д.М., Бучацкий Р.А. Обзор методов миграции программных интерфейсов приложений для объектно-ориентированных языков Труды Института системного программирования РАН. Том 37, выпуск 4, часть 1, 2025 г. Стр. 111-146.
  65. Васильев Т.И. Реализация гибкой системы управления доступом в приложении Труды Института системного программирования РАН. Том 37, выпуск 4, часть 1, 2025 г. Стр. 147-160.
  66. Кузнецов C.B., Кознов Д.В., Луцив Д.В. Управление MDM-проектами Труды Института системного программирования РАН. Том 37, выпуск 4, часть 1, 2025 г. Стр. 161-176.
  67. Фомина В.В., Соболь В., Кознов Д.В. MaxSMT-решатель, поддерживающий режим портфолио Труды Института системного программирования РАН. Том 37, выпуск 4, часть 1, 2025 г. Стр. 177-188.
  68. Саакян В.Р., Мелконян В.Г., Саргсян С.С. Локализация целей в реальном времени на БПЛА с лазерным дальномером на подвесе Труды Института системного программирования РАН. Том 37, выпуск 4, часть 1, 2025 г. Стр. 189-198.
  69. Новак И.П. Именная морфология первого печатного памятника тверской карельской письменности Труды Института системного программирования РАН. Том 37, выпуск 4, часть 1, 2025 г. Стр. 199-214.
  70. Мерина Р.Д., Рам Р.С., Майкл Л.С.П. Управление батареей электромобиля на основе машинного обучения и ПЛИС Труды Института системного программирования РАН. Том 37, выпуск 4, часть 1, 2025 г. Стр. 215-232.
  71. Теплякова А.Р., Шершнев Р.В. Применение компьютерного зрения для локализации позвонков на срединных сагиттальных срезах компьютерной томографии Труды Института системного программирования РАН. Том 37, выпуск 4, часть 1, 2025 г. Стр. 233-248.
  72. Русецкий И.В., Алейник В.В., Чепцов В.Ю. Архитектура системы синхронизации времени в бортовой сети SpaceWire из ОСРВ с поддержкой стандарта ARINC 653 Труды Института системного программирования РАН. Том 37, выпуск 4, часть 2, 2025 г. Стр. 7-16.
  73. Гулин А.Н., Старолетов С.М. Использование программно-определяемых счетчиков для построения модели оптимального энергопотребления графического процессора Труды Института системного программирования РАН. Том 37, выпуск 4, часть 2, 2025 г. Стр. 17-30.
  74. Ковалевский, В.М., Кечин В.В., Ицыксон В.М. DIFFuzzer: обнаружение ошибок файловых систем с помощью дифференциального фаззинга серого ящика Труды Института системного программирования РАН. Том 37, выпуск 4, часть 2, 2025 г. Стр. 31-46.
  75. Земляной Е.О., Нестеров Р.А. Анализ структурной сложности сетей потоков работ для моделирования асинхронного взаимодействия агентов. Труды Института системного программирования РАН. Том 37, выпуск 4, часть 2, 2025 г. Стр. 47-68.
  76. Суворов Н.М., Ломазова И.А. Проверка ослабленной ленивой бездефектности для сетей Петри с данными Труды Института системного программирования РАН. Том 37, выпуск 4, часть 2, 2025 г. Стр. 69-84.
  77. Санжаров В.В., Фролов В.А., Галактионов В.А. Выбор ракурсов с помощью обратного рендеринга геометрических моделей для реконструкции материалов Труды Института системного программирования РАН. Том 37, выпуск 4, часть 2, 2025 г. Стр. 85-102.
  78. Потапов Д.П., Старолетов С.М. Распределенная платформа для анализа масштабных данных с использованием биоподобных сенсомоторных алгоритмов Труды Института системного программирования РАН. Том 37, выпуск 4, часть 2, 2025 г. Стр. 103-116.
  79. Качанов В.В. Автоматическая генерация рецензий к коду: эволюция инструкций и интеллектуальная фильтрация Труды Института системного программирования РАН. Том 37, выпуск 4, часть 2, 2025 г. Стр. 117-132.
  80. Лукьянов К.С., Перминов А.И., Турдаков Д.Ю., Паутов М.А. Извлечение знаний в ограниченной области для примеров состязательных атак «черного ящика» Труды Института системного программирования РАН. Том 37, выпуск 4, часть 2, 2025 г. Стр. 133-146.
  81. Лапина М.А., Подручный Н.В., Русанов М.А., Бабенко М.Г. Исследование методов машинного обучения для выявления сетевых атак Труды Института системного программирования РАН. Том 37, выпуск 4, часть 2, 2025 г. Стр. 147-174.
  82. Караваева Е.А., Василевский В.И., Ланин Г.М., Прокудин Д.С. Разработка и интеграция AI-ассистента в систему управления обучением Труды Института системного программирования РАН. Том 37, выпуск 4, часть 2, 2025 г. Стр. 175-190.
  83. Джейранян А.Д., Лядова Л.Н. Интеграция подхода к визуализации данных на основе онтологии и визуализации на основе ИИ с использованием Plotly Труды Института системного программирования РАН. Том 37, выпуск 4, часть 2, 2025 г. Стр. 191-206.
  84. Федосеев Д.С., Нерослов А.Д., Ланин В.В. Разработка интеллектуальной системы на основе знаний для оценки устойчивости российских регионов Труды Института системного программирования РАН. Том 37, выпуск 4, часть 2, 2025 г. Стр. 207-21.
  85. Резуник Л.А., Прозорский М.А., Александров Д.В. Комбинирование логических рассуждений и LLM на пути к созданию мультиагентных систем умного дома Труды Института системного программирования РАН. Том 37, выпуск 4, часть 2, 2025 г. Стр. 219-234.
  86. Логунова В.И. Применение динамической символьной интерпретации в гибридном фаззинге бинарного кода для архитектур Байкал-М и RISC-V 64 Труды Института системного программирования РАН. Том 37, выпуск 4, часть 2, 2025 г. Стр. 235-250.
  87. Вишняков А.В., Куц Д.О., Логунова В.И., Парыгина Д.А., Кобрин И.А., Савидов Г.А., Федотов А.Н. Sydr-Fuzz: непрерывный гибридный фаззинг и динамический анализ для жизненного цикла безопасной разработки Труды Института системного программирования РАН. Том 37, выпуск 4, часть 2, 2025 г. Стр. 251-270.
  88. Бурдонов И.Б., Евтушенко Н.В., Косачев А.С., Пономаренко В.Н. Кластеризация услуг распределённой сети, в которой хосты могут выполнять функцию коммутации сообщений Труды Института системного программирования РАН. Том 37, выпуск 5, 2025 г. Стр. 7-32.
  89. Шарапов, А.Р., Давыдов В.А. Применение суффиксных кодов в модульной метрике для решения задачи кластеризации и задачи поиска k-соседей Труды Института системного программирования РАН. Том 37, выпуск 5, 2025 г. Стр. 33-42.
  90. Луценко В.В., Бабенко М.Г. Генерация компактных базисов системы остаточных классов Труды Института системного программирования РАН. Том 37, выпуск 5, 2025 г. Стр. 43-52.
  91. Степанов И.А., Пономаренко Р.Е., Головаш Д.Р., Покидько А.Ю., Гетьман А.И. Предсказание времени приема-передачи с использованием методов машинного обучения Труды Института системного программирования РАН. Том 37, выпуск 5, 2025 г. Стр. 53-66.
  92. Орлова Е.М., Васильев А.А., Петров О.М. Окрашивание символьных графов памяти для выявления ошибок, специфичных для DRM-драйверов Linux Труды Института системного программирования РАН. Том 37, выпуск 5, 2025 г. Стр. 67-80.
  93. Лапина М.А., Капшук Н.Р., Русанов М.А., Тимофеева Е.Ф. Обнаружение атак с использованием SQL-инъекций по сетевым журналам с помощью методов машинного обучения Труды Института системного программирования РАН. Том 37, выпуск 5, 2025 г. Стр. 81-92.
  94. Джамбонг Тенке Х-Д., Александров Д.В. Алгоритм динамической адаптивной буферизации пакетов (DAPB) для повышения производительности Service Mesh на основе eBPF Труды Института системного программирования РАН. Том 37, выпуск 5, 2025 г. Стр. 93-110.
  95. Шайхелисламов Д.С., Вареца М.С., Сёмкин А.С., Рогов О.Ю. Настройка языковой модели для безопасной генерации кода Труды Института системного программирования РАН. Том 37, выпуск 5, 2025 г. Стр. 111-122.
  96. Шайхелисламов Д.С., Дробышевский М.Д., Белеванцев А.А. Интерактивная генерация кода на основе LLM: эмпирическая оценка Труды Института системного программирования РАН. Том 37, выпуск 5, 2025 г. Стр. 123-130.
  97. Панова С.М., Смолов С.А., Волкова М.М. Применение инструмента SVAN статического анализа описаний аппаратуры для верификации открытых тестовых наборов Труды Института системного программирования РАН. Том 37, выпуск 5, 2025 г. Стр. 131-142.
  98. Корзников А.О., Дацун Н.Н. Проектирование инструмента для рефакторинга объектно-ориентированного кода с использованием расчета метрик Труды Института системного программирования РАН. Том 37, выпуск 5, 2025 г. Стр. 143-156.
  99. Черепанов Н. И., Степина Н. О., Никифоров И. В. Повышение производительности анализа и обработки изображений на платформе RISC-V с помощью Lichee Pi 4A Труды Института системного программирования РАН. Том 37, выпуск 5, 2025 г. Стр. 157-172.
  100. Василевский В.И., Александров Д.В. Генерация и отладка Java-кода с использованием больших языковых моделей на основе ассоциативной рекуррентной памяти Труды Института системного программирования РАН. Том 37, выпуск 5, 2025 г. Стр. 173-182.
  101. Безуглова Е.С., Ширяев Е.М., Кучеров Н.Н., Бабенко М.Г. Модификация алгоритма Смита-Ватермана для локального выравнивания генетических последовательностей на основе метода окна Труды Института системного программирования РАН. Том 37, выпуск 5, 2025 г. Стр. 183-194.
  102. Алексеевская И.С., Хайбуллин Д.В., Турдаков Д.Ю. Разработка защиты больших языковых моделей от состязательных атак в сценарии черного ящика на основе перефразирования Труды Института системного программирования РАН. Том 37, выпуск 5, 2025 г. Стр. 195-204.
  103. Дородных Н.О., Юрин А.Ю. Набор табличных данных RF-200 и тестирование производительности извлечения фактов из русскоязычных таблиц Труды Института системного программирования РАН. Том 37, выпуск 5, 2025 г. Стр. 205-224.
  104. Можегова А.С., Ланин В.В. Сравнительный анализ методов приоритезации требований для веб-приложений персонализированного питания Труды Института системного программирования РАН. Том 37, выпуск 5, 2025 г. Стр. 225-240.
  105. Бурдонов И.Б., Евтушенко Н.В., Косачев А.С. О длине адаптивной различающей последовательности для семейства наблюдаемых автоматов Труды Института системного программирования РАН. Том 37, выпуск 6, часть 1, 2025 г. Стр. 7-20.
  106. Гринкруг Е.М. Разновидность JavaBeans-компонент: композиция типов из агрегации инстансов Труды Института системного программирования РАН. Том 37, выпуск 6, часть 1, 2025 г. Стр. 21-42.
  107. Косов П.В., Легалов А.И. Сравнение объектно-ориентированного и процедурно-параметрического полиморфизма Труды Института системного программирования РАН. Том 37, выпуск 6, часть 1, 2025 г. Стр. 43-58.
  108. Дворцова В. В., Бородин А.Е. Статический анализ исходного кода для языка Golang: обзор литературы Труды Института системного программирования РАН. Том 37, выпуск 6, часть 1, 2025 г. Стр. 59-82.
  109. Панов Д.Д., Шимчик Н.В., Чибисов Д.А., Белеванцев А.А., Игнатьев В.Н. Повышение точности статического анализа кода при помощи больших языковых моделей Труды Института системного программирования РАН. Том 37, выпуск 6, часть 1, 2025 г. Стр. 83-100.
  110. Тяжкороб У.В., Беляев М. В., Белеванцев А.А., Игнатьев В.Н. Предсказание истинности предупреждений промышленного статического анализатора с использованием методов машинного обучения Труды Института системного программирования РАН. Том 37, выпуск 6, часть 1, 2025 г. Стр. 101-120.
  111. Заведеев Д.В., Жуйков Р.A., Скворцов Л.В., Пантилимонов М.В. Быстрые вызовы и раскрытие на месте: гибридная стратегия для встраиваемых функций виртуальных машин Труды Института системного программирования РАН. Том 37, выпуск 6, часть 1, 2025 г. Стр. 121-134.
  112. Афанасьев В.О., Бородин А.Е., Велесевич Е.А., Орлов Б.В. Аннотирование исходного кода для статического анализа Труды Института системного программирования РАН. Том 37, выпуск 6, часть 1, 2025 г. Стр. 135-148.
  113. Охотин И.И., Дородных Н.О. Распознавание заголовков таблиц на основе больших языковых моделей Труды Института системного программирования РАН. Том 37, выпуск 6, часть 1, 2025 г. Стр. 149-166.
  114. Радосавльевич Л., Симич M., Йоксимович A., Наумович T., Деспотович-Зракич M. Улучшение электронных государственных услуг посредством разработки чат-ботов с использованием Azure OpenAI Труды Института системного программирования РАН. Том 37, выпуск 6, часть 1, 2025 г. Стр. 167-180.
  115. Ковылин С.В. Показатели множественного числа существительных в селькупских диалектах Труды Института системного программирования РАН. Том 37, выпуск 6, часть 1, 2025 г. Стр. 181-192.
  116. Муратова Р.Т. Тюрко-монгольские параллели в лексике материальной культуры тюркских языков Урало-Поволжья (на материале названий мастей лошади) Труды Института системного программирования РАН. Том 37, выпуск 6, часть 1, 2025 г. Стр. 193-202.
  117. Баженова О. Н. Лексика материальной культуры в словаре М. А. Кастрена (1844) и аудиословаре ижемского диалекта говора (2012): сравнительный анализ по данным платформы LingvoDoc Труды Института системного программирования РАН. Том 37, выпуск 6, часть 1, 2025 г. Стр. 203-218.
  118. Копылов Д.Е., Михайлов А.А., Трифонов Р.И. Сегментация документов на основе графовых нейронных сетей: от строк к словам Труды Института системного программирования РАН. Том 37, выпуск 6, часть 1, 2025 г. Стр. 219-232.
  119. Гридин В.Н., Новиков И.А., Салем Б.Р., Солодовников В.И. Сравнение интерпретируемости моделей ResNet50 и ViT-224 в задаче классификации бактерий на снимках сканирующего электронного микроскопа Труды Института системного программирования РАН. Том 37, выпуск 6, часть 1, 2025 г. Стр. 233-242.
  120. Попов М.В., Степанов И.А., Гетьман А.И. Исследование эффективности планировщиков протокола MPQUIC в зависимости от алгоритмов контроля перегрузки Труды Института системного программирования РАН. Том 37, выпуск 6, часть 2, 2025 г. Стр. 7-20.
  121. Девянин П.Н., Жиляков С.С., Смирнов А.И. Тестирование подсистемы безопасности ОС Astra Linux на основе формализованного описания модели управления доступом Труды Института системного программирования РАН. Том 37, выпуск 6, часть 2, 2025 г. Стр. 21-36.
  122. Карцев В. С., Игнатьев В. Н. Статический анализ языка Visual Basic .NET Труды Института системного программирования РАН. Том 37, выпуск 6, часть 2, 2025 г. Стр. 37-52.
  123. Парыгина Д.А., Межуев Т.П., Куц Д.О. Гибридный подход к направленному фаззингу Труды Института системного программирования РАН. Том 37, выпуск 6, часть 2, 2025 г. Стр. 53-64.
  124. Сосновиков А.Д., Земеров А.Д., Турдаков Д.Ю. Итеративное обучение со слабым контролем с уточнением функций разметки на основе больших языковых моделей Труды Института системного программирования РАН. Том 37, выпуск 6, часть 2, 2025 г. Стр. 65-76.
  125. Пантилимонов М.В., Бучацкий Р.А., Заведеев Д.В. Не LLVM единым: Исследование альтернативных методов быстрой генерации кода для компиляции запросов в PostgreSQL Труды Института системного программирования РАН. Том 37, выпуск 6, часть 2, 2025 г. Стр. 77-92.
  126. Перминов А.И., Коваленко А.П., Турдаков Д.Ю. Метод обучения персептрона на табличных данных с пропусками Труды Института системного программирования РАН. Том 37, выпуск 6, часть 2, 2025 г. Стр. 93-106.
  127. Тобола К.В., Дородных Н.О. Применение контрастного обучения для семантической интерпретации русскоязычных таблиц Труды Института системного программирования РАН. Том 37, выпуск 6, часть 2, 2025 г. Стр. 107-122.
  128. Ухов П.А., Булакина М.Б., Крылов С.С. Сравнение классических и нейросетевых алгоритмов выделения ключевых точек на изображениях пересеченной местности для применения в SLAM алгоритмах Труды Института системного программирования РАН. Том 37, выпуск 6, часть 2, 2025 г. Стр. 123-130.
  129. Гладков А.Н., Быстров Л.Ю., Кузьмин Е. В. Применение нейронных сетей семейства YOLO для обнаружения полезных сигналов на вихретоковых дефектограммах рельсов Труды Института системного программирования РАН. Том 37, выпуск 6, часть 2, 2025 г. Стр. 131-150.
  130. Самсонова М.В. Инструменты платформы ЛингвоДок в изучении гидронимов Республики Саха (Якутия) Труды Института системного программирования РАН. Том 37, выпуск 6, часть 2, 2025 г. Стр. 151-168.
  131. Нагурная С.В. Язык памятников прибалтийско-финской письменности XVII-XIX вв.: комплексный анализ на базе лингвистической платформы LingvoDoc (введение в проект) Труды Института системного программирования РАН. Том 37, выпуск 6, часть 2, 2025 г. Стр. 169-176.
  132. Гончарова О.В. Глубокое обучение и лингвистический анализ в задачах идентификации когнатов: обзор современных подходов Труды Института системного программирования РАН. Том 37, выпуск 6, часть 2, 2025 г. Стр. 177-190.
  133. Буянов И.О., Яськова Д.В., Серенко Д.С., Шкереда Д.Н., Яськов А.Д., Соченков И.В. Методология создания большого русскоязычного набора данных для обнаружения пресуицидальных и антисуицидальных сигналов в текстах социальных сетей Труды Института системного программирования РАН. Том 37, выпуск 6, часть 2, 2025 г. Стр. 191-210.
  134. Чистякова А. С. Паутов М. А. ExpressPrint: метод создания цифровых водяных знаков для визуальных базовых моделей Труды Института системного программирования РАН. Том 37, выпуск 6, часть 2, 2025 г. Стр. 223-236.
  135. Колтунов Н.А., Гугучкин Е.П., Карпулевич Е.А. Оптимизация выравнивания коротких прочтений с инделями при полногеномном секвенировании Труды Института системного программирования РАН. Том 37, выпуск 6, часть 2, 2025 г. Стр. 211-222.
  136. Узденов Р.Ш., Перминов А.И. Алгоритм Shazam для обнаружения частичного видео копирования Труды Института системного программирования РАН. Том 37, выпуск 6, часть 2, 2025 г. Стр. 237-248.
  137. Непейвода А.Н., Дельман А.Д., Терентьева А.С. Бисимуляции конечных автоматов с памятью Труды Института системного программирования РАН. Том 37, выпуск 6, часть 3, 2025 г. Стр. 7-18.
  138. Мокшин С.Ю., Игнатьев А.О., Мельников А.И., Иванков Д.В. Типовая архитектура высокопроизводительной вычислительной системы для решения задач численного моделирования Труды Института системного программирования РАН. Том 37, выпуск 6, часть 3, 2025 г. Стр. 19-44.
  139. Полетаев Д.Н., Довгалюк П.М., Тейс Г.Н., Костин М.А. Аппаратное ускорение модуля MMU при полносистемной эмуляции aarch64 на x86-64 в эмуляторе Qemu Труды Института системного программирования РАН. Том 37, выпуск 6, часть 3, 2025 г. Стр. 45-58.
  140. Степанов В.М., Довгалюк П.М., Фурсова Н.И. Интроспекция виртуальной машины на основе мониторинга системных вызовов и структур данных ядра Труды Института системного программирования РАН. Том 37, выпуск 6, часть 3, 2025 г. Стр. 59-72.
  141. Покидько А.Ю., Степанов И.А., Гетьман А.И. Перенос обучения в сетевых системах обнаружения вторжений: обзор методов и подходов Труды Института системного программирования РАН. Том 37, выпуск 6, часть 3, 2025 г. Стр. 73-90.
  142. Ельчинов Е.С. Адаптация алгоритма ThreadSanitizer для обнаружения гонок по данным в ядре ОСРВ Труды Института системного программирования РАН. Том 37, выпуск 6, часть 3, 2025 г. Стр. 91-108.
  143. Галустов А.Л., Вихлянцев К.И., Бородин А.Е., Белеванцев А.А. Статический анализ языка Python с использованием девиртуализации Труды Института системного программирования РАН. Том 37, выпуск 6, часть 3, 2025 г. Стр. 109-120.
  144. Бачище О.И., Воробьев Я.С., Райкин Г.Р., Васина Д.В., Шушаков Д.С., Григорьев С.В. PereFlex: инструмент для автоматической оценки восстановления после ошибок в синтаксических анализаторах Труды Института системного программирования РАН. Том 37, выпуск 6, часть 3, 2025 г. Стр. 121-132.
  145. Руденчик В.П., Андрианов П.С., Мутилин В.С. Ограничение количества переключений потоков при динамическом анализе многопоточных программ Труды Института системного программирования РАН. Том 37, выпуск 6, часть 3, 2025 г. Стр. 133-148.

Вернуться к списку всех публикаций