| Выпуск | Название | |
| Том 31, № 5 (2019) | Повышение эффективность фаззинга с помощью интервальных мутаций | Аннотация PDF (Eng) |
| Севак Сеникович Саргсян, Дживан Андраникович Акопян, Оганес Мушегович Мовсисян, Матевос Саргисович Меграбян, Ваагн Телемакович Сирунян, Шамиль Фаимович Курмангалеев | ||
| Том 36, № 3 (2024) | Поддержка Visual Basic .NET в статическом анализаторе SharpChecker | Аннотация PDF (Eng) |
| Вадим Сергеевич КАРЦЕВ, Валерий Николаевич ИГНАТЬЕВ | ||
| Том 28, № 3 (2016) | Поддержка выполнения проектов, ориентированных на данные, в современных предприятиях | Аннотация PDF (Eng) |
| А. Р. Топчян | ||
| Том 21 (2011) | Поддержка команд с условным выполнением в селективном планировщике команд | Аннотация PDF (Rus) |
| Дмитрий Мельник, Александр Монаков | ||
| Том 28, № 4 (2016) | Поддержка стандарта OpenMP 4.0 для архитектуры NVIDIA PTX в компиляторе GCC | Аннотация PDF (Rus) |
| А. В. Монаков, В. А. Иванишин | ||
| Том 32, № 2 (2020) | Подход автоматизации мониторинга дисковых носителей для системы оркестрации контейнеров Kubernetes | Аннотация PDF (Eng) |
| Анастасия Сергеевна ШЕМЯКИНСКАЯ, Игорь Валерьевич НИКИФОРОВ | ||
| Том 34, № 2 (2022) | Подход автоматического управления объектным хранилищем с помощью Operator SDK и Custom Resource Definition | Аннотация PDF (Eng) |
| Кирилл Максимович СТОНОЖЕНКО, Игорь Валерьевич НИКИФОРОВ, Сергей Михайлович УСТИНОВ | ||
| Том 23 (2012) | Подход для проведения рефакторинга «Выделение функции» в инструменте Klocwork Insight | Аннотация PDF (Rus) |
| Н. Л. Луговской | ||
| Том 30, № 5 (2018) | Подход к анализу исполняемого кода на основе восстановления программной архитектуры | Аннотация PDF (Rus) |
| Д. С. Кононов | ||
| Том 27, № 3 (2015) | Подход к верификации модуля прямого доступа к памяти | Аннотация PDF (Rus) |
| В. Н. Куцевол, А. Н. Мешков, М. П. Рыжов, П. В. Фролов | ||
| Том 22 (2012) | Подход к восстановлению потока управления запутанной программы | Аннотация PDF (Rus) |
| И. Н. Ледовских, М. Г. Бакулин | ||
| Том 27, № 3 (2015) | Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов | Аннотация PDF (Rus) |
| И. . Мельниченко, А. . Камкин, С. . Смолов | ||
| Том 34, № 2 (2022) | Подход к генерации тестовых программ для верификации когерентности памяти микропроцессоров «Эльбрус» | Аннотация PDF (Eng) |
| Владимир Андреевич АГАФОНОВ, Павел Викторович ФРОЛОВ, Алексей Николаевич МЕШКОВ | ||
| Том 36, № 2 (2024) | Подход к исследованию учебных планов, основанный на данных | Аннотация PDF (Eng) |
| Юри НАСУ, Михаил Сергеевич ДРОБИНИН, Марк Станиславович ЕФАНОВ, Вячеслав Владимирович ЛАНИН | ||
| Том 28, № 2 (2016) | Подход к обнаружению анти-паттернов в сервис-ориентированных системах | Аннотация PDF (Eng) |
| А. С. Югов | ||
| Том 25 (2013) | Подход к обнаружению ошибок несоответствия типов в коде на динамических языках программирования | Аннотация PDF (Rus) |
| И. Е. Бронштейн | ||
| Том 29, № 5 (2017) | Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения | Аннотация PDF (Rus) |
| А. Ю. Герасимов, Л. В. Круглов, М. К. Ермаков, С. П. Вартанов | ||
| Том 34, № 2 (2022) | Подход к отображению данных для пользователей телемедицинских систем раннего обнаружения заболеваний по ЭКГ | Аннотация PDF (Eng) |
| Алексей Александрович БУСЕНКОВ, Эдуард Андреевич ХОЛОДОВ, Роман Сергеевич НОВИКОВ, Борис Аронович ПОЗИН | ||
| Том 37, № 1 (2025) | Подход к построению компиляторов нейронных сетей с использованием инфраструктуры MLIR | Аннотация PDF (Rus) |
| Иван Иванович КУЛАГИН, Рубен Артурович БУЧАЦКИЙ, Михаил Вячеславович ПАНТИЛИМОНОВ, Андрей Викторович ВЯЗОВЦЕВ, Михаил Максимович РОМАНОВ, Дмитрий Михайлович МЕЛЬНИК | ||
| Том 27, № 3 (2015) | Подход к построению тестовых оракулов для подсистем памяти многоядерных микропроцессоров на основе моделей | Аннотация PDF (Rus) |
| Александр Камкин, Михаил Петроченков | ||
| Том 27, № 2 (2015) | Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java | Аннотация PDF (Rus) |
| М. К. Ермаков, С. П. Вартанов | ||
| Том 27, № 2 (2015) | Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java | Аннотация PDF (Rus) |
| М. К. Ермаков, С. П. Вартанов | ||
| Том 29, № 6 (2017) | Подход к реализации системы верифицированного исполнения программного кода | Аннотация PDF (Rus) |
| А. В. Козачок, Е. В. Кочетков | ||
| Том 32, № 3 (2020) | Подход к трансляции таблицы потоков коммутатора программно-конфигурируемой сети в язык ассемблера сетевого процессора | Аннотация PDF (Eng) |
| Андрей Александрович МАРКОБОРОДОВ, Юлия Александровна СКОБЦОВА, Дмитрий Юрьевич ВОЛКАНОВ | ||
| Том 28, № 3 (2016) | Подходы к автономной верификации кэш-памятей многоядерных микропроцессоров | Аннотация PDF (Eng) |
| М. В. Петроченков, И. А. Стотланд, Р. Е. Муштаков | ||
| Том 36, № 6 (2024) | Подходы к балансировке классов для улучшения оценок прогнозирования дефектов программного обеспечения | Аннотация PDF (Eng) |
| Ангел Хуан САНЧЕС-ГАРСИЯ, Рианьо Гектор Ксавьер ЛИМОН, Саул ДОМИНГЕС-ИСИДРО, Дан Хавьер ОЛВЕРА-ВИЙЕДА, Хуан Карлос ПЕРЕС-АРРИАГА | ||
| Том 28, № 6 (2016) | Подходы к определению основного места проживания пользователей социальных сетей на основе социального графа | Аннотация PDF (Rus) |
| Ю. С. Трофимович, И. С. Козлов, Д. Ю. Турдаков | ||
| Том 27, № 6 (2015) | Подходы к оптимизации движка JavaScript V8 | Аннотация PDF (Rus) |
| Дмитрий Бочарников | ||
| Том 32, № 3 (2020) | Подходы к отладке и обеспечению качества статического анализатора | Аннотация PDF (Eng) |
| Максим Александрович МЕНЬШИКОВ | ||
| Том 28, № 6 (2016) | Подходы к представлению результатов анализа сетевого трафика | Аннотация PDF (Rus) |
| А. И. Гетьман, Ю. В. Маркин, Д. О. Обыденков, В. А. Падарян, А. Ю. Тихонов | ||
| Том 35, № 3 (2023) | Подходы к развертыванию в распределенной обработке сложных событий | Аннотация PDF (Eng) |
| Арсений Андреевич ЗОРИН, Ирина Евгеньевна ЧЕРНЕЦКАЯ | ||
| Том 35, № 4 (2023) | Подходы к разработке системы обнаружения дефектов печатных плат на основе технологии АОИ | Аннотация PDF (Rus) |
| Татьяна Сергеевна ХОДАТАЕВА, Николай Владимирович КАШИРИН, Александра Ивановна АВЕРИНА, Артём Евгеньевич ГУРЬЯНОВ | ||
| Том 34, № 4 (2022) | Подходы, направленные на повышение эффективности фаззинг-тестирования компонентов защищенной ОС | Аннотация PDF (Rus) |
| Виктория Вячеславовна ЕГОРОВА, Алексей Сергеевич ПАНОВ, Владимир Юрьевич ТЕЛЕЖНИКОВ, Петр Николаевич ДЕВЯНИН | ||
| Том 33, № 1 (2021) | Поиск заимствований в армянских текстах путем внутреннего стилометрического анализа | Аннотация PDF (Rus) |
| Ева Максимовна ЕШИЛБАШЯН, Ариана Арменовна АСАТРЯН, Цолак Гукасович ГУКАСЯН | ||
| Том 37, № 2 (2025) | Поиск именованных сущностей в инструкциях по медицинскому применению лекарственных средств с использованием глубокого обучения и методов обработки естественного языка | Аннотация PDF (Rus) |
| Юрий Павлович ТИТОВ, Никита Владимирович КИЛЬМИШКИН, Дмитрий Дмитриевич КУБРАКОВ, Полина Михайловна ИВАНОВА | ||
| Том 34, № 6 (2022) | Поиск использований освобожденного ресурса в исходном коде на языке C# методами статического анализа | Аннотация PDF (Rus) |
| Ульяна Владимировна ТЯЖКОРОБ, Валерий Николаевич ИГНАТЬЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| Том 31, № 3 (2019) | Поиск конфликтов доступа к данным в HDL-описаниях | Аннотация PDF (Eng) |
| Александр Сергеевич Камкин, Михаил Сергеевич Лебедев, Сергей Александрович Смолов | ||
| Том 29, № 6 (2017) | Поиск недостающих вызовов библиотечных функций с использованием машинного обучения | Аннотация PDF (Rus) |
| И. А. Якимов, А. С. Кузнецов | ||
| Том 35, № 3 (2023) | Поиск новых ошибок методом верификации моделей с помощью подхода дельта отладки | Аннотация PDF (Eng) |
| Олег Максимович ПЕТРОВ | ||
| 742 - 780 из 1237 результатов | << < 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
