| Выпуск | Название | |
| Том 34, № 6 (2022) | Влияние трансформаций на успешность состязательных атак для классификаторов изображений Clipped BagNet и ResNet | Аннотация PDF (Rus) |
| Екатерина Олеговна КУРДЕНКОВА, Мария Сергеевна ЧЕРЕПНИНА, Анна Сергеевна ЧИСТЯКОВА, Константин Владимирович АРХИПЕНКО | ||
| Том 30, № 1 (2018) | Влияние частичности и адаптивности на сложность задачи идентификации состояний автомата | Аннотация PDF (Eng) |
| Х. Йенигун, Н. Евтушенко, Н. Кушик, Х Лопез | ||
| Том 31, № 6 (2019) | Влияние численной диссипации на расчетную точность метода моделирования крупных вихрей с пристенным моделированием | Аннотация PDF (Eng) |
| Тимофей Дмитриевич Муха | ||
| Том 26, № 2 (2014) | Внесение неисправностей в программу с использованием детерминированного воспроизведения | Аннотация PDF (Rus) |
| П. М. Довгалюк, Ю. В. Маркин | ||
| Том 32, № 6 (2020) | Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнения | Аннотация PDF (Rus) |
| Алексей Евгеньевич БОРОДИН, Ирина Александровна ДУДИНА | ||
| Том 28, № 3 (2016) | Возможности гибридного метода аппроксимации конвективных потоков при моделировании течений сжимаемых сред | Аннотация PDF (Rus) |
| М. В. Крапошин | ||
| Том 33, № 6 (2021) | Возможности и ограничения инструментов верификации моделей программ | Аннотация PDF (Eng) |
| Евгений Михайлович НОВИКОВ | ||
| Том 29, № 2 (2017) | Возможности статической верификации монолитного ядра операционных систем | Аннотация PDF (Rus) |
| Е. М. Новиков | ||
| Том 33, № 6 (2021) | Возникновение контрастных структур для галактического магнитного поля: теоретические оценки и моделирование на видеокартах | Аннотация PDF (Rus) |
| Евгений Александрович МИХАЙЛОВ, Татьяна Тимуровна ХАСАЕВА, Игорь Олегович ТЕПЛЯКОВ | ||
| Том 30, № 3 (2018) | Вопросы индустриального применения синхронизационных контрактов при динамическом поиске гонок в Java-программах | Аннотация PDF (Rus) |
| В. Ю. Трифанов | ||
| Том 22 (2012) | Восстановление структуры бинарных данных по трассам программ | Аннотация PDF (Rus) |
| А. И. Аветисян, А. И. Гетьман | ||
| Том 36, № 3 (2024) | Восстановление текстового слоя PDF документов со сложным фоном | Аннотация PDF (Rus) |
| Михаил Викторович ЗАГОРОДНИКОВ, Андрей Анатольевич МИХАЙЛОВ | ||
| Том 19 (2010) | Восстановление формата данных | Аннотация PDF (Rus) |
| А. И. Гетьман, Ю. В. Маркин, В. А. Падарян, Е. И. Щетинин | ||
| Том 32, № 4 (2020) | Временные причинно-упорядоченные процессы временных сетей Петри со «слабой» семантикой | Аннотация PDF (Eng) |
| Ирина Бонавентуровна ВИРБИЦКАЙТЕ, Алексей Юрьевич ЗУБАРЕВ | ||
| Том 37, № 4: часть 2. июль-август | Выбор ракурсов с помощью обратного рендеринга геометрических моделей для реконструкции материалов | Аннотация PDF (Rus) |
| Вадим Владимирович САНЖАРОВ, Владимир Александрович ФРОЛОВ, Владимир Александрович ГАЛАКТИОНОВ | ||
| Том 24 (2013) | Вывод типов для языка Python | Аннотация PDF (Rus) |
| И. Е. Бронштейн | ||
| Том 35, № 4 (2023) | Вызовы в реализации систем глубокого анализа сетевого трафика методом полного протокольного декодирования | Аннотация PDF (Rus) |
| Роман Евгеньевич ПОНОМАРЕНКО, Владислав Игоревич ЕГОРОВ, Александр Игоревич ГЕТЬМАН | ||
| Том 33, № 2 (2021) | Выполнимость мю-исчисления с арифметическими ограничениями | Аннотация PDF (Rus) |
| Йенсен ЛИМОН-ПРИЕГО, Исмаэль Эверардо БАРСЕНАС-ПАТИНЬО, Эдгард Иван БЕНЕТЕС-ГЕРРЕРО, Гильермо Хильберто МОЛЕРО-КАСТИЛЬО, Алехандро ВЕЛАСКЕС-МЕНА | ||
| Том 28, № 1 (2016) | Высокопроизводительное численное моделирование стратифицированных течений около клина в OpenFOAM | Аннотация PDF (Rus) |
| Н. Ф. Димитриева, Ю. Д. Чашечкин | ||
| Том 33, № 3 (2021) | Высокопроизводительный распределенный веб-скрапер | Аннотация PDF (Eng) |
| Денис Сергеевич ЭЙЗЕНАХ, Антон Сергеевич РАМЕЙКОВ, Игорь Валерьевич НИКИФОРОВ | ||
| Том 36, № 4 (2024) | Высокоскоростной метод перевода чисел из системы остаточных классов в позиционную систему счисления | Аннотация PDF (Eng) |
| Владислав Вячеславович ЛУЦЕНКО, Михаил Григорьевич БАБЕНКО, Мунис Мусинович ХАМИДОВ | ||
| Том 28, № 5 (2016) | Вычисление входных данных для достижения определенной функции в программе методом итеративного динамического анализа | Аннотация PDF (Rus) |
| А. Ю. Герасимов, Л. В. Круглов | ||
| Том 31, № 4 (2019) | Вычисление приоритетов срабатывания переходов для живых сетей Петри | Аннотация PDF (Eng) |
| Кирилл Геннадьевич Серебренников | ||
| Том 35, № 3 (2023) | Выявление REDoS cитуаций в регулярных выражениях структуры «домино» | Аннотация PDF (Eng) |
| Антонина Николаевна НЕПЕЙВОДА, Юлия Андреевна БЕЛИКОВА, Кирилл Константинович ШЕВЧЕНКО, Михаил Романович ТЕРЮХА, Данила Павлович КНЯЗИХИН, Александр Дмитриевич ДЕЛЬМАН, Анна Сергеевна ТЕРЕНТЬЕВА | ||
| Том 33, № 1 (2021) | Выявление неисправностей в группах мобильных роботов с использованием скользящих наблюдателей | Аннотация PDF (Rus) |
| Олег Юрьевич СЕРГИЕНКО, Алексей Нилович ЖИРАБОК | ||
| Том 36, № 4 (2024) | Выявление ошибок в программном модуле Pandas с помощью статического анализатора Svace | Аннотация PDF (Eng) |
| Мария Анатольевна ЛАПИНА, Максим Иванович ХОДАКОВ, Софья Кирилловна ГРОБОВА | ||
| Том 34, № 1 (2022) | Выявление функциональных требований в документации программного интерфейса приложения для функционального тестирования | Аннотация PDF (Eng) |
| Евгений Анатольевич ГЕРЛИЦ, Денис Степанович КИЛЬДИШЕВ, Алексей Владимирович ХОРОШИЛОВ | ||
| Том 31, № 2 (2019) | Выявление характерных особенностей программ для борьбы с компьютерным пиратством на основе интеллектуального анализа графов | Аннотация PDF (Rus) |
| Сохаил Сарвар, Зия Уль Кайум, Мухаммад Сафьян, Муддессар Икбал, Ясир Махмуд | ||
| Том 35, № 3 (2023) | Генератор дерева PSI с возможностью записи для мультиязыковой платформы IDE | Аннотация PDF (Eng) |
| Александр Сергеевич БОЖНЮК, Александр Александрович ЗАХАРОВ, Николай Владимирович ТРОПИН, Михаил Валериевич ВОЛКОВ | ||
| Том 28, № 6 (2016) | Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK | Аннотация PDF (Rus) |
| А. С. Камкин, А. М. Коцыняк, А. С. Проценко, А. Д. Татарников, М. М. Чупилко | ||
| Том 36, № 4 (2024) | Генерация временных рядов с пространственными взаимосвязями | Аннотация PDF (Eng) |
| Алена Михайловна КРОПАЧЕВА, Дмитрий Викторович ГИРДЮК, Илларион Лаврентьевич ИОВ, Антон Юрьевич ПЕРШИН | ||
| Том 28, № 3 (2016) | Генерация динамических ключей и подписей с зависимостью от времени | Аннотация PDF (Eng) |
| А. С. Кирьянцев, И. А. Стефанова | ||
| Том 37, № 5: сентябрь-октябрь | Генерация и отладка Java-кода с использованием больших языковых моделей на основе ассоциативной рекуррентной памяти | Аннотация PDF (Eng) |
| Владимир Игоревич ВАСИЛЕВСКИЙ, Дмитрий Владимирович АЛЕКСАНДРОВ | ||
| Том 35, № 2 (2023) | Генерация изображений рукописного текста на русском языке | Аннотация PDF (Rus) |
| Анастасия Олеговна БОГАТЕНКОВА, Оксана Владимировна БЕЛЯЕВА, Андрей Игоревич ПЕРМИНОВ | ||
| Том 32, № 3 (2020) | Генерация кодов для вещественной арифметики в архитектуре MIPS | Аннотация PDF (Eng) |
| Иван Сергеевич АРХИПОВ | ||
| Том 37, № 5: сентябрь-октябрь | Генерация компактных базисов системы остаточных классов | Аннотация PDF (Eng) |
| Владислав Вячеславович ЛУЦЕНКО, Михаил Григорьевич БАБЕНКО | ||
| Том 33, № 3 (2021) | Генерация сетей Петри с помощью структурных трансформаций, сохраняющих поведенческие свойства | Аннотация PDF (Eng) |
| Роман Александрович НЕСТЕРОВ, Семен Юрьевич САВЕЛЬЕВ | ||
| Том 29, № 4 (2017) | Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей | Аннотация PDF (Eng) |
| М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов | ||
| Том 18 (2010) | Генерация тестовых программ для микропроцессоров на основе шаблонов конвейерных конфликтов | Аннотация PDF (Rus) |
| Д. Н. Воробьев, А. С. Камкин | ||
| Том 28, № 4 (2016) | Генерация тестовых программ для подсистемы управления памятью MIPS64 на основе спецификаций | Аннотация PDF (Eng) |
| А. С. Камкин, А. М. Коцыняк | ||
| Том 28, № 4 (2016) | Генерация функциональных тестов для HDL-описаний на основе проверки моделей | Аннотация PDF (Eng) |
| М. С. Лебедев, С. А. Смолов | ||
| Том 33, № 5 (2021) | Гибкая разработка программного обеспечения для реконструкции жилья: землетрясение в Мексике в 2017 г. | Аннотация PDF (Eng) |
| Хавьер ОРТИС-ЭРНАНДЕС, Виктор Хосуэ РУИС-МАРТИНЕС, Мария Ясмин ЭРНАНДЕС-ПЕРЕС, Рито МИЯРЕС-КАСТРО | ||
| Том 31, № 2 (2019) | Гибридная модель для эффективного обнаружения аномалий в кратковременных последовательностях кривых блеска GWAC и аналогичных наборах данных | Аннотация PDF (Rus) |
| Инь Сан, Зиджун Жао, Сяобин Ма, Чжихуэй Ду | ||
| Том 37, № 6: часть 2. ноябрь-декабрь | Гибридный подход к направленному фаззингу | Аннотация PDF (Eng) |
| Дарья Алексеевна ПАРЫГИНА, Тимофей Павлович МЕЖУЕВ, Даниил Олегович КУЦ | ||
| Том 24 (2013) | Гибридный подход к построению систем поддержки решений | Аннотация PDF (Rus) |
| В. Н. Юдин, Л. Е. Карпов | ||
| 181 - 225 из 1333 результатов | << < 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, № 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
