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


Что искать

Искать в:

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

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

Монографии

  1. А. С. Камкин Введение в формальные методы верификации программ: Учебное пособие. Москва: МАКС Пресс, 2018. – 272 с.
  2. П.Н. Девянин, Д.В. Ефремов, В.В. Кулямин, А.К. Петренко, А.В. Хорошилов, И.В. Щепетков Моделирование и верификация политик безопасности управления доступом в операционных системах

Другие публикации

  1. Е.М. Лаврищева, А.Г. Рыжов Подход к моделированию систем и сайтов из готовых ресурсов Конференция "Научный сервис в сети интернет", Новороссийск, 17-22 сентября
  2. А.К. Яцков, М.И. Варламов, Д.Ю. Турдаков Сбор и извлечение данных с веб-сайтов СМИ Программирование, №5, стр. 68-80
  3. Andrey Sysoev Irina Nikishina Smart Context Generation for Disambiguation to Wikipedia 7th International Conference, AINL 2018, St. Petersburg, Russia, October 17–19, 2018
  4. Турдаков Д.Ю., Архипенко К.В. Автоматическое выделение сленговых выражений в сети Интернет для обогащения словарей именованных сущностей Тезисы доклада. Ломоносовские чтения-2018, секция "Вычислительная математика и кибернетика", МГУ имени М.В. Ломоносова, Россия, 16-27 апреля 2018
  5. Oleg Borisenko, David Badalyan. Evaluation of SQL benchmark for distributed in-memory Database Management Systems IJCSNS International Journal of Computer Science and Network Security, VOL.18 No.10, October 2018
  6. O.D. Borisenko, N.A. Lazarev Implementing JSON operations for In-memory Data Grid as passthrough cache layer to RDBMS International Journal of Civil Engineering and Technology 9(10):1033-1040 · October 2018
  7. K. Skorniakov, D. Turdakov, and A. Zhabotinsky Make Social Networks Clean Again: Graph Embedding and Stacking Classifiers for Bot Detection 2nd International Workshop on Rumours and Deception in Social Media (RDSM)
  8. Х. Йенигун, Н. Евтушенко, Н. Кушик, Х. Лопез Влияние частичности и адаптивности на сложность задачи идентификации состояний автомата Труды Института системного программирования РАН. Том 30, выпуск 1, 2018 г. Стр. 7-24.
  9. А.С. Твардовский, А.В. Лапутенко О возможностях автоматного описания параллельной композиции временных автоматов Труды Института системного программирования РАН. Том 30, выпуск 1, 2018 г. Стр. 25-40.
  10. Н.А. Шаляпина, А.А. Зайцев, С.В. Батрацкий, М.Л. Громов Тесты на константные неисправности как веб-сервис Труды Института системного программирования РАН. Том 30, выпуск 1, 2018 г. Стр. 41-54.
  11. С.М. Старолетов Методы анализа вредоносного программного обеспечения под ОС Android Труды Института системного программирования РАН. Том 30, выпуск 1, 2018 г. Стр. 55-68.
  12. И.Б. Бурдонов, А.С. Косачев, В.В. Кулямин, А.Н. Томилин, В.З. Шнитман Асинхронные распределенные алгоритмы на статических и динамических ориентированных корневых графах Труды Института системного программирования РАН. Том 30, выпуск 1, 2018 г. Стр. 69-88.
  13. С.М. Авдошин, А.В. Лазаренко Методы деанонимизации пользователей биткоин Труды Института системного программирования РАН. Том 30, выпуск 1, 2018 г. Стр. 89-102.
  14. Б.А. Позин Принципы построения системы обеспечения жизненного цикла ответственных систем Труды Института системного программирования РАН. Том 30, выпуск 1, 2018 г. Стр. 103-114.
  15. М.С. Гуськова,  Л.Ю. Бараш, Л.Н. Щур Применение AVX512-векторизации для увеличения производительности генератора псевдослучайных чисел Труды Института системного программирования РАН. Том 30, выпуск 1, 2018 г. Стр. 115-126.
  16. В.Н. Юдин, Л.Е. Карпов Работа с неполностью описанными объектами в системах поддержки принятия решений: альтернативные подходы Труды Института системного программирования РАН. Том 30, выпуск 1, 2018 г. Стр. 127-136.
  17. В.А. Павлов, Б.А. Новиков Базы данных для обработки массивов: взгляд изнутри Труды Института системного программирования РАН. Том 30, выпуск 1, 2018 г. Стр. 137-160.
  18. Е.И. Гусев Оптимизация доступа к страницам памяти в системах, использующих программную реализацию глобального страничного кеша Труды Института системного программирования РАН. Том 30, выпуск 1, 2018 г. Стр. 161-182.
  19. А.Н. Нуриев, А.М. Камалутдинов, О.Н. Зайцева Численное исследование влияния формы торцов колеблющихся пластин на гидродинамическое сопротивление в диапазоне больших амплитуд колебания Труды Института системного программирования РАН. Том 30, выпуск 1, 2018 г. Стр. 183-194.
  20. И.К. Марчевский, В.В. Пузикова Сравнение эффективности решателей разреженных систем линейных алгебраических уравнений на основе методов BiCGStab и FGMRES Труды Института системного программирования РАН. Том 30, выпуск 1, 2018 г. Стр. 195-214.
  21. С.А. Дергачев Математическое моделирование эволюции завихренности при пространственном обтекании тел методом вихревых петель Труды Института системного программирования РАН. Том 30, выпуск 1, 2018 г. Стр. 215-226.
  22. Столяров А.В., Французов О.Г., Аникина А.С. Чистая компиляция как парадигма программирования Труды Института системного программирования РАН. Том 30, выпуск 2, 2018 г. Стр. 7-24.
  23. Бугеря А.Б., Ким Е.С., Соловьев М.А. Распараллеливание реализаций сугубо последовательных алгоритмов Труды Института системного программирования РАН. Том 30, выпуск 2, 2018 г. Стр. 25-44.
  24. Лозов П.А., Булычев Д.Ю. Преобразование типизированных функций в реляционную форму Труды Института системного программирования РАН. Том 30, выпуск 2, 2018 г. Стр. 45-64.
  25. Фокина Н.Ю., Соловьев М.А. Автоматизированная генерация декодеров машинных команд Труды Института системного программирования РАН. Том 30, выпуск 2, 2018 г. Стр. 65-80.
  26. Гонахчян В.И. Алгоритм удаления невидимых поверхностей на основе программных проверок видимости Труды Института системного программирования РАН. Том 30, выпуск 2, 2018 г. Стр. 81-98.
  27. Ефанов Д.В., Сапожников В.В., Сапожников Вл.В., Пивоваров Д.В. Организация полностью самопроверяемой схемы встроенного контроля на основе метода логического дополнения до равновесного кода «2 из 4» Труды Института системного программирования РАН. Том 30, выпуск 2, 2018 г. Стр. 99-112.
  28. Никешин А.В., Шнитман В.З. Обзор расширяемого протокола аутентификации и его методов Труды Института системного программирования РАН. Том 30, выпуск 2, 2018 г. Стр. 113-148.
  29. Азимов Р.Ш., Григорьев С.В. Синтаксический анализ графов с использованием конъюнктивных грамматик Труды Института системного программирования РАН. Том 30, выпуск 2, 2018 г. Стр. 149-166.
  30. Бурдонов И.Б., Косачев А.С. Проблема отката в ориентированной распределенной системе Труды Института системного программирования РАН. Том 30, выпуск 2, 2018 г. Стр. 167-194.
  31. Сытник А.А., Шульга Т.Э., Данилов Н.А. Онтология предметной области «Удобство использования программного обеспечения» Труды Института системного программирования РАН. Том 30, выпуск 2, 2018 г. Стр. 195-214.
  32. Гилязев Р.А., Турдаков Д.Ю. Активное обучение и краудсорсинг: обзор методов оптимизации разметки данных Труды Института системного программирования РАН. Том 30, выпуск 2, 2018 г. Стр. 215-250.
  33. Нужный А.С., Прозоров А.А., Бугаев В.И., Шувалов Н.Д., Подымов В.В. Анализ баллистокардиограммы на граничных вычислительных узлах Труды Института системного программирования РАН. Том 30, выпуск 2, 2018 г. Стр. 251-262.
  34. Смирнова Е.В., Марчевский И.К., Бондарчук В.О. Моделирование осесимметричных течений вязкой несжимаемой жидкости методом конечных элементов с частицами PFEM-2 в программном комплексе Kratos с открытым кодом Труды Института системного программирования РАН. Том 30, выпуск 2, 2018 г. Стр. 263-284.
  35. Корчагова В.Н., Фуфаев И.Н., Сауткина С.М., Лукин В.В. Математическое моделирование двумерных течений газа с использованием RKDG-метода на структурированных прямоугольных сетках Труды Института системного программирования РАН. Том 30, выпуск 2, 2018 г. Стр. 285-300.
  36. Авдеева А.Н., Пузикова В.В. Применение параллельных алгоритмов при численном моделировании кровотока в квазиодномерном приближении Труды Института системного программирования РАН. Том 30, выпуск 2, 2018 г. Стр. 301-316.
  37. Асрян С.А., Гайсарян С.С., Курмангалеев Ш.Ф., Агабалян А.М., Овсепян Н.Г., Саргсян С.С. Обнаружение ошибок, возникающих при использовании динамической памяти после освобождения Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 7-20.
  38. Дудина И.А. Статический анализ для поиска переполнения буфера: актуальные направления развитияалгоритмов Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 21-30.
  39. Лесовой С.Л. Извлечение архитектурной информации из исходного кода ARINC 653 совместимых приложений с использованием алгоритма CEGAR Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 31-46.
  40. Трифанов В.Ю. Вопросы индустриального применения синхронизационных контрактов при динамическом поиске гонок в Java-программах Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 47-62.
  41. Чебыкин А.Е., Кириленко Я.А. Применение глубокого машинного обучения к синтезу цепочки вызовов C# Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 63-86.
  42. Абакумов М.А., Довгалюк П.М. Скрытая отладка программ отладчиком WinDbg в эмуляторе Qemu Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 87-92.
  43. Иванов А.В., Довгалюк П.М., Макаров В.А. Конфигурируемый трассировщик системных вызовов в эмуляторе QEMU Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 93-98.
  44. Лаврищева Е.М., Пакулин Н.В., Рыжов А.Г., Зеленов С.В. Анализ методов оценки надежности оборудования и систем. Практика применения методов Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 99-120.
  45. Чепцов В.Ю., Хорошилов А.В. Эмуляция ввода-вывода оборудования с отображением в ОЗУ внутри ядер операционных систем Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 121-134.
  46. Маллачиев К.А., Хорошилов А.В Построение модульного программного обеспечения на основе однородной компонентой модели Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 135-148.
  47. А.А. Андрюхин Методы защиты децентрализованных автономных организаций от системных отказов и атак Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 149-164.
  48. Прокопьев С.Е. Нотация криптографической стековой машины версии один Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 165-182.
  49. Лебедев Д.А., Стотланд И.А. Построение модулей проверки на основе эталонных функциональных моделей при автономной верификации подсистемы связи Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 183-194.
  50. Петроченков М.В., Муштаков Р.Е., Шпагилев Д.И. Верификация контроллеров связи в системах на кристалле Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 195-206.
  51. Зосимов В.В., Христодоров А.В., Булгакова А.С. Программные решения для динамического изменения пользовательского интерфейса на основе автоматически собранной информации о пользователе Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 207-220.
  52. Горденко М.К., Авдошин С.М. Варианты задач китайского почтальона и их решения через преобразование в задачи маршрутизации Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 221-232.
  53. Береснева Е.Н., Авдошин С.М. Анализ математических постановок задачи маршрутизации с ограничением по грузоподъемности и методов их решения. Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 233-250.
  54. Береснева Е.Н., Горденко М.К. Применение методов системного анализа к оцениванию работы учебных ассистентов Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 251-270.
  55. Ильин Д.В., Фокина Н.Ю., Семенов В.А. Статический анализ зависимостей для семантической валидации данных Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 271-284.
  56. Нестеров Р.А., Мицюк А.А., Ломазова И.А. Симуляция поведения мультиагентных систем с ациклически взаимодействующими агентами Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 285-302.
  57. Гнатенко А.Р., Захаров В.А. О верификации конечных автоматов-преобразователей над полугруппами Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 303-324.
  58. Винарский Е.М., Захаров В.А. К проверке строго детерминированного поведения временных конечных автоматов Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 325-340.
  59. Словохотов Ю.Л., Неретин И.С. К построению модульной модели распределенного интеллекта Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 341-362.
  60. Головешкин А.В., Михалкович С.С. Толерантный синтаксический анализ с использованием специального символа «Any»: алгоритм и практическое применение Труды Института системного программирования РАН. Том 30, выпуск 4, 2018 г. Стр. 7-28.
  61. Адамович И.А., Климов Анд.В. Интерактивный специализатор подмножества языка Java, основанный на методе частичных вычислений Труды Института системного программирования РАН. Том 30, выпуск 4, 2018 г. Стр. 29-44.
  62. Киргизов Г.В., Кириленко Я.А. Библиотека программирования гетерогенных архитектур Труды Института системного программирования РАН. Том 30, выпуск 4, 2018 г. Стр. 45-62.
  63. Горелиц Н.К., Гукова А.С., Песков Е.В. Критерии, предъявляемые к программному обеспечению для разработки сложных сертифицируемых систем, критичных по безопасности Труды Института системного программирования РАН. Том 30, выпуск 4, 2018 г. Стр. 63-78.
  64. Кулик Т., Ларсен П.Г. К формальной верификации стандартов кибербезопасности Труды Института системного программирования РАН. Том 30, выпуск 4, 2018 г. Стр. 79-94.
  65. Путро П.А. Совмещение ACSL спецификаций с машинным кодом Труды Института системного программирования РАН. Том 30, выпуск 4, 2018 г. Стр. 95-106.
  66. Карраскель Х.С., Mоралес A., Виллаполь М. Е. Prosega/CPN: расширение CPN Tools для автоматного анализа и верификации систем Труды Института системного программирования РАН. Том 30, выпуск 4, 2018 г. Стр. 107-128.
  67. Чупилко М.М., Дроздова Е.А. Динамическая верификация контроллеров шин систем-на-кристалле Труды Института системного программирования РАН. Том 30, выпуск 4, 2018 г. Стр. 129-138.
  68. Твардовский А.С., Евтушенко Н.В. К синтезу адаптивных различающих последовательностей для конечных автоматов Труды Института системного программирования РАН. Том 30, выпуск 4, 2018 г. Стр. 139-154.
  69. Писарев И.А., Бабенко Л.К. Анализ безопасности протокола регистрации в системе электронного голосования на основе слепых посредников с помощью инструмента Avispa Труды Института системного программирования РАН. Том 30, выпуск 4, 2018 г. Стр. 155-168.
  70. Поляков А.Р., Корнилова А.В., Кириленко Я.А. Автоматическая калибровка и синхронизация камеры и МЭМС-датчиков Труды Института системного программирования РАН. Том 30, выпуск 4, 2018 г. Стр. 169-182.
  71. Мусатян С.А., Ломакин А.В., Сартасов С.Ю., Попыванов Л.К., Монахов И.Б., Чижова А.С. Способы сегментации медицинских изображений Труды Института системного программирования РАН. Том 30, выпуск 4, 2018 г. Стр. 183-194.
  72. Сачков В.Е. Применение ассоциативно-семантического препроцессора в интерактивных диалоговых системах на естественном языке Труды Института системного программирования РАН. Том 30, выпуск 4, 2018 г. Стр. 195-208.
  73. Лазарев Д.О., Кузюрин Н.Н. Об онлайновых алгоритмах для задач упаковки в контейнеры и полосы, их анализе в худшем случае и в среднем Труды Института системного программирования РАН. Том 30, выпуск 4, 2018 г. Стр. 209-230.
  74. Лаврищева Е.М., Петренко А.К. Информатика. становление программного обеспечения и технологий программных систем Труды Института системного программирования РАН. Том 30, выпуск 5, 2018 г. Стр. 7-30.
  75. Вишняков А.В., Нурмухаметов А.Р., Курмангалеев Ш.Ф., Гайсарян С.С. Метод анализа атак повторного использования кода Труды Института системного программирования РАН. Том 30, выпуск 5, 2018 г. Стр. 31-54.
  76. Дудина И.А., Малышев Н.Е. Об одном подходе к анализу строк в языке Си для поиска переполнения буфера Труды Института системного программирования РАН. Том 30, выпуск 5, 2018 г. Стр. 55-74.
  77. Кононов Д.С. Подход к анализу исполняемого кода на основе восстановления программной архитектуры Труды Института системного программирования РАН. Том 30, выпуск 5, 2018 г. Стр. 75-88.
  78. Кильдишев Д.С., Хорошилов А.В. Формализация метамодели системы управления требованиями Труды Института системного программирования РАН. Том 30, выпуск 5, 2018 г. Стр. 163-176.
  79. Левин М.П. Численное моделирование двухфазных потоков по существенно гетерогенным пористым средам по схеме квази-характеристик высокого порядка Труды Института системного программирования РАН. Том 30, выпуск 5, 2018 г. Стр. 197-212.
  80. Сороковикова О.С., Дзама Д.В., Асфандияров Д.Г. Специализированная робастная CFD RANS микромасштабная метеорологическая модель для моделирования атмосферных процессов и переноса примеси в условиях городской и промышленной застройки Труды Института системного программирования РАН. Том 30, выпуск 5, 2018 г. Стр. 213-234.
  81. Овчинников К.Д. Численное моделирование качки судна с шахтным устройством на встречном волнении Труды Института системного программирования РАН. Том 30, выпуск 5, 2018 г. Стр. 235-248.
  82. Зенкин В.А. Онтологический репозиторий для CFD-расчетов Труды Института системного программирования РАН. Том 30, выпуск 5, 2018 г. Стр. 249-264.
  83. Шишкин Е.С. Проверка функциональных свойств смарт-контрактов методом символьной верификации модели Труды Института системного программирования РАН. Том 30, выпуск 5, 2018 г. Стр. 265-288.
  84. Асланян А.К. Платформа межпроцедурного статического анализа бинарного кода Труды Института системного программирования РАН. Том 30, выпуск 5, 2018 г. Стр. 89-100.
  85. Степанов В.М., Довгалюк П.М., Полетаев Д.Н. Отслеживание операций с файловой системой ext3 в эмуляторе QEMU Труды Института системного программирования РАН. Том 30, выпуск 5, 2018 г. Стр. 101-108.
  86. Ковалёв С.Г. Получение содержимого удаляемых и изменяемых файлов в среде динамического анализа исполняемых файлов Drakvuf Труды Института системного программирования РАН. Том 30, выпуск 5, 2018 г. Стр. 109-122.
  87. Самонов А.В., Самонова Г.Н. Методика и средства разработки и верификации формальных fUML моделей требований и архитектуры сложных программно-технических систем Труды Института системного программирования РАН. Том 30, выпуск 5, 2018 г. Стр. 123-146.
  88. Козачок А.В. Спецификация модели управления доступом на языке темпоральной логики действий Лэмпорта Труды Института системного программирования РАН. Том 30, выпуск 5, 2018 г. Стр. 147-162.
  89. Алимова И.С., Тутубалина Е.В. Сравнительный анализ нейронных сетей в задаче классификации побочных эффектов на уровне сущностей в англоязычных текстах Труды Института системного программирования РАН. Том 30, выпуск 5, 2018 г. Стр. 177-196.
  90. Б.М. Шабанов, О.И. Самоваров Принципы построения межведомственного центра коллективного пользования общего назначения в модели программно-определяемого ЦОД Труды Института системного программирования РАН. Том 30, выпуск 6, 2018 г. Стр. 7-24.
  91. А.Ю. Герасимов, С.С. Саргсян, Ш.Ф. Курмангалеев, Дж.А. Акопян, С.А. Асрян, М.К. Ермаков Комбинирование динамического символьного исполнения, статического анализа кода и фаззинга Труды Института системного программирования РАН. Том 30, выпуск 6, 2018 г. Стр. 25-38.
  92. М.А. Соловьев, М.Г. Бакулин, М.С. Горбачев, Д.В. Манушин, В.А. Падарян, С.С. Панасенко О новом поколении промежуточных представлений, применяемом для анализа бинарного кода Труды Института системного программирования РАН. Том 30, выпуск 6, 2018 г. Стр. 39-68.
  93. И.Б. Бурдонов, Н.В. Евтушенко, А.С. Косачев Тестирование правил настройки сетевого коммутатора программно-конфигурируемой сети Труды Института системного программирования РАН. Том 30, выпуск 6, 2018 г. Стр. 69-88.
  94. А.В. Никешин, В.З. Шнитман Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета Труды Института системного программирования РАН. Том 30, выпуск 6, 2018 г. Стр. 89-104.
  95. Д.О. Лазарев, Н.Н. Кузюрин Алгоритм построения расписаний выполнения параллельных задач на группах кластеров с процессорами различной производительности и его анализ в среднем Труды Института системного программирования РАН. Том 30, выпуск 6, 2018 г. Стр. 105-122.
  96. Д.А. Грушин, Н.Н. Кузюрин О задаче эффективного управления вычислительной инфраструктурой Труды Института системного программирования РАН. Том 30, выпуск 6, 2018 г. Стр. 123-142.
  97. А.А. Васильев Статическая верификация безопасности доступа к памяти в модулях ядра ОС Linux Труды Института системного программирования РАН. Том 30, выпуск 6, 2018 г. Стр. 143-160.
  98. С.В. Козин Конфигурационная сборка варианта ядра Linux для прикладных систем Труды Института системного программирования РАН. Том 30, выпуск 6, 2018 г. Стр. 161-170.
  99. Я.Р. Недумов, С.Д. Кузнецов Исследовательский поиск научных статей Труды Института системного программирования РАН. Том 30, выпуск 6, 2018 г. Стр. 171-198.
  100. А.А. Аветисян, М.Д. Дробышевский, Д.Ю. Турдаков Методы анализа информационных потоков в сети Интернет Труды Института системного программирования РАН. Том 30, выпуск 6, 2018 г. Стр. 199-220.
  101. А.В. Глазкова Автоматический поиск фрагментов, содержащих биографическую информацию, в тексте на естественном языке Труды Института системного программирования РАН. Том 30, выпуск 6, 2018 г. Стр. 221-26.
  102. К.С. Петрищев, В.А. Золотов, В.А. Семёнов Система операторов для пространственно-временного анализа динамических сцен Труды Института системного программирования РАН. Том 30, выпуск 6, 2018 г. Стр. 237-258.
  103. М.В. Крапошин, С.В. Стрижак Проблемно-ориентированная библиотека SOWFA для решения прикладных задач ветроэнергетики Труды Института системного программирования РАН. Том 30, выпуск 6, 2018 г. Стр. 259-274.
  104. М.В. Крапошин Многомасштабный подход к моделированию сложных переходных процессов движения жидкостей в технических системах Труды Института системного программирования РАН. Том 30, выпуск 6, 2018 г. Стр. 275-292.
  105. А.В.Шокуров Минимальный базис модуля сизигий старших членов Труды Института системного программирования РАН. Том 30, выпуск 6, 2018 г. Стр. 293-304.
  106. А.М. Водовозов, Д.С. Полетаев Программирование цифрового линейно-фазового фильтра в архитектуре ARMv8-A Труды Института системного программирования РАН. Том 30, выпуск 6, 2018 г. Стр. 305-314.
  107. В.Г. Мельникова Тестирование различных методов моделирования внутренних течений несжимаемой жидкости Труды Института системного программирования РАН. Том 30, выпуск 6, 2018 г. Стр. 315-328.
  108. Н.А. Полибина Математическая модель процесса дегазации полимерного покрытия в условиях открытого космоса Труды Института системного программирования РАН. Том 30, выпуск 6, 2018 г. Стр. 329-340.
  109. Д.В. Буздалов, А.К. Петренко, А.В. Хорошилов О представлении модельного времени при помощи механизмов функционального программирования Труды Института системного программирования РАН. Том 30, выпуск 6, 2018 г. Стр. 341-366.
  110. В.В. Кулямин, А.К. Петренко, А.В. Хорошилов Компонентная верификация операционных систем Труды Института системного программирования РАН. Том 30, выпуск 6, 2018 г. Стр. 367-382.

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