Институт системного программирования Роcсийской академии наук


Что искать

Искать в:

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

Публикации за 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 г.
  25. А.П. Меркулов, С.А. Поляков, А.А. Белеванцев Анализ программ на языке Java в инструменте Svace Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г.
  26. А.Ю. Герасимов Обзор подходов к улучшению качества результатов статического анализа программ Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г.
  27. М.В. Беляев, Н.В. Шимчик, В.Н. Игнатьев, А.А. Белеванцев Сравнительный анализ двух подходов к статическому анализу помеченных данных Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г.
  28. А. И. Гетьман, Ю. В. Маркин, Д. О. Обыденков, Е. Ф. Евстропов Обзор задач и методов их решения в области классификации сетевого трафика Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г.
  29. В.О. Мордань Комбинация методов статической верификации композиции требований Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г.
  30. Ю.А. Солоделов, Н.К. Горелиц Сертифицируемая бортовая операционная система реального времени JetOS для российских проектов воздушных судов Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г.
  31. Е. Ю. Шарыгин,  Р. А. Бучацкий Обзор методов динамической компиляции запросов Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г.
  32. Н.Н. Кузюрин О задаче приближенного нахождения максимальной двудольной клики Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г.
  33. Н.Н. Кузюрин, Д.О. Лазарев Исследование максимального размера плотного подграфа случайного графа Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г.
  34. А. Сотников, Н. Шабалдина, М. Громов Эксперименты по построению параллельной композиции временных автоматов Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г.

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