Институт системного программирования им. В.П. Иванникова РАН


Что искать

Искать в:

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

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

  1. Alexey Vishnyakov, Andrey Fedotov, Daniil Kuts, Alexander Novikov, Darya Parygina, Eli Kobrin, Vlada Logunova, Pavel Belecky, Shamil Kurmangaleev Sydr: Cutting Edge Dynamic Symbolic Execution Cryptography and Security (cs.CR)
  2. Девянин П.Н., Кулямин В.В., Петренко А.К., Хорошилов А.В., Щепетков И.В. Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы Труды Института системного программирования РАН. Том 32, выпуск 1, 2020 г. Стр. 7-26.
  3. Буренков В. С., Кулагин Д. А. Модель мандатного контроля целостности в операционной системе KasperskyOS Труды Института системного программирования РАН. Том 32, выпуск 1, 2020 г. Стр. 27-56.
  4. Барладян Б.Х., Шапиро Л.З., Маллачиев К.A., Хорошилов А.В., Солоделов Ю.А., Волобой А.Г., Галактионов В.А., Ковернинский И.В. Система визуализации для авиационной ОС реального времени JetOS Труды Института системного программирования РАН. Том 32, выпуск 1, 2020 г. Стр. 57-70.
  5. Денисов Е.Ю., Волобой А.Г., Бирюков Е.Д., Копылов М.С., Калугина И.А. Технологии автоматического тестирования программных комплексов реалистичной компьютерной графики Труды Института системного программирования РАН. Том 32, выпуск 1, 2020 г. Стр. 71-88.
  6. Звездакова А.В., Куликов Д.Л., Звездаков С.В., Ватолин Д.С. BSQ-rate: новый подход к сравнению производительности видеокодеков и недостатки существующих решений Труды Института системного программирования РАН. Том 32, выпуск 1, 2020 г. Стр. 89-108.
  7. Воронин А.В. Дополненная реальность при визуализации данных с использованием свойств «золотого» сечения Труды Института системного программирования РАН. Том 32, выпуск 1, 2020 г. Стр. 109-120.
  8. Штехин С.Е., Карачёв Д.К., Иванова Ю.К. Разработка алгоритма распознавания движений человека методами компьютерного зрения в задаче нормирования рабочего времени Труды Института системного программирования РАН. Том 32, выпуск 1, 2020 г. Стр. 121-136.
  9. Апишев М.А. Эффективные реализации алгоритмов тематического моделирования Труды Института системного программирования РАН. Том 32, выпуск 1, 2020 г. Стр. 137-152.
  10. Кузнецов С.Д. В ожидании нативных архитектур СУБД на основе энергонезависимой основной памяти Труды Института системного программирования РАН. Том 32, выпуск 1, 2020 г. Стр. 153-180.
  11. Али Н.М., Новиков Б.А. Большие данные: аналитические решения, исследовательские задачи и тенденции Труды Института системного программирования РАН. Том 32, выпуск 1, 2020 г. Стр. 181-206.
  12. Пантилимонов М.В., Бучацкий Р.А., Жуйков Р.А. Кэширование машинного кода в динамическом компиляторе SQL-запросов для СУБД PostgreSQL Труды Института системного программирования РАН. Том 32, выпуск 1, 2020 г. Стр. 205-220.
  13. Ц.Г. Гукасян Векторные модели на основе символьных н-грамм для морфологического анализа текстов Труды Института системного программирования РАН. Том 32, выпуск 2, 2020 г. Стр. 7-14.
  14. Е.В. Тимощук Оценка качества требований к программному обеспечению с применением метода GQM и инструментов обработки естественного языка Труды Института системного программирования РАН. Том 32, выпуск 2, 2020 г. Стр. 15-28.
  15. Культин Н.Б., Культин Д.Н., Бауэр P.В. Применение технологии машинного обучения для анализа вероятности выигрыша тендера на выполнение проекта Труды Института системного программирования РАН. Том 32, выпуск 2, 2020 г. Стр. 29-36.
  16. Бабенко М.Г., Голимблевская Е.И., Ширяев Е.М. Сравнительный анализ алгоритмов гомоморфного шифрования на основе обучения с ошибками Труды Института системного программирования РАН. Том 32, выпуск 2, 2020 г. Стр. 37-52.
  17. Лебедев Д.А., Куцевол В.Н. Тестовое окружение для верификации многопроцессорной системы прерываний с поддержкой виртуализации Труды Института системного программирования РАН. Том 32, выпуск 2, 2020 г. Стр. 53-60.
  18. Порошин П.А., Знаменский Д.В., Мешков А.Н. Реализация подсистемы памяти в рамках потактово-точного симулятора уровня приложений микропроцессоров архитектуры «Эльбрус» Труды Института системного программирования РАН. Том 32, выпуск 2, 2020 г. Стр. 61-80.
  19. Фролов В.А., Галактионов В.А., Санжаров В.В Исследование технологии RISC-V Труды Института системного программирования РАН. Том 32, выпуск 2, 2020 г. Стр. 81-98.
  20. Шемякинская А.С., Никифоров И.В. Подход автоматизации мониторинга дисковых носителей для системы оркестрации контейнеров Kubernetes Труды Института системного программирования РАН. Том 32, выпуск 2, 2020 г. Стр. 99-106.
  21. Садыков Р.Ф., Мандрыкин М.У. Верифицированная тактика Isabelle/HOL для теории ограниченных целых на основе инстанцирования и SMT Труды Института системного программирования РАН. Том 32, выпуск 2, 2020 г. Стр. 107-124.
  22. Твардовский А.С. Евтушенко Н.В. О минимизации инициальных автоматов с таймаутами Труды Института системного программирования РАН. Том 32, выпуск 2, 2020 г. Стр. 125-134.
  23. Сусанина Ю.А., Явейн А.Н., Григорьев С.В. Модификация алгоритма Валианта для задачи поиска подстрок Труды Института системного программирования РАН. Том 32, выпуск 2, 2020 г. Стр. 135-148.
  24. Суворов Н.М., Лядова Л.Н. HP-граф как основа для разработки редактора визуальных моделей DSM-платформы Труды Института системного программирования РАН. Том 32, выпуск 2, 2020 г. Стр. 149-160.
  25. Саргсян С.С., Варданян В.Г., Акопян Дж.А., Агабалян А.М., Меграбян М.С., Курмангалеев Ш.Ф., Герасимов А.Ю., Ермаков М.К., Вартанов С.П. Платформа автоматического фаззинга программного интерфейса приложений Труды Института системного программирования РАН. Том 32, выпуск 2, 2020 г. Стр. 161-174.
  26. Горелиц Н.К., Гукова А.С., Краснощеков Д.В. Анализ российского программного обеспечения для поддержки жизненного цикла разработки бортовых систем в условиях политики импортозамещения Труды Института системного программирования РАН. Том 32, выпуск 2, 2020 г. Стр. 175-190.
  27. Гладышев И.В., Камкин А.С., Коцыняк А.М., Путро П.А., Хорошилов А.В. Архитектура системы дедуктивной верификации машинного кода Труды Института системного программирования РАН. Том 32, выпуск 3, 2020 г. Стр. 7-20.
  28. Беляев М.В., Романенков Е.С., Игнатьев Н.В. Моделирование библиотечных функций в промышленном статическом анализаторе кода Труды Института системного программирования РАН. Том 32, выпуск 3, 2020 г. Стр. 21-32.
  29. Меньшиков М.А. Подходы к отладке и обеспечению качества статического анализатора Труды Института системного программирования РАН. Том 32, выпуск 3, 2020 г. Стр. 33-48.
  30. Архипов И.С. Генерация кодов для вещественной арифметики в архитектуре MIPS Труды Института системного программирования РАН. Том 32, выпуск 3, 2020 г. Стр. 49-56.
  31. Панков П.А., Никифоров И.В., Дробинцев Д.В. Программно-аппаратный комплекс обработки данных для исследовательских и научных целей с использованием микрокомпьютера Raspberry Pi 3 Труды Института системного программирования РАН. Том 32, выпуск 3, 2020 г. Стр. 57-70.
  32. Ковалев М.Г. Трассировка сетевых пакетов в ядре Linux с использованием eBPF Труды Института системного программирования РАН. Том 32, выпуск 3, 2020 г. Стр. 71-78.
  33. Маркобородов А.А., Скобцова Ю.А., Волканов Д.Ю. Подход к трансляции таблицы потоков коммутатора программно-конфигурируемой сети в язык ассемблера сетевого процессора Труды Института системного программирования РАН. Том 32, выпуск 3, 2020 г. Стр. 79-90.
  34. Барсуков Н.Д., Сысоев И.М., Перескокова А.А., Никифоров И.В., Посметныйс Д. Анализ активности студентов на курсах онлайн-обучения на основе логов платформы «OpenEdu» Труды Института системного программирования РАН. Том 32, выпуск 3, 2020 г. Стр. 91-100.
  35. Монастырев В.В., Дробинцев П.Д. Рекомендательная система на основе действий пользователей в социальной сети Труды Института системного программирования РАН. Том 32, выпуск 3, 2020 г. Стр. 101-108.
  36. Самохвалов Д.И. Определение аккаунтов злоумышленников в социальной сети ВКонтакте при помощи методов машинного обучения Труды Института системного программирования РАН. Том 32, выпуск 3, 2020 г. Стр. 109-118.
  37. Сергеев Д.И., Андреев А.Е., Дробинцева А.О., Ценевска С., Кукавица Н., Дробинцев П.Д. Разработка автоматизированных алгоритмов компьютерного зрения для обработки медицинских изображений Труды Института системного программирования РАН. Том 32, выпуск 3, 2020 г. Стр. 119-130.
  38. Ширмохаммади М.М., Эсмаилпур М. Анализ загруженности трафика на главных улицах электронного города c применением индекса перегрузки и искусственной нейронной сети (на примере города Хамедан) Труды Института системного программирования РАН. Том 32, выпуск 3, 2020 г. Стр. 131-146.
  39. Трофимов Е.В., Мецкер О.Г. Использование компьютерных методов и систем в изучении права, интеллектуальном анализе и моделировании правовой деятельности: систематический обзор Труды Института системного программирования РАН. Том 32, выпуск 3, 2020 г. Стр. 147-170.
  40. Алексеев К.А. Использование Big Data в международном бизнесе Труды Института системного программирования РАН. Том 32, выпуск 4, 2020 г. Стр. 7-20.
  41. Беленков В.Г., Будзко В.И., Девяткин Д.А., Кан А.В., Михайлин И.С., Соченков И.В., Тихомиров И.А., Шапкин В.С. Методика выявления центров компетенций авиационной науки на основе публикационной и патентной активности Труды Института системного программирования РАН. Том 32, выпуск 4, 2020 г. Стр. 21-40.
  42. Мокшин С.Ю. Общие подходы к проектированию подсистемы доступа высокопроизводительных вычислительных систем Труды Института системного программирования РАН. Том 32, выпуск 4, 2020 г. Стр. 41-52.
  43. Гонахчян В.И. Модель производительности графического конвейера для однопроходной схемы рендеринга динамических трехмерных сцен Труды Института системного программирования РАН. Том 32, выпуск 4, 2020 г. Стр. 53-72.
  44. Тимохин П.Ю., Михайлюк М.В., Вожегов Е.М. Эффективные методы и алгоритмы синтеза видео 360 градусов на основе кубической проекции виртуального окружения Труды Института системного программирования РАН. Том 32, выпуск 4, 2020 г. Стр. 73-88.
  45. Федотов А.Н., Курмангалеев Ш.Ф. CASR: анализ coredump файлов в ОС Linux и составление отчётов об ошибках Труды Института системного программирования РАН. Том 32, выпуск 4, 2020 г. Стр. 89-96.
  46. Киселев А.Б., Киселев С.Н. Отладчик параллельных программ для ОС Linux Труды Института системного программирования РАН. Том 32, выпуск 4, 2020 г. Стр. 97-114.
  47. Шишкин Е.С., Кислицын Е.С. Протокол сертификации целостности облачных вычислений Труды Института системного программирования РАН. Том 32, выпуск 4, 2020 г. Стр. 115-132.
  48. Храпов Н.П. Метрики эффективности и производительности при использовании эволюционного алгоритма на грид-системах из персональных компьютеров Труды Института системного программирования РАН. Том 32, выпуск 4, 2020 г. Стр. 133-140.
  49. Андреев П.К., Ананьев В.В., Макаров В.А., Карпулевич Е.А., Турдаков Д. Ю. Диагностика гипертрофий левых отделов сердца с помощью глубокой нейронной сети Труды Института системного программирования РАН. Том 32, выпуск 4, 2020 г. Стр. 141-154.
  50. Полунин А.А., Яндашевская Э.А. Использование аппарата свёрточных нейронных сетей для стегоанализа цифровых изображений Труды Института системного программирования РАН. Том 32, выпуск 4, 2020 г. Стр. 155-164.
  51. Скорняков К. А., Ласкина А. С., Турдаков Д. Ю. Двухшаговый метод объединения новостей в сюжеты Труды Института системного программирования РАН. Том 32, выпуск 4, 2020 г. Стр. 165-174.
  52. Богатенкова А.О., Козлов И.С., Беляева О.В., Перминов А.И. Извлечение логической структуры из сканированных документов Труды Института системного программирования РАН. Том 32, выпуск 4, 2020 г. Стр. 175-188.
  53. Беляева О.В., Перминов А.И., Козлов И.С. Использование синтетических данных для тонкой настройки моделей сегментации документов Труды Института системного программирования РАН. Том 32, выпуск 4, 2020 г. Стр. 189-202.
  54. Кущук Д.О., Рындин М.А., Яцков А.К., Варламов М.И. Использование доменно-состязательного обучения для распознавания текстовых капч Труды Института системного программирования РАН. Том 32, выпуск 4, 2020 г. Стр. 203-216.
  55. Кошелев К.Б., Мельникова В.Г., Стрижак С.В. Разработка решателя iceFoam для моделирования процесса обледенения Труды Института системного программирования РАН. Том 32, выпуск 4, 2020 г. Стр. 217-234.
  56. Амелюшкин И.А., Кудров М.А., Морозов А.О., Стасенко А.Л., Щеглов А.С. Модели процессов, сопровождающих кристаллизацию переохлажденных капель Труды Института системного программирования РАН. Том 32, выпуск 4, 2020 г. Стр. 235-244.
  57. Бурдонов И.Б., Винарский Е.М., Евтушенко Н.В., Косачев А.С. Совершенные множества путей в полном графе коммутаторов SDN-сети Труды Института системного программирования РАН. Том 32, выпуск 4, 2020 г. Стр. 245-260.
  58. Вирбицкайте И.Б., Зубарев А.Ю. Временные причинно-упорядоченные процессы временных сетей Петри со «слабой» семантикой Труды Института системного программирования РАН. Том 32, выпуск 4, 2020 г. Стр. 261-284.
  59. Гратинский В.А., Новиков Е.М., Захаров И.С. Экспертная оценка результатов верификации инструментов верификации моделей программ Труды Института системного программирования РАН. Том 32, выпуск 5, 2020 г. Стр. 7-20.
  60. Поляков С. А., Бородин А. Е. Обнаружение дефекта взаимной блокировки с помощью статического анализа Труды Института системного программирования РАН. Том 32, выпуск 5, 2020 г. Стр. 21-34.
  61. Советов П.Н. Разработка компиляторов предметно-ориентированных языков для спецпроцессоров Труды Института системного программирования РАН. Том 32, выпуск 5, 2020 г. Стр. 35-56.
  62. Шмид А.В. Практика и перспективы применения семейства эмуляторов архитектур мейнфреймов IBM Труды Института системного программирования РАН. Том 32, выпуск 5, 2020 г. Стр. 57-66.
  63. Джиджоев В.М., Бучацкий Р.А., Пантилимонов М.В., Томилин А.Н. Динамическая компиляция пользовательских функций на языке PL/pgSQL Труды Института системного программирования РАН. Том 32, выпуск 5, 2020 г. Стр. 67-80.
  64. Горюнов М.Н., Мацкевич А.Г., Рыболовлев Д.А. Синтез модели машинного обучения для обнаружения компьютерных атак на основе набора данных CICIDS2017 Труды Института системного программирования РАН. Том 32, выпуск 5, 2020 г. Стр. 81-94.
  65. Козлов С.В., Копылов С.А., Кондратьев Б.В., Обыденков Д.О. Реализация маркирования в подсистеме печати ОС семейства Windows на основе виртуального XPS-принтера Труды Института системного программирования РАН. Том 32, выпуск 5, 2020 г. Стр. 95-110.
  66. Акименкова М.А., Мазнина А.А., Наумов А.Ю., Карпулевич Е.А. Применение метода HDBSСAN для кластеризации данных scRNA-seq Труды Института системного программирования РАН. Том 32, выпуск 5, 2020 г. Стр. 111-120.
  67. Березин А.А., Новиков Р.С., Новопашин М.А., Позин Б.А., Шмид А.В. Применение метода неинвазивного оценивания нарушений углеводного обмена при скрининге населения Труды Института системного программирования РАН. Том 32, выпуск 5, 2020 г. Стр. 121-130.
  68. Полтавцева М.А. Агрегация и нормализация гетерогенных данных в системах мониторинга информационной безопасности и обнаружения вторжений крупномасштабных промышленных КФС Труды Института системного программирования РАН. Том 32, выпуск 5, 2020 г. Стр. 131-142.
  69. Поляков А.Н., Енягина И.М., Коковин Д.С. Распределенная модульная платформа «Цифровая Лаборатория» как среда для проведения научных исследований и разработок НИЦ «Курчатовский Институт» Труды Института системного программирования РАН. Том 32, выпуск 5, 2020 г. Стр. 143-152.
  70. Лаврищева Е.М., Зеленов С.В. Модельный подход к обеспечению безопасности и надежности Web-сервисов Труды Института системного программирования РАН. Том 32, выпуск 5, 2020 г. Стр. 153-166.
  71. Эрнандес Фариас Д.И., Гусман Кабрера Р., Кордова Фрага Т., Уамани Луна Х.З., Гомез Агилар М. Модификация алгоритма Marching Cubes для получения трехмерного представления плоского изображения Труды Института системного программирования РАН. Том 32, выпуск 5, 2020 г. Стр. 167-180.
  72. Головин Д.В. Моделирование инфразвукового пистонфона Труды Института системного программирования РАН. Том 32, выпуск 5, 2020 г. Стр. 181-198.
  73. Петренко А.К., Ефремов Д.В., Корныхин Е.В., Кулямин В.В., Хорошилов А.В., Щепетков И.В. Мониторинг и тестирование на основе многоуровневых спецификаций программ Труды Института системного программирования РАН. Том 32, выпуск 6, 2020 г. Стр. 7-18.
  74. Хорошилов А.В. Верификация соответствия между разноуровневыми моделями функциональных требований Труды Института системного программирования РАН. Том 32, выпуск 6, 2020 г. Стр. 19-30.
  75. Буренков В.С. Формальная верификация модели мандатного контроля целостности в операционной системе KasperskyOS Труды Института системного программирования РАН. Том 32, выпуск 6, 2020 г. Стр. 31-48.
  76. Старолетов С.М. Формальная модель партицированной операционной системы реального времени на Promela Труды Института системного программирования РАН. Том 32, выпуск 6, 2020 г. Стр. 49-66.
  77. Дагаев Д.В. О разработке Оберон-системы с заданными свойствами эргодичности Труды Института системного программирования РАН. Том 32, выпуск 6, 2020 г. Стр. 67-78.
  78. Рудометкин В.А. Проектирование высоконагруженных систем Труды Института системного программирования РАН. Том 32, выпуск 6, 2020 г. Стр. 79-86.
  79. Бородин А.Е., Дудина И.А. Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнения Труды Института системного программирования РАН. Том 32, выпуск 6, 2020 г. Стр. 87-100.
  80. Соловьев М.А., Бакулин М.Г., Макаров С.С., Манушин Д.В., Падарян В.А.. Практическая абстрактная интерпретация бинарного кода Труды Института системного программирования РАН. Том 32, выпуск 6, 2020 г. Стр. 101-110.
  81. Закалкин П.В., Иванов С.А., Вершенник Е.В., Кирьянов А.В. Способ маскирования передаваемой информации Труды Института системного программирования РАН. Том 32, выпуск 6, 2020 г. Стр. 111-126.
  82. Сорокин Д.И., Нужный А.С., Савельева Е.А. Иерархическая рубрикация текстовых документов Труды Института системного программирования РАН. Том 32, выпуск 6, 2020 г. Стр. 127-136.
  83. Гетьман А.И., Иконникова М.К Обзор методов классификации сетевого трафика с использованием машинного обучения Труды Института системного программирования РАН. Том 32, выпуск 6, 2020 г. Стр. 137-154.
  84. Измайлов А.А., Дворянский Л.В. Анализ дискретных динамических систем на метрических графах с помощью сетей Петри с временными дугами и инструмента TAPAAL Труды Института системного программирования РАН. Том 32, выпуск 6, 2020 г. Стр. 155-166.
  85. Лаврищева Е.М., Петров И.Б. Моделирование технических средств и задач прикладной математики на ЭВМ Труды Института системного программирования РАН. Том 32, выпуск 6, 2020 г. Стр. 167-182.
  86. Романова Д.И. Архитектура программного средства с открытым исходным кодом для численного моделирования потоков на горных склонах Труды Института системного программирования РАН. Том 32, выпуск 6, 2020 г. Стр. 183-200.
  87. Елистратов С.А., Ватутин К.А., Сибатуллин И.Н., Ерманюк Е.В., Михайлов Е.А. Моделирование аккумуляции кинетической энергии внутренних волн в областях с большим соотношением горизонтального и вертикального размеров Труды Института системного программирования РАН. Том 32, выпуск 6, 2020 г. Стр. 201-212.

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