| Выпуск | Название | |
| Том 33, № 2 (2021) | Новая интеллектуальная система для обнаружения сахарного диабета 2-го типа с модифицированной функцией потерь и регуляризацией | Аннотация PDF (Rus) |
| Маллика Г.К., Абир АЛЬСАДУН, Дуонг Тху Ханг ФАМ, Сальма Хамиди АБДУЛЛА, Ха Тхи МАЙ, П.В. Чандана ПРАСАД, Чан Куок Винь НГУЕН | ||
| Том 30, № 3 (2018) | Нотация криптографической стековой машины версии один | Аннотация PDF (Eng) |
| С. Е. Прокопьев | ||
| Том 30, № 3 (2018) | О верификации конечных автоматов-преобразователей над полугруппами | Аннотация PDF (Eng) |
| А. Р. Гнатенко, В. А. Захаров | ||
| Том 31, № 6 (2019) | О возможности стойкой обфускации программ в одной модели облачных вычислений | Аннотация PDF (Rus) |
| Александр Владимирович Шокуров, Ирина Валерьевна Абрамова, Николай Павлович Варновский, Владимир Анатолиевич Захаров | ||
| Том 30, № 1 (2018) | О возможностях автоматного описания параллельной композиции временных автоматов | Аннотация PDF (Rus) |
| А. С. Твардовский, А. В. Лапутенко | ||
| Том 36, № 4 (2024) | О времени реализации распределенных вычислений в синхронном режиме при ограниченном числе копий программного ресурса | Аннотация PDF (Rus) |
| Павел Александрович ПАВЛОВ | ||
| Том 27, № 4 (2015) | О дедуктивной верификации Си программ, работающих с разделяемыми данными | Аннотация PDF (Rus) |
| М. У. Мандрыкин, А. В. Хорошилов | ||
| Том 29, № 3 (2017) | О задаче приближенного нахождения максимальной двудольной клики | Аннотация PDF (Rus) |
| Н. Н. Кузюрин | ||
| Том 30, № 6 (2018) | О задаче эффективного управления вычислительной инфраструктурой | Аннотация PDF (Rus) |
| Д. А. Грушин, Н. Н. Кузюрин | ||
| Том 34, № 1 (2022) | О комбинированном алгоритме обнаружения заимствований в текстовых документах | Аннотация PDF (Rus) |
| Камиль Фанисович САФИН, Юрий Викторович ЧЕХОВИЧ | ||
| Том 24 (2013) | О методах деобфускации программ | Аннотация PDF (Rus) |
| Ш. Ф. Курмангалеев, К. Ю. Долгорукова, В. В. Савченко, А. Р. Нурмухаметов, Р. А. Матевосян, В. П. Корчагин | ||
| Том 36, № 3 (2024) | О методах извлечения алгоритмов из бинарного кода | Аннотация PDF (Rus) |
| Иван Иванович КУЛАГИН, Вартан Андроникович ПАДАРЯН, Вячеслав Александрович КОШКИН | ||
| Том 32, № 2 (2020) | О минимизации инициальных автоматов с таймаутами | Аннотация PDF (Eng) |
| Александр Сергеевич ТВАРДОВСКИЙ, Нина Владимировна ЕВТУШЕНКО | ||
| Том 20 (2011) | О моделировании счётчиков с бесконечным числом значений в обыкновенных сетях Петри | Аннотация PDF (Rus) |
| Л. В. Дворянский | ||
| Том 28, № 6 (2016) | О некоторых ограничениях полносистемного анализа помеченных данных « | Аннотация PDF (Rus) |
| М. А. Климушенкова, М. Г. Бакулин, В. А. Падарян, П. М. Довгалюк, Н. И. Фурсова, И. А. Васильев | ||
| Том 30, № 6 (2018) | О новом поколении промежуточных представлений, применяемых для анализа бинарного кода | Аннотация PDF (Rus) |
| М. А. Соловьев, М. Г. Бакулин, М. С. Горбачев, Д. В. Манушин, В. А. Падарян, С. С. Панасенко | ||
| Том 22 (2012) | О построении аппроксимирующих функций характеристик малого числа систем | Аннотация PDF (Rus) |
| Я. А. Хетагуров | ||
| Том 23 (2012) | О построении расписаний выполнения параллельных задач на группах кластеров с различной производительностью | Аннотация PDF (Rus) |
| С. Н. Жук | ||
| Том 30, № 6 (2018) | О представлении модельного времени при помощи механизмов функционального программирования | Аннотация PDF (Rus) |
| Д. В. Буздалов, А. К. Петренко, А. В. Хорошилов | ||
| Том 29, № 3 (2017) | О представлении результатов обратной инженерии бинарного кода | Аннотация PDF (Rus) |
| В. А. Падарян | ||
| Том 35, № 5 (2023) | О проблемах использования библиотеки OpenBLAS в продуктовом коде на RISC-V | Аннотация PDF (Rus) |
| Ксения Алексеевна ЗАЙЦЕВА, Валерия Валентиновна ПУЗИКОВА, Андрей Дмитриевич СОКОЛОВ | ||
| Том 35, № 2 (2023) | О проблемах при моделировании плоских течений вязкой жидкости при повышенных значениях числа Рейнольдса вихревыми методами в программном комплексе VM2D | Аннотация PDF (Rus) |
| Ирина Александровна КОРОБОВА, Евгения Павловна РЯТИНА, Анна Александровна ХОРОШЕВА | ||
| Том 29, № 3 (2017) | О проблеме представления формальной модели политики безопасности операционных систем | Аннотация PDF (Rus) |
| П. Н. Девянин | ||
| Том 37, № 2 (2025) | О размыве дна, вызванном взвешенной турбулентной струей | Аннотация PDF (Rus) |
| Александр Георгиевич ПЕТРОВ, Игорь Иванович ПОТАПОВ | ||
| Том 32, № 6 (2020) | О разработке Оберон-системы с заданными свойствами эргодичности | Аннотация PDF (Rus) |
| Дмитрий Викторович ДАГАЕВ | ||
| Том 36, № 3 (2024) | О разработке проекта национального стандарта ГОСТ Р «Защита информации. Формальная модель управления доступом. Часть 3. Рекомендации по разработке» | Аннотация PDF (Rus) |
| Петр Николаевич ДЕВЯНИН | ||
| Том 27, № 3 (2015) | О реализации формального метода верификации масштабируемых систем с когерентной памятью | Аннотация PDF (Rus) |
| Владимир Буренков | ||
| Том 34, № 5 (2022) | О решении одной задачи мелкой воды методом центральных разностей и коррекцией FCT | Аннотация PDF (Rus) |
| Игорь Иванович ПОТАПОВ, Павел Сергеевич ТИМОШ | ||
| Том 26, № 2 (2014) | О синтаксическом определении класса языков, распознаваемых недетерминированными машинами Тьюринга на логарифмической памяти | Аннотация PDF (Rus) |
| Д. А. Носов | ||
| Том 36, № 2 (2024) | Об автоматической генерации модульных тестов для Java-приложений, использующих фреймворк Spring | Аннотация PDF (Eng) |
| Кирилл Александрович ШИШИН, Илья Владимирович МУРАВЬЁВ, Егор Константинович КУЛИКОВ | ||
| Том 27, № 5 (2015) | Об интеграции формальных методов в задачах верификации операционных систем | Аннотация PDF (Rus) |
| А. К. Петренко, В. В. Кулямин, А. В. Хорошилов | ||
| Том 35, № 2 (2023) | Об использовании открытых сторонних библиотек при программной реализации вихревых методов вычислительной гидродинамики | Аннотация PDF (Rus) |
| Илья Константинович МАРЧЕВСКИЙ, Юлия Андреевна ИЗМАЙЛОВА, Мария Александровна ЕРОФЕЕВА, Дарья Юрьевна КОБЗАРЬ | ||
| Том 22 (2012) | Об одной задаче Коффмана-Шора, связанной с упаковкой прямоугольников в полосу | Аннотация PDF (Rus) |
| М. А. Трушников | ||
| Том 23 (2012) | Об одном методе построения схемы полного гомоморфного шифрования | Аннотация PDF (Rus) |
| А. В. Шокуров, К. В. Сергеев | ||
| Том 33, № 4 (2021) | Об одном методе синхронизации состояния алгоритма обработки пакетов в сетевом процессорном устройстве | Аннотация PDF (Eng) |
| Ярослав Константинович КУЗЬМИН, Дмитрий Юрьевич ВОЛКАНОВ, Юлия Александровна СКОБЦОВА | ||
| Том 30, № 5 (2018) | Об одном подходе к анализу строк в языке Си для поиска переполнения буфера | Аннотация PDF (Rus) |
| И. А. Дудина, Н. Е. Малышев | ||
| Том 30, № 4 (2018) | Об онлайновых алгоритмах для задач упаковки в контейнеры и полосы, их анализе в худшем случае и в среднем | Аннотация PDF (Rus) |
| Д. О. Лазарев, Н. Н. Кузюрин | ||
| Том 27, № 2 (2015) | Об особенностях детерминированного воспроизведения при минимальном наборе устройств | Аннотация PDF (Rus) |
| В. Ю. Ефимов, К. А. Батузов, В. А. Падарян | ||
| Том 33, № 4 (2021) | Об особенностях фаззинг-тестирования сетевых интерфейсов в условиях отсутствия исходных текстов | Аннотация PDF (Rus) |
| Иван Владимирович ШАРКОВ, Вартан Андроникович ПАДАРЯН, Петр Владимирович ХЕНКИН | ||
| Том 28, № 1 (2016) | Об оценках вычислительной сложности и погрешности быстрого алгоритма в методе вихревых элементов | Аннотация PDF (Rus) |
| К. С. Кузьмина, И. К. Марчевский | ||
| 561 - 600 из 1254 результатов | << < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 > >> | |
Список названий
Популярные статьи
Том 31, № 3 (2019)
Том 28, № 1 (2016)
Том 30, № 5 (2018)
Том 31, № 1 (2019)
Том 30, № 5 (2018)
Облако тегов
LLVM
OpenFOAM
QEMU
большие данные
верификация
динамический анализ
информационная безопасность
математическое моделирование
машинное обучение
моделирование
нейронные сети
облачные вычисления
обработка естественного языка
операционная система
параллельные вычисления
символьное выполнение
статический анализ
тестирование
фаззинг
формальные методы
численное моделирование
Уведомления
109004, Москва, ул. Александра Солженицына, 25
ИСП РАН
тел.: +7-495-912-44-25
e-mail: proceedings@ispras.ru
