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


Что искать

Искать в:

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

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

  1. Evgeny Gerlits, Alexey Khoroshilov, Denis Kildishev Elicitation of Functional Requirements from the Application Programming Interface Documentation for Functional Testing SYRCoSE 2021
  2. Бородин А. Е., Горемыкин А. В., Вартанов С. П., Белеванцев А.А. Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace Труды Института системного программирования РАН. Том 33, выпуск 1, 2021 г. Стр. 7-32.
  3. Вершков Н.А., Бабенко М.Г., Кучуков В.А., Кучукова Н.Н. Обучение многослойного перцептрона с учителем в задаче распознавания с помощью корреляционного показателя Труды Института системного программирования РАН. Том 33, выпуск 1, 2021 г. Стр. 33-46.
  4. Сафьян М., Сарвар С., Кайум З.У., Икбал М., Ли С., Кашиф М. Изучение видов деятельности на основе машинного обучения в поведенческих контекстах Интернета вещей Труды Института системного программирования РАН. Том 33, выпуск 1, 2021 г. Стр. 47-58.
  5. Родригес-Киньонес Х.С. Интеллектуальный метод автоматического отслеживания объектов путем интеграции лазерного сканирования и инерциальной навигации Труды Института системного программирования РАН. Том 33, выпуск 1, 2021 г. Стр. 59-64.
  6. Алаасам А.Б.А., Радченко Г.И., Черных А.Н., Гонсалес-Компеан Х.Л. Цифровые двойники в туманных вычислениях: организация обработки данных с сохранением состояния на базе микропотоков работ Труды Института системного программирования РАН. Том 33, выпуск 1, 2021 г. Стр. 65-80.
  7. Вальдивия Х.А., Лора-Гонсалес А., Лимон К., Кортес-Вердин К., Очаран-Эрнандес Х.О. Паттерны микросервисной архитектуры: многопрофильный обзор литературы Труды Института системного программирования РАН. Том 33, выпуск 1, 2021 г. Стр. 81-96.
  8. Тарик А., Азам Ф., Анвар М.В., Захур Т., Музаффар А.В. Последние тенденции в развитии подводной беспроводной сенсорной сети: систематический обзор литературы Труды Института системного программирования РАН. Том 33, выпуск 1, 2021 г. Стр. 97-110.
  9. Лосано-Риск Х.Э., Ривера-Родригес Р., Ньето-Иполито Х.И., Вильярреаль-Рейес С., Галавис-Москеда А., Васкес-Брисеньо М. Качество обслуживания в программно-определяемых сетях для научных приложений: возможности и проблемы Труды Института системного программирования РАН. Том 33, выпуск 1, 2021 г. Стр. 111-122.
  10. Бурдонов И.Б., Евтушенко Н.В., Косачев А.С. Безопасная реализация виртуальной сети на плоскости данных SDN Труды Института системного программирования РАН. Том 33, выпуск 1, 2021 г. Стр. 123-136.
  11. Сергиенко О.Ю., Жирабок А.Н. Выявление неисправностей в группах мобильных роботов с использованием скользящих наблюдателей Труды Института системного программирования РАН. Том 33, выпуск 1, 2021 г. Стр. 137-150.
  12. Черных А.Н., Бычков И.В. Феоктистов А.Г., Горский А.С., Сидоров И.А., Костромин Р.О., Еделев А.В., Зоркальцев В.И., Аветисян А.И. Смягчение неопределенности при разработке научных приложений в интегрированной среде Труды Института системного программирования РАН. Том 33, выпуск 1, 2021 г. Стр. 151-172.
  13. Тельо-Родригес М., Очаран-Эрнандес Х.О., Перес-Арриага Х.К., Лимон К., Санчес-Гарсия А.Х. Путеводитель по проектированию удобных Web-API Труды Института системного программирования РАН. Том 33, выпуск 1, 2021 г. Стр. 173-188.
  14. Рамачандран Р., Огуншиле Э. Размышление о дизайне и восприятии пользователями приложения Tamil talk Труды Института системного программирования РАН. Том 33, выпуск 1, 2021 г. Стр. 189-208.
  15. Ешилбашян Е.М., Асатрян А.А., Гукасян Ц.Г. Поиск заимствований в армянских текстах путем внутреннего стилометрического анализа Труды Института системного программирования РАН. Том 33, выпуск 1, 2021 г. Стр. 209-224.
  16. Фролов В.A., Волобой А.Г., Ершов С.В., Галактионов В.А. Современное состояние методов расчёта глобальной освещённости в задачах реалистичной компьютерной графики Труды Института системного программирования РАН. Том 33, выпуск 2, 2021 г. Стр. 7-48.
  17. Гуерра-Гарсия Ц., Перес Гонсалес Г., Рамирез-Торрес М., Хуарез-Рамирез Р. Разработка Web-приложений с учетом элементов качества данных – DQAWA Труды Института системного программирования РАН. Том 33, выпуск 2, 2021 г. Стр. 49-64.
  18. Рианьо Д., Пиньон Р., Молеро-Кастильо Г., Барсенас, Э., Веласкес-Мена А. Регулярные выражения для обнаружения Web-рекламы на основе автоматического скользящего алгоритма Труды Института системного программирования РАН. Том 33, выпуск 2, 2021 г. Стр. 65-76.
  19. Дуран М., Хуарес-Рамирес Р., Хименес C., Тона К. Оценка пользовательских историй на основе декомпозиции сложности с использованием байесовских сетей Труды Института системного программирования РАН. Том 33, выпуск 2, 2021 г. Стр. 77-92.
  20. Г.К. М., А. Альсадун., Фам Т.Х.Ф., Абдулла С.Х., Май Х.Е., Прасад П.В.Ч., Нгуен Ч.К.В. Новая интеллектуальная система для обнаружения сахарного диабета 2-го типа с модифицированной функцией потерь и регуляризацией. Труды Института системного программирования РАН. Том 33, выпуск 2, 2021 г. Стр. 93-114.
  21. Родригес-Руис Х.Г., Гальван-Техада К.Э., Васкес-Рейес С., Гальван-Техада Х.И., Гамбоа-Росалес Х. Классификация депрессивных эпизодов на основе ночных измерений: многомерный и одномерный анализ данных Труды Института системного программирования РАН. Том 33, выпуск 2, 2021 г. Стр. 115-124.
  22. Муранья Х., Несмачнов С., Итурриага С., Монтес де Ока С., Белькреди Г., Монсон П., Шепелев В., Черных А. Стратегии управлении спросом в умных сетях электроснабжения для центров данных Труды Института системного программирования РАН. Том 33, выпуск 2, 2021 г. Стр. 125-136.
  23. Флорес-Фуэнтес В. Классификатор изображений транспортных средств для определения корреляции их воздействия со смещением координат моста Труды Института системного программирования РАН. Том 33, выпуск 2, 2021 г. Стр. 137-148.
  24. Фортуна-Сервантес Х.М., Рамирес Торрес М.Т., Мартинес-Карранса Х., Мургуиа-Ибарра Х.С., Мехиа Карлос М. Обнаружение объектов в аэронавигации с использованием вейвлет-преобразования и сверточных нейронных сетей: первый подход Труды Института системного программирования РАН. Том 33, выпуск 2, 2021 г. Стр. 149-162.
  25. Риссо К., Робледо Ф., Несмачнов С. Решение проблемы обеспечения качества дерева многоадресной рассылки услуг Труды Института системного программирования РАН. Том 33, выпуск 2, 2021 г. Стр. 163-172.
  26. Мартишин С.А., Храпченко М.В., Шокуров А.В. Исследование задачи обеспечения безопасности при хранении и обработке конфиденциальных данных Труды Института системного программирования РАН. Том 33, выпуск 2, 2021 г. Стр. 173-190.
  27. Лимон Й., Барсенас Э., Бенитес-Герреро Э., Молеро-Кастильо Г., Веласкес Мена А. Выполнимость мю-исчисления с арифметическими ограничениями Труды Института системного программирования РАН. Том 33, выпуск 2, 2021 г. Стр. 191-200.
  28. Мицюк А.А., Жамгарян Н.А. Какие стили архитектуры программного обеспечения популярны? Труды Института системного программирования РАН. Том 33, выпуск 3, 2021 г. Стр. 7-26.
  29. Меньшиков М.А. Обзор моделей работы статических анализаторов Труды Института системного программирования РАН. Том 33, выпуск 3, 2021 г. Стр. 27-40.
  30. Гиматдинов Д.М., Герасимов А.Ю., Привалов П.А., Буткевич В.Н., Чернова Н.А., Горелова А.А. Автоматизированная система тестирования инструментов статического анализа кода Труды Института системного программирования РАН. Том 33, выпуск 3, 2021 г. Стр. 41-50.
  31. Шампаров В.Е., Нейман-заде М.И. Оптимизации расположения данных для компилятора LCC для архитектуры Эльбрус Труды Института системного программирования РАН. Том 33, выпуск 3, 2021 г. Стр. 51-60.
  32. Крыштапович В.С. Локализованное применение частичной типизации Труды Института системного программирования РАН. Том 33, выпуск 3, 2021 г. Стр. 61-76.
  33. Лапкина А.В., Петухов А.А. Классификация HTTP-запросов к серверу в задаче автоматического обхода современных веб-приложений Труды Института системного программирования РАН. Том 33, выпуск 3, 2021 г. Стр. 77-86.
  34. Эйзенах Д.С., Рамейков А.С., Никифоров И.В. Высокопроизводительный распределенный веб-скрапер Труды Института системного программирования РАН. Том 33, выпуск 3, 2021 г. Стр. 87-100.
  35. Воронков И.А., Сараджишвили С.Э. Power Fx: Low-code язык для инструментов совместной работы. Труды Института системного программирования РАН. Том 33, выпуск 3, 2021 г. Стр. 101-108.
  36. Ригин А.М., Шершаков С.А. Метод анализа производительности критичных по времени приложений с помощью DB-Nets Труды Института системного программирования РАН. Том 33, выпуск 3, 2021 г. Стр. 109-122.
  37. Хан Р., Шивек А., Бретнах С., Маргария Т. Транскрипция исторических записей актов гражданского состояния с использованием экстремального модельно-управляемого подхода Труды Института системного программирования РАН. Том 33, выпуск 3, 2021 г. Стр. 123-142.
  38. Гладштейн В.П., Михайловский Д.В., Моисеенко Е.А., Трунов А.А. Механизированная теория структур событий: случай параллельной регистровой машины Труды Института системного программирования РАН. Том 33, выпуск 3, 2021 г. Стр. 143-154.
  39. Нестеров Р.А., Савельев С.Ю. Генерация сетей Петри с помощью структурных трансформаций, сохраняющих поведенческие свойства Труды Института системного программирования РАН. Том 33, выпуск 3, 2021 г. Стр. 155-170.
  40. Кузнецов С.Д., Велихов П.Е., Фу Ц. Аналитика в реальном времени, гибридная транзакционная/аналитическая обработка, управление данными в основной памяти и энергонезависимая память Труды Института системного программирования РАН. Том 33, выпуск 3, 2021 г. Стр. 171-198.
  41. Русначенко Н. Л. Применение языковых моделей в задаче извлечения оценочных отношений Труды Института системного программирования РАН. Том 33, выпуск 3, 2021 г. Стр. 199-222.
  42. Гашева Т.С., Власов Д.И., Отинов А.В., Дацун Н.Н. Автоматизация проверки UML диаграмм, созданных студентами Труды Института системного программирования РАН. Том 33, выпуск 4, 2021 г. Стр. 7-18.
  43. Чаудхари Х.А.А., Маргария Т. Интеграция микросервисов как компонентов сред моделирования для малокодовой разработки Труды Института системного программирования РАН. Том 33, выпуск 4, 2021 г. Стр. 19-30.
  44. Гетьман А.И., Иконникова М.К. Идентификация прозрачных, сжатых и шифрованных данных в сетевом трафике Труды Института системного программирования РАН. Том 33, выпуск 4, 2021 г. Стр. 31-48.
  45. Ларин Д.В., Гетьман А.И. Средства захвата и обработки высокоскоростного сетевого трафика Труды Института системного программирования РАН. Том 33, выпуск 4, 2021 г. Стр. 49-68.
  46. Кузьмин Я.К., Волканов Д.Ю., Скобцова Ю.А. Об одном методе синхронизации состояния алгоритма обработки пакетов в сетевом процессорном устройстве Труды Института системного программирования РАН. Том 33, выпуск 4, 2021 г. Стр. 69-76.
  47. Никифоров Н.И., Волканов Д.Ю. Исследование применимости алгоритмов сжатия данных для таблиц потоков в сетевом процессоре RuNPU Труды Института системного программирования РАН. Том 33, выпуск 4, 2021 г. Стр. 77-86.
  48. Ананьев В.В., Скорик С.Н., Шаклеин В.В., Аветисян А.А., Терегулов Ю.Э., Турдаков Д.Ю., Глинер В., Шустер А., Карпулевич Е.А. Оценка влияния различных неархитектурных изменений предсказательной модели на качество классификации ЭКГ Труды Института системного программирования РАН. Том 33, выпуск 4, 2021 г. Стр. 87-98.
  49. Гельцер Б.И., Горбач Т.А., Грибова В.В., Карпик О.В., Клышинский Э.С., Кочеткова Н.А., Окунь Д.Б., М. В. Петряева, Шахгельдян К.И. Синтаксический анализ текстов предметной области при помощи онтологии Труды Института системного программирования РАН. Том 33, выпуск 4, 2021 г. Стр. 99-116.
  50. Сапин А.С. Построение нейросетевых моделей морфологического и морфемного анализа текста Труды Института системного программирования РАН. Том 33, выпуск 4, 2021 г. Стр. 117-130.
  51. Козачок А.В., Копылов С.А., Горбачев П.Н., Гайнов А.Е., Кондратьев Б.В. Алгоритм маркирования текстовых документов на основе изменении интервала между словами, обеспечивающий устойчивость к преобразованию формата Труды Института системного программирования РАН. Том 33, выпуск 4, 2021 г. Стр. 131-146.
  52. Якушев А.Ю., Маркин Ю.В., Фомин С.А., Обыденков Д.О., Кондратьев Б.В. Маркирование текстовых документов на экране монитора посредством изменения яркости фона в областях межстрочных интервалов Труды Института системного программирования РАН. Том 33, выпуск 4, 2021 г. Стр. 147-162.
  53. Суворов Н.М., Лядова Л.Н. Многослойный подход к поиску изоморфных подграфов в HP-графах Труды Института системного программирования РАН. Том 33, выпуск 4, 2021 г. Стр. 163-176.
  54. Садыков Р.Ф., Мандрыкин М.У. Полная решающая процедура для теории ограниченной адресной арифметики Труды Института системного программирования РАН. Том 33, выпуск 4, 2021 г. Стр. 177-194.
  55. Баев Р.В., Скворцов Л.В., Кудряшов Е.А., Бучацкий Р.А., Жуйков Р.А. Предотвращение уязвимостей, возникающих в результате оптимизации кода с неопределенным поведением Труды Института системного программирования РАН. Том 33, выпуск 4, 2021 г. Стр. 195-210.
  56. Шарков И.В., Падарян В.А., Хенкин П.В. Об особенностях фаззинг-тестирования сетевых интерфейсов в условиях отсутствия исходных текстов Труды Института системного программирования РАН. Том 33, выпуск 4, 2021 г. Стр. 211-226.
  57. Романова Д.И. Калибровка k − ε модели турбулентности в пакете OpenFOAM с помощью методов машинного обучения для моделирования потоков на склонах гор на основе эксперимента Труды Института системного программирования РАН. Том 33, выпуск 4, 2021 г. Стр. 227-240.
  58. Семенов В.А., Аришин С.В., Семенов Г.В. Формальные правила продукции объектной нотации для данных, определяемых EXPRESS схемой Труды Института системного программирования РАН. Том 33, выпуск 5, 2021 г. Стр. 7-24.
  59. Девянин П.Н., Тележников В.Ю., Хорошилов А.В. Формирование методологии разработки безопасного системного программного обеспечения на примере операционных систем Труды Института системного программирования РАН. Том 33, выпуск 5, 2021 г. Стр. 25-40.
  60. Бубакар И., Будько М.Б., Будько М.Ю., Гирик А.В. Онтологическое обеспечение управления рисками информационной безопасностиОнтологическое обеспечение управления рисками информационной безопасности Труды Института системного программирования РАН. Том 33, выпуск 5, 2021 г. Стр. 41-64.
  61. Обыденков Д.О., Фролов А.Е., Маркин Ю.В., Фомин С.А., Кондратьев Б.В. Методы маркирования текстовых документов при печати посредством вертикального сдвига и изменения яркости фрагментов слов Труды Института системного программирования РАН. Том 33, выпуск 5, 2021 г. Стр. 65-82.
  62. Гетьман А.И., Горюнов М.Н., Мацкевич А.Г., Рыболовлев Д.А. Методика сбора обучающего набора данных для модели обнаружения компьютерных атак Труды Института системного программирования РАН. Том 33, выпуск 5, 2021 г. Стр. 83-104.
  63. Винарский Е.М., Демаков А.В. Оптимизация программ на ProVerif для криптографических протоколов выработки общего ключа Труды Института системного программирования РАН. Том 33, выпуск 5, 2021 г. Стр. 105-116.
  64. Прокопьев С.Е. Формальный язык первичных спецификаций криптографических протоколов Труды Института системного программирования РАН. Том 33, выпуск 5, 2021 г. Стр. 117-136.
  65. Коваленко Р.Д., Макаров А.Н. Динамический анализ IoT-систем на основе полносистемной эмуляции в QEMU Труды Института системного программирования РАН. Том 33, выпуск 5, 2021 г. Стр. 155-166.
  66. Краснов М.М., Феодоритова О.Б. Использование библиотеки функционального программирования для решения численных задач на графических ускорителях с технологией CUDA Труды Института системного программирования РАН. Том 33, выпуск 5, 2021 г. Стр. 167-180.
  67. Фролов В.А., Санжаров В.В, Галактионов В.А., Щербаков А.С. Автоматизация разработки на Vulkan: предметно-ориентированный подход Труды Института системного программирования РАН. Том 33, выпуск 5, 2021 г. Стр. 181-204.
  68. Варгас-Перес В.А., Варгас-Перес Л.С., Гутьеррес-Торнес А.Ф., Сото-Эрнанде М., Фелипе-Риверон Э.М. Управление требованиями при обучении профессиональных руководителей проектов Труды Института системного программирования РАН. Том 33, выпуск 5, 2021 г. Стр. 205-218.
  69. Ортис-Эрнандес Х., Руис Мартинес В.Х., Эрнандес Перес М.Я., Миярес-Кастро Р. Гибкая разработка программного обеспечения для реконструкции жилья: землетрясение в Мексике в 2017 г. Труды Института системного программирования РАН. Том 33, выпуск 5, 2021 г. Стр. 219-236.
  70. Скворцов Л.В., Баев Р.В., Долгорукова К.Ю., Шарыгин Е.Ю. Разработка компилятора для стековой процессорной архитектуры TF16 на основе LLVM Труды Института системного программирования РАН. Том 33, выпуск 5, 2021 г. Стр. 137-154.
  71. Амелюшкин И.А., Кудров М.А., Морозов А.О., Щеглов А.С. Математические модели и методы расчета процессов, сопровождающих обледенение летательных аппаратов Труды Института системного программирования РАН. Том 33, выпуск 5, 2021 г. Стр. 237-248.
  72. Кошелев К.Б., Осипов А.В., Стрижак С.В. Особенности реализации эффективного алгоритма параллельных вычислений для моделирования обледенения стреловидного крыла с профилем GLC-305 Труды Института системного программирования РАН. Том 33, выпуск 5, 2021 г. Стр. 249-258.
  73. Цынаева А.А., Цынаева Е.А. Численное исследование микроклимата помещения с использованием СПО Труды Института системного программирования РАН. Том 33, выпуск 5, 2021 г. Стр. 259-270.
  74. Байметова Е.С., Гиззатуллина А.Ф., Королева М.Р., Мищенкова О.В., Пушкарев Ф.Н., Чернова А.А. Тепловая нагрузка биметаллической оребренной трубки Труды Института системного программирования РАН. Том 33, выпуск 5, 2021 г. Стр. 271-282.

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