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


Что искать

Искать в:

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

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

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

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