| Выпуск | Название | |
| Том 25 (2013) | Подход к обнаружению ошибок несоответствия типов в коде на динамических языках программирования | Аннотация PDF (Rus) |
| И. Е. Бронштейн | ||
| Том 29, № 5 (2017) | Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения | Аннотация PDF (Rus) |
| А. Ю. Герасимов, Л. В. Круглов, М. К. Ермаков, С. П. Вартанов | ||
| Том 34, № 2 (2022) | Подход к отображению данных для пользователей телемедицинских систем раннего обнаружения заболеваний по ЭКГ | Аннотация PDF (Eng) |
| Алексей Александрович БУСЕНКОВ, Эдуард Андреевич ХОЛОДОВ, Роман Сергеевич НОВИКОВ, Борис Аронович ПОЗИН | ||
| Том 37, № 1: январь-февраль | Подход к построению компиляторов нейронных сетей с использованием инфраструктуры 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: март-апрель | Поиск именованных сущностей в инструкциях по медицинскому применению лекарственных средств с использованием глубокого обучения и методов обработки естественного языка | Аннотация PDF (Rus) |
| Юрий Павлович ТИТОВ, Никита Владимирович КИЛЬМИШКИН, Дмитрий Дмитриевич КУБРАКОВ, Полина Михайловна ИВАНОВА | ||
| Том 34, № 6 (2022) | Поиск использований освобожденного ресурса в исходном коде на языке C# методами статического анализа | Аннотация PDF (Rus) |
| Ульяна Владимировна ТЯЖКОРОБ, Валерий Николаевич ИГНАТЬЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| Том 31, № 3 (2019) | Поиск конфликтов доступа к данным в HDL-описаниях | Аннотация PDF (Eng) |
| Александр Сергеевич Камкин, Михаил Сергеевич Лебедев, Сергей Александрович Смолов | ||
| Том 37, № 4: часть 1. июль-август | Поиск мёртвых вызовов функций как дефектов исходного кода методами статического анализа | Аннотация PDF (Eng) |
| Вера Игоревна ВАСИЛЬЕВА, Алексей Евгеньевич БОРОДИН, Александр Ефимович ВОЛКОВ | ||
| Том 29, № 6 (2017) | Поиск недостающих вызовов библиотечных функций с использованием машинного обучения | Аннотация PDF (Rus) |
| И. А. Якимов, А. С. Кузнецов | ||
| Том 35, № 3 (2023) | Поиск новых ошибок методом верификации моделей с помощью подхода дельта отладки | Аннотация PDF (Eng) |
| Олег Максимович ПЕТРОВ | ||
| Том 34, № 2 (2022) | Поиск ошибок в бинарном коде методами динамической символьной интерпретации | Аннотация PDF (Eng) |
| Алексей Вадимович ВИШНЯКОВ, Илай Александрович КОБРИН, Андрей Николаевич ФЕДОТОВ | ||
| Том 28, № 5 (2016) | Поиск ошибок выхода за границы буфера в бинарном коде программ | Аннотация PDF (Rus) |
| В. В. Каушан | ||
| Том 28, № 4 (2016) | Поиск ошибок доступа к буферу в программах на языке C/C++ | Аннотация PDF (Rus) |
| И. А. Дудина, В. К. Кошелев, А. Е. Бородин | ||
| Том 25 (2013) | Поиск повторяющихся фрагментов исходного кода при автоматическом рефакторинге | Аннотация PDF (Rus) |
| Н. Г. Зельцер | ||
| Том 27, № 2 (2015) | Поиск семантических ошибок, возникающих при некорректной адаптации скопированных участков кода | Аннотация PDF (Rus) |
| Севак Саргсян | ||
| Том 37, № 3: май-июнь | Поиск утечек памяти и ресурсов в статическом анализаторе Svace | Аннотация PDF (Rus) |
| Никита Евгеньевич МАЛЫШЕВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ, Виталий Адольфович СЕМЕНОВ | ||
| Том 33, № 1 (2021) | Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace | Аннотация PDF (Rus) |
| Алексей Евгеньевич БОРОДИН, Алексей Вячеславович ГОРЕМЫКИН, Сергей Павлович ВАРТАНОВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| Том 31, № 3 (2019) | Поиск уязвимостей при помощи статического анализа помеченных данных | Аннотация PDF (Eng) |
| Никита Владимирович Шимчик, Валерий Николаевич Игнатьев | ||
| Том 26, № 3 (2014) | Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами | Аннотация PDF (Rus) |
| В. В. Подымов, В. А. Захаров | ||
| Том 22 (2012) | Полиномиальный по времени алгоритм проверки логико-термальной эквивалентности программ | Аннотация PDF (Rus) |
| В. А. Захаров, Т. А. Новикова | ||
| Том 33, № 4 (2021) | Полная решающая процедура для теории ограниченной адресной арифметики | Аннотация PDF (Rus) |
| Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН | ||
| Том 31, № 2 (2019) | Полуавтоматический подход к параллельному решению задач с использованием модели Multi-BSP | Аннотация PDF (Rus) |
| Марсело Орландо Аланис, Серджо Энрике Несмачнов Кановас | ||
| Том 30, № 5 (2018) | Получение содержимого удаляемых и изменяемых файлов в среде динамического анализа исполняемых файлов Drakvuf | Аннотация PDF (Rus) |
| С. Г. Ковалёв | ||
| Том 33, № 1 (2021) | Последние тенденции в развитии подводной беспроводной сенсорной сети: систематический обзор литературы | Аннотация PDF (Rus) |
| Аиша ТАРИК, Фарук АЗАМ, Мухаммад Васим АНВАР, Тайиба ЗАХУР, Абдул Вахаб МУЗАФФАР | ||
| Том 37, № 2: март-апрель | Построение гидравлической модели теплообменного аппарата | Аннотация PDF (Rus) |
| Елена Сергеевна БАЙМЕТОВА, Мария Равилевна КОРОЛЕВА | ||
| Том 30, № 3 (2018) | Построение модулей проверки на основе эталонных функциональных моделей при автономной верификации подсистемы связи | Аннотация PDF (Eng) |
| Д. А. Лебедев, И. А. Стотланд | ||
| 780 - 820 из 1270 результатов | << < 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 > >> | |
Список названий
Популярные статьи
Том 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
