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


Что искать

Искать в:

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

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

  1. Е.М. Лаврищева «Научные основы программ и технологии программирования систем» Доклад Е.М. Лаврищевой в Центральном доме учёных РАН 15.03.2017.
  2. Н.Ф. Димитриева Численное решение задачи обтекания клина потоком стратифицированной жидкости с использованием OpenFOAM Труды Института системного программирования РАН. Том 29, выпуск 1, 2017 г. Стр. 7-20.
  3. М.Д. Калугин, И.Е. Евдокимов Численное исследование характеристических мод и частот течения в высокоскоростных компрессорах Труды Института системного программирования РАН. Том 29, выпуск 1, 2017 г. Стр. 21-38.
  4. П.С. Лукашин, С.В. Стрижак, Г.А. Щеглов Тестирование возможностей открытого кода BEM++ по решению задач акустики Труды Института системного программирования РАН. Том 29, выпуск 1, 2017 г. Стр. 39-52.
  5. В.Г. Мельникова, О.С. Коцур, Г.А. Щеглов Особенности построения расчетной схемы для моделирования динамики стабилизатора расхода в пакете OpenFOAM Труды Института системного программирования РАН. Том 29, выпуск 1, 2017 г. Стр. 53-70.
  6. В.В. Пузикова Модификация метода погруженных границ LS-STAG для моделирования течений вязкоупругих жидкостей Труды Института системного программирования РАН. Том 29, выпуск 1, 2017 г. Стр. 71-84.
  7. Д.И. Романова Трёхмерное моделирование схода лавинных потоков средствами пакета OpenFOAM Труды Института системного программирования РАН. Том 29, выпуск 1, 2017 г. Стр. 85-100.
  8. А.Н. Нуриев, А.И. Юнусова, О.Н.Зайцева Моделирование перемещения клиновидного виброробота в вязкой жидкости при различных законах движения внутренней массы в пакете OpenFOAM Труды Института системного программирования РАН. Том 29, выпуск 1, 2017 г. Стр. 101-118.
  9. М.К. Ермаков, А.Ю. Герасимов, Д.О. Куц, А.А. Новиков Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя Труды Института системного программирования РАН. Том 29, выпуск 1, 2017 г. Стр. 119-134.
  10. С.П. Вартанов, М.К. Ермаков, А.Ю. Герасимов Прикладное применение динамического анализа программ, исполняющихся в интерпретирующих средах Труды Института системного программирования РАН. Том 29, выпуск 1, 2017 г. Стр. 135-148.
  11. С.П. Вартанов, А.Ю. Герасимов, М.К. Ермаков, Д.О. Куц, А.А. Новиков Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения Труды Института системного программирования РАН. Том 29, выпуск 1, 2017 г. Стр. 149-166.
  12. А.Д. Татарников Обзор методов и средств генерации тестовых программ для микропроцессоров Труды Института системного программирования РАН. Том 29, выпуск 1, 2017 г. Стр. 167-194.
  13. М.У. Мандрыкин, В.С. Мутилин Обзор подходов к моделированию памяти в инструментах статической верификации Труды Института системного программирования РАН. Том 29, выпуск 1, 2017 г. Стр. 195-230.
  14. Р.С. Самарев Обзор состояния области потоковой обработки данных Труды Института системного программирования РАН. Том 29, выпуск 1, 2017 г. Стр. 231-260.
  15. И.Б. Бурдонов, А.С. Косачев Размер памяти для хранения упорядоченного корневого графа Труды Института системного программирования РАН. Том 29, выпуск 2, 2017 г. Стр. 7-26.
  16. И.Б. Бурдонов, А.С. Косачев Общий подход к решению задач на графах коллективом автоматов Труды Института системного программирования РАН. Том 29, выпуск 2, 2017 г. Стр. 27-76.
  17. Е.М. Новиков Развитие ядра операционной системы Linux Труды Института системного программирования РАН. Том 29, выпуск 2, 2017 г. Стр. 77-96.
  18. Е.М. Новиков Возможности статической верификации монолитного ядра операционных систем Труды Института системного программирования РАН. Том 29, выпуск 2, 2017 г. Стр. 97-116.
  19. С.Д. Кузнецов Управление данными: 25 лет прогнозов Труды Института системного программирования РАН. Том 29, выпуск 2, 2017 г. Стр. 117-160.
  20. П.А. Пархоменко, А.А. Григорьев, Н.А. Астраханцев Обзор и экспериментальное сравнение методов кластеризации текстов Труды Института системного программирования РАН. Том 29, выпуск 2, 2017 г. Стр. 161-200.
  21. К.Е. Лейтон-Павез, Х.М. Редондо, А.М. Тарквис-Альфонсо, Х.К. Джил-Мартин, Дж.Д. Теллез-Альварез Фрактальный анализ растущих городов и его связь с распределением центров здоровья Труды Института системного программирования РАН. Том 29, выпуск 2, 2017 г. Стр. 201-214.
  22. Х.М. Редондо, Дж.Д. Теллес-Альварес, Х.М. Санчез Турбулентная конвекция термоэлектричеством в охладительно-нагревательном устройстве Труды Института системного программирования РАН. Том 29, выпуск 2, 2017 г. Стр. 215-230.
  23. А.С. Аничкин, В.А. Семенов Математическая формализация задач проектного планирования в расширенной постановке Труды Института системного программирования РАН. Том 29, выпуск 2, 2017 г. Стр. 231-256.
  24. П.Н. Девянин О проблеме представления формальной модели политики безопасности операционных систем Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г. Стр. 7-16.
  25. А. В. Козачок, Е. В. Кочетков Комплекс алгоритмов функционирования системы безопасного исполнения программного кода Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г. Стр. 17-30.
  26. В.А. Падарян О представлении результатов обратной инженерии бинарного кода Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г. Стр. 31-42.
  27. А.В. Хорошилов, И.В. Щепетков ADV_SPM — Формальные модели политики безопасности на практике Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г. Стр. 43-56.
  28. А.П. Меркулов, С.А. Поляков, А.А. Белеванцев Анализ программ на языке Java в инструменте Svace Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г. Стр. 57-74.
  29. А.Ю. Герасимов Обзор подходов к улучшению качества результатов статического анализа программ Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г. Стр. 75-98.
  30. М.В. Беляев, Н.В. Шимчик, В.Н. Игнатьев, А.А. Белеванцев Сравнительный анализ двух подходов к статическому анализу помеченных данных Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г. Стр. 99-116.
  31. А. И. Гетьман, Ю. В. Маркин, Д. О. Обыденков, Е. Ф. Евстропов Обзор задач и методов их решения в области классификации сетевого трафика Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г. Стр. 117-150.
  32. В.О. Мордань Комбинация методов статической верификации композиции требований Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г. Стр. 151-170.
  33. Ю.А. Солоделов, Н.К. Горелиц Сертифицируемая бортовая операционная система реального времени JetOS для российских проектов воздушных судов Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г. Стр. 171-178.
  34. Е. Ю. Шарыгин,  Р. А. Бучацкий Обзор методов динамической компиляции запросов Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г. Стр. 179-224.
  35. Н.Н. Кузюрин О задаче приближенного нахождения максимальной двудольной клики Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г. Стр. 225-232.
  36. А. Сотников, Н. Шабалдина, М. Громов Эксперименты по построению параллельной композиции временных автоматов Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г. Стр. 233-246.
  37. А.С. Аничкин, В.А. Семенов Объектно-ориентированный каркас для программной реализации приложений теории расписаний Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г. Стр. 247-296.
  38. Н. Вьюгинов, В. Фондаратов Автоматизированная генерация контрактов типов в Ruby Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г.
  39. Р. Нестеров, И. Ломазова Использование интерфейсных паттернов для композиционного анализа моделей распределенных систем Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г.
  40. Д. Башкирова, Ш. Йошидзава, Р. Латыпов, Х. Йокота Быстрое L1-преобразование Гаусса для сглаживания изображений с сохранением границ Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г.
  41. А. Корнилова, Я. Кириленко, Н. Забелина Стабилизация видео в реальном времени с использованием MEMS-сенсоров Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г.
  42. А. Гималетдинова, К. Дегтярев Модель службы позиционирования городского метрополитена на основе нечетких правил 2-го уровня Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г.
  43. С. Семенкович, О. Колеконова, К. Дегтярев Модифицированный метод оценки очков Scrum-историй, основанный на нечеткой логике Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г.
  44. М. Горденко, С. Авдошин Смешанная задача китайского почтальона Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г.
  45. Е. Береснева, С. Авдошин Парето-оптимальные алгоритмы решения метрической задачи о коммивояжере Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г.
  46. А. Твардовский, Н. Евтушенко О минимизации временных конечных автоматов Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г.
  47. К. Давыдова, С. Шершаков Построение гибридных UML-моделей по логам событий SOA-систем Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г.
  48. Л. Дворянский, В. Михайлов Инструмент для поведенческого анализа хорошо структурированных систем переходов Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г.
  49. А. Карнов, С. Зеленов Стохастические методы анализа сложных аппаратно-программных систем Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г.
  50. А. Волков, М. Мандрыкин Предикатный абстракционный метод моделирования памяти с разделением на непересекающиеся регионы Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г.
  51. С. Козин, В. Мутилин Статическая верификация конфигураций ядра операционной системы Linux Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г.
  52. В. Буренков Методика параметризованной верификации протоколов когерентности памяти Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г.
  53. А. Камкин, М. Лебедев, С. Смолов, М. Чупилко Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г.
  54. М. Петроченков, И. Стотланд, Р. Муштаков Верификация 10-гигабитных Ethernet-контроллеров Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г.
  55. О. Москалева, А. Громова Создание тестовых данных для систем надзора за рынком с использованием алгоритмов интегрированного машинного обучения Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г.
  56. М. Хазеев, В. Ривьера, М. Маццара Начальные шаги в сторону оценки удобства использования инструментов верификации Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г.
  57. А. Барабанов, А. Лавров, И. Полотнянщиков, А. Марков, В. Цирлов Изучение атак типа «межсайтовая подделка запросов» в рамках анализа уязвимостей программного обеспечения Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г.
  58. К. Маллачиев, Н. Пакулин, А. Хорошилов, Д. Буздалов Использование модуляризации во встроенных ОС Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г.
  59. С. Сметанин Быстрое прототипирование «умных зеркал» для систем умного дома Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г.
  60. Л. Кантеев, Ю. Костюков, Д. Луцив, Д. Кознов, М. Смирнов Обнаружение неточно повторяющегося текста в документации программного обеспечения Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г.
  61. С. Сметанин Программа для мониторинга общественных настроений в России на основе сообщений из Twitter Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г.
  62. И. Долгалева, И. Горшков Narrabat — прототип сервиса пересказа новостей Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г.

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