| Выпуск | Название | |
| Том 28, № 2 (2016) | Применимость AutoProof: учебный пример верификации ПО | Аннотация PDF (Eng) |
| Мансур Хазеев, Виктор Ривера, Мануэль Маццара, Александр Чичигин | ||
| Том 31, № 5 (2019) | Примеры использования машинного обучения в кибербезопасности | Аннотация PDF (Rus) |
| Сергей Михайлович Авдошин, Александр Вячеславович Лазаренко, Наталия Игоревна Чичилева, Павел Андреевич Наумов, Петр Георгиевич Ключарев | ||
| Том 30, № 6 (2018) | Принципы построения межведомственного центра коллективного пользования общего назначения в модели программно-определяемого ЦОД | Аннотация PDF (Rus) |
| Б. М. Шабанов, О. И. Самоваров | ||
| Том 30, № 1 (2018) | Принципы построения системы обеспечения жизненного цикла ответственных систем | Аннотация PDF (Eng) |
| Б. А. Позин | ||
| Том 31, № 5 (2019) | Проактивная разметка примеров для адаптации к домену | Аннотация PDF (Rus) |
| Максим Алексеевич Рындин, Денис Юрьевич Турдаков | ||
| Том 35, № 5 (2023) | Проблема валидации современных систем исправления грамматических ошибок: случай ошибок на уровне символов | Аннотация PDF (Eng) |
| Владимир Миронович СТАРЧЕНКО, Алексей Миронович СТАРЧЕНКО | ||
| Том 36, № 4 (2024) | Проблема неопределенности в анализе трасс на основе высокоуровневых моделей в контексте динамической верификации | Аннотация PDF (Rus) |
| Алексей Александрович КАРНОВ | ||
| Том 30, № 2 (2018) | Проблема отката в ориентированной распределенной системе | Аннотация PDF (Rus) |
| И. Б. Бурдонов, А. С. Косачев | ||
| Том 30, № 6 (2018) | Проблемно-ориентированная библиотека SOWFA для решения прикладных задач ветроэнергетики | Аннотация PDF (Rus) |
| М. В. Крапошин, С. В. Стрижак | ||
| Том 26, № 1 (2014) | Проблемы двумерной упаковки и задачи оптимизации в распределенных вычислительных системах | Аннотация PDF (Rus) |
| Н. Н. Кузюрин, Д. А. Грушин, C. A. Фомин | ||
| Том 35, № 1 (2023) | Проблемы использования разговорных агентов для поддержки неформальных опекунов людей с деменцией | Аннотация PDF (Eng) |
| Саманта ХИМЕНЕС, Хесус ФАВЕЛА, Анхелес КЕСАДА, Радж РАМАЧАНДРАН, Рейес ХУАРЕС-РАМИРЕС | ||
| Том 27, № 3 (2015) | Проблемы обобщений C# и способы их решения с помощью концептов | Аннотация PDF (Rus) |
| Ю. В. Белякова, С. С. Михалкович | ||
| Том 29, № 1 (2017) | Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя | Аннотация PDF (Rus) |
| М. К. Ермаков, А. Ю. Герасимов, Д. О. Куц, А. А. Новиков | ||
| Том 37, № 4: часть 2. июль-август | Проверка ослабленной ленивой бездефектности для сетей Петри с данными | Аннотация PDF (Eng) |
| Николай Михайлович СУВОРОВ, Ирина Александровна ЛОМАЗОВА | ||
| Том 28, № 4 (2016) | Проверка параметризованных Promela-моделей протоколов когерентности памяти | Аннотация PDF (Eng) |
| В. С. Буренков, А. С. Камкин | ||
| Том 35, № 5 (2023) | Проверка программ на соответствие стандарту MISRA C с использованием инфраструктуры Clang | Аннотация PDF (Rus) |
| Рубен Артурович БУЧАЦКИЙ, Ян Андрееви ЧУРКИН, Кирилл Алексеевич ЧИБИСОВ, Михаил Вячеславович ПАНТИЛИМОНОВ, Егор Викторович ДОЛГОДВОРОВ, Андрей Викторович ВЯЗОВЦЕВ, Алексей Георгиевич ВОЛОХОВ, Владимир Владимирович ТРУНОВ, Гаяне Оганнесовна МИРАКЯН, Константин Николаевич КИТАЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| Том 30, № 5 (2018) | Проверка функциональных свойств смарт-контрактов методом символьной верификации модели | Аннотация PDF (Rus) |
| Е. С. Шишкин | ||
| Том 27, № 6 (2015) | Проверяющие эксперименты с ненаблюдаемым древовидными автоматами | Аннотация PDF (Rus) |
| Н. Г. Кушик | ||
| Том 36, № 6 (2024) | Прогнозирование случаев заражения COVID-19 в Мексике на основе моделей временных рядов | Аннотация PDF (Eng) |
| Кейла Басти КОРТЕС-МАРТИНЕС, Хуго ЭСТРАДА-ЭСКИВЕЛ, Алисия МАРТИНЕС-РЕБОЯР | ||
| Том 29, № 4 (2017) | Программа для мониторинга общественных настроений в России на основе сообщений из Twitter | Аннотация PDF (Eng) |
| С. И. Сметанин | ||
| Том 35, № 4 (2023) | Программа построения вполне интерпретируемых элементарных и неэлементарных квазилинейных регрессионных моделей | Аннотация PDF (Rus) |
| Михаил Павлович БАЗИЛЕВСКИЙ | ||
| Том 27, № 3 (2015) | Программа статистической обработки данных анализатора wireshark и исследование входящего трафика | Аннотация PDF (Rus) |
| Вениамин Тарасов, Сергей Малахов | ||
| Том 30, № 6 (2018) | Программирование цифрового линейно-фазового фильтра в архитектуре ARMv8 | Аннотация PDF (Rus) |
| А. М. Водовозов, Д. С. Полетаев | ||
| Том 22 (2012) | Программная конвейеризация циклов на платформе ARM | Аннотация PDF (Rus) |
| Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий | ||
| Том 34, № 1 (2022) | Программная реализация системы обработки метаграфов на основе подхода Больших Данных | Аннотация PDF (Eng) |
| Валерий Михайлович ЧЕРНЕНЬКИЙ, Иван Владимирович ДУНИН, Юрий Евгеньевич ГАПАНЮК | ||
| Том 36, № 5 (2024) | Программная среда выполнения методических прикладных тестов для численного исследования параметров высокопроизводительных вычислительных систем | Аннотация PDF (Rus) |
| Алексей Олегович ИГНАТЬЕВ, Сергей Юрьевич МОКШИН | ||
| Том 32, № 3 (2020) | Программно-аппаратный комплекс обработки данных для исследовательских и научных целей с использованием микрокомпьютера Raspberry Pi 3 | Аннотация PDF (Eng) |
| Павел Александрович ПАНКОВ, Игорь Валерьевич НИКИФОРОВ, Дмитрий Фёдорович ДРОБИНЦЕВ | ||
| Том 29, № 5 (2017) | Программное обеспечение для создания адаптивных сеток | Аннотация PDF (Rus) |
| А. Н. Семакин | ||
| Том 30, № 3 (2018) | Программные решения для динамического изменения пользовательского интерфейса на основе автоматически собранной информации о пользователе | Аннотация PDF (Rus) |
| В. В. Зосимов, А. В. Христодоров, А. С. Булгакова | ||
| Том 27, № 3 (2015) | Программные средства для организации и поддержки игровой дистанционной обучающей системы «3Ducation» | Аннотация PDF (Rus) |
| Лариса Зеленко, Дмитрий Конопелькин, Виталий Иванов, Александр Григорьев, Александр Семенов, Михаил Савачаев, Ефим Поберёзкин | ||
| Том 35, № 2 (2023) | Программный комплекс SIO для работы со структурированными данными | Аннотация PDF (Rus) |
| Алексей Олегович ИГНАТЬЕВ, Сергей Юрьевич МОКШИН | ||
| Том 31, № 6 (2019) | Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода | Аннотация PDF (Rus) |
| Александр Борисович Бугеря, Василий Юрьевич Ефимов, Иван Иванович Кулагин, Вартан Андроникович Падарян, Михаил Александрович Соловьев, Андрей Юрьевич Тихонов | ||
| Том 29, № 6 (2017) | Программный пакет для расчета аэродинамических характеристик летательных аппаратов | Аннотация PDF (Eng) |
| В. Н. Котеров, В. М. Кривцов, В. И. Зубов | ||
| Том 35, № 3 (2023) | Проектирование архитектуры системы мониторинга на основе паттернов проектирования | Аннотация PDF (Eng) |
| Александра Алексеевна ПАСЫНКОВА, Ольга Леонидовна ВИКЕНТЬЕВА | ||
| Том 32, № 6 (2020) | Проектирование высоконагруженных систем | Аннотация PDF (Rus) |
| Василий Андреевич РУДОМЕТКИН | ||
| Том 37, № 2: март-апрель | Проектирование и развитие механизма мандатного контроля целостности в операционной системе Astra Linux | Аннотация PDF (Rus) |
| Петр Николаевич ДЕВЯНИН, Алексей Александрович СТАРОСТИН, Денис Сергеевич ПАНОВ, Семен Владимирович УСАЧЕВ | ||
| Том 31, № 4 (2019) | Проектирование интерфейсов классов графовой модели нейронной сети | Аннотация PDF (Rus) |
| Юрий Леонидович Карпов, Ирина Анатольевна Волкова, Алексей Александрович Вылиток, Леонид Евгеньевич Карпов, Юрий Геннадьевич Сметанин | ||
| Том 29, № 5 (2017) | Проектирование моделей вариабельности для программных, операционных систем и их семейств | Аннотация PDF (Eng) |
| Е. М. Лаврищева, В. С. Мутилин, А. Г. Рыжов | ||
| Том 36, № 2 (2024) | Проектирование системы визуализации данных, основанной на языково-ориентированном подходе | Аннотация PDF (Eng) |
| Анна Даниеловна ДЖЕЙРАНЯН, Иван Денисович ЕРМАКОВ, Кирилл Александрович ПРОСКУРЯКОВ, Людмила Николаевна ЛЯДОВА | ||
| Том 18 (2010) | Прозрачный механизм удаленного обслуживания системных вызовов | Аннотация PDF (Rus) |
| П. Н. Яковенко | ||
| Том 34, № 1 (2022) | Прослеживаемость требований как основа проектирования функционально-логической архитектуры программной системы | Аннотация PDF (Eng) |
| Борис Аронович ПОЗИН, Григорий Наумович ЦИПЕРМАН | ||
| 903 - 943 из 1270 результатов | << < 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 > >> | |
Список названий
Популярные статьи
Том 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
