Труды института системного программирования РАН
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Труды ИСП РАН:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


2019, том 31, выпуск 6  


Анализ корректности работы с памятью с использованием расширения теории символьных графов предикатами над символьными значениями
А. А. Васильев, В. С. Мутилин
7
Формальная модель обнаружения программных ошибок с помощью символьного исполнения программ
А. Ю. Герасимов, Д. О. Куц, А. А. Новиков
21
Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода
А. Б. Бугеря, В. Ю. Ефимов, И. И. Кулагин, В. А. Падарян, М. А. Соловьев, А. Ю. Тихонов
33
Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода
М. А. Соловьев, М. Г. Бакулин, С. С. Макаров, Д. В. Манушин, В. А. Падарян
65
Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ
Г. С. Иванов, П. М. Пальчиков, А. Ю. Тарасов, Г. С. Акимов, А. К. Асланян, В. Г. Варданян, М. С. Арутюнян, Г. С. Керопян
89
Обзор методов автоматизированной генерации эксплойтов повторного использования кода
А. В. Вишняков, А. Р. Нурмухаметов
99
Кэширование данных в мультиконтейнерных системах
Д. А. Грушин, Д. О. Лазарев, С. А. Фомин
125
О возможности стойкой обфускации программ в одной модели облачных вычислений
А. В. Шокуров, И. В. Абрамова, Н. П. Варновский, В. А. Захаров
145
Моделирование метеоусловий в районе порта и в прибрежной зоне залива Тикси
А. В. Иванов, С. В. Стрижак, М. И. Захаров
163
Моделирование динамики частиц в планетарном пограничном слое и в модельном ветропарке
К. Б. Кошелев, С. В. Стрижак
177
The effect of numerical dissipation on the predictive accuracy of wall-modelled large-eddy simulation
T. D. Mukha
187
Анализ полного сопротивления корпуса судна на различных скоростях хода
К. Д. Овчинников
195
Numerical study of effect of the turbulence initial conditions on transition flow over 2D airfoil
N. V. Tryaskin, Ali Rami
203
Исследование влияния регулярных магнитных полей на течения во внешних кольцах галактик
Е. А. Михайлов, И. Н. Сибгатуллин
215
Исследование условий возникновения эолова микрорельефа
Е. А. Малиновская
225
Применение сеточно-характеристического метода для решения задач распространения динамических волновых возмущений на высокопроизводительных вычислительных системах
Н. И. Хохлов, И. Б. Петров
237
Труды института системного программирования РАН
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2022