| Выпуск | Название | |
| Том 28, № 3 (2016) | Применение ПЛИС для расчета деполимеризации микротрубочки методом броуновской динамики | Аннотация PDF (Rus) |
| Ю. А. Румянцев, П. Н. Захаров, Н. А. Абрашитова, А. В. Шматок, В. О. Рыжих, Н. Б. Гудимчук, Ф. И. Атауллаханов | ||
| Том 31, № 4 (2019) | Применение подхода Fuzzy-DEMATEL при анализе проблем мобильных приложений | Аннотация PDF (Rus) |
| Мамта Панди, Ратнеш Литория, Пратик Панди | ||
| Том 26, № 1 (2014) | Применение программных эмуляторов в задачах анализа бинарного кода | Аннотация PDF (Rus) |
| П. М. Довгалюк, В. А. Макаров, В. А. Падарян, М. С. Романеев, Н. И. Фурсова | ||
| Том 36, № 2 (2024) | Применение различных систем хранения для результатов анализа сетевого трафика | Аннотация PDF (Eng) |
| Владислав Игоревич ЕГОРОВ, Роман Евгеньевич ПОНОМАРЕНКО, Александр Игоревич ГЕТЬМАН | ||
| Том 27, № 3 (2015) | Применение раскрашенных сетей Петри для верификации распределенных систем, специфицированных MSC-диаграммами | Аннотация PDF (Rus) |
| Сергей Черненок, Валерий Непомнящий | ||
| Том 31, № 6 (2019) | Применение сеточно-характеристического метода для решения задач распространения динамических волновых возмущений на высокопроизводительных вычислительных системах | Аннотация PDF (Rus) |
| Николай Игоревич Хохлов, Игорь Борисович Петров | ||
| Том 28, № 6 (2016) | Применение словарей и векторов слов для автоматического построения лексической онтологии | Аннотация PDF (Eng) |
| Д. А. Усталов | ||
| Том 28, № 1 (2016) | Применение спектральных методов обработки данных к результатам численного моделирования аттракторов внутренних волн | Аннотация PDF (Rus) |
| М. Провидухина, И. Сибгатуллин | ||
| Том 34, № 4 (2022) | Применение статического анализа исходного кода для поиска проблем с производительностью: примеры из практики | Аннотация PDF (Eng) |
| Александр Юрьевич ГЕРАСИМОВ, Алексей Алексеевич КАНАХИН, Петр Алексеевич ПРИВАЛОВ, Андрей Александрович ЖУКОВ, Евгений Аркадьевич КАМИНСКИЙ | ||
| Том 27, № 1 (2015) | Применение статической бинарной инструментации с целью проведения динамического анализа программ для платформы ARM | Аннотация PDF (Rus) |
| М. К. Ермаков, С. П. Вартанов | ||
| Том 27, № 1 (2015) | Применение статической инструментации байт-кода языка Java для динамического анализа программ | Аннотация PDF (Rus) |
| С. П. Вартанов, М. К. Ермаков | ||
| Том 32, № 2 (2020) | Применение технологии машинного обучения для анализа вероятности выигрыша тендера на выполнение проекта | Аннотация PDF (Eng) |
| Никита Борисович КУЛЬТИН, Данила Никитич КУЛЬТИН, Роман Владимирович БАУЭР | ||
| Том 35, № 5 (2023) | Применение физически-обоснованной нейронной сети на примере моделирования гидродинамических процессов, допускающих аналитическое решение | Аннотация PDF (Rus) |
| Константин Борисович КОШЕЛЕВ, Сергей Владимирович СТРИЖАК | ||
| Том 37, № 1 (2025) | Применение формальных спецификаций системы команд для функционального тестирования языковых виртуальных машин | Аннотация PDF (Rus) |
| Александр Сергеевич ПРОЦЕНКО | ||
| Том 36, № 1 (2024) | Применение энтропии для обнаружения ошибок модулярного кода в системах надежного распределенного хранения | Аннотация PDF (Rus) |
| Виктор Андреевич КУЧУКОВ | ||
| Том 25 (2013) | Применение языка KAST для преобразования исходного кода и автоматического исправления дефектов | Аннотация PDF (Rus) |
| Н. Л. Луговской, С. В. Сыромятников | ||
| Том 33, № 3 (2021) | Применение языковых моделей в задаче извлечения оценочных отношений | Аннотация PDF (Rus) |
| Николай Леонидович РУСНАЧЕНКО | ||
| Том 37, № 2 (2025) | Применения программного обеспечения с открытым исходным кодом для схемотехнического моделирования при разработке аналоговых интегральных микросхем | Аннотация PDF (Eng) |
| Вадим Вадимович КУЗНЕЦОВ, Дмитрий Владимирович АНДРЕЕВ, Григорий Константинович ГРИШИН | ||
| Том 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) |
| М. К. Ермаков, А. Ю. Герасимов, Д. О. Куц, А. А. Новиков | ||
| Том 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) |
| Вениамин Тарасов, Сергей Малахов | ||
| 859 - 897 из 1237 результатов | << < 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
