| Выпуск | Название | |
| Том 31, № 3 (2019) | «Жизнь» в тензорах: реализация клеточных автоматов на видеокартах | Аннотация PDF (Eng) |
| Наталья Андревна Шаляпина, Максим Леонидович Громов | ||
| Том 23 (2012) | «Ленивый» анализ исходного кода на языках С и С++ | Аннотация PDF (Rus) |
| В. О. Савицкий, Д. В. Сидоров | ||
| Том 29, № 3 (2017) | ADV_SPM - Формальные модели политики безопасности на практике | Аннотация PDF (Rus) |
| А. В. Хорошилов, И. В. Щепетков | ||
| Том 21 (2011) | Avalanche: Применение динамического анализа для автоматического обнаружения ошибок в программах использующих сетевые сокеты | Аннотация PDF (Rus) |
| И. К. Исаев, Д. В. Сидоров, А. Ю. Герасимов, М. К. Ермаков | ||
| Том 25 (2013) | Avalanche: применение параллельного и распределенного динамического анализа программ для ускорения поиска дефектов и уязвимостей | Аннотация PDF (Rus) |
| М. К. Ермаков, А. Ю. Герасимов | ||
| Том 37, № 3 (2025) | BERTScore для русского языка | Аннотация PDF (Rus) |
| Елена Павловна БРУЧЕС, Дари Тимуровна БАТУРОВА, Иван Юрьевич БОНДАРЕНКО | ||
| Том 32, № 1 (2020) | BSQ-rate: новый подход к сравнению производительности видеокодеков и недостатки существующих решений | Аннотация PDF (Rus) |
| Анастасия Всеволодовна Звездакова, Дмитрий Леонидович Куликов, Сергей Васильевич Звездаков, Дмитрий Сергеевич Ватолин | ||
| Том 31, № 3 (2019) | C# парсер для извлечения структуры криптографических протоколов из исходного кода | Аннотация PDF (Eng) |
| Илья Александрович Писарев, Людмила Климентьевна Бабенко | ||
| Том 32, № 4 (2020) | CASR: анализ coredump файлов в ОС Linux и составление отчётов об ошибках | Аннотация PDF (Rus) |
| Андрей Николаевич ФЕДОТОВ, Шамиль Фаимович КУРМАНГАЛЕЕВ | ||
| Том 29, № 4 (2017) | Cтохастические методы анализа комплексных программно-аппаратных систем | Аннотация PDF (Eng) |
| А. А. Карнов, С. В. Зеленов | ||
| Том 31, № 5 (2019) | DOOR: Подход к реструктуризации распределенных объектно-ориентированных систем на основе нейронных сетей | Аннотация PDF (Rus) |
| Ахмед Хан | ||
| Том 36, № 4 (2024) | GraphTyper: Вывод типов из графовой репрезентации кода посредством нейронных сетей | Аннотация PDF (Rus) |
| Герман Арсенович АРУТЮНОВ, Сергей Михайлович АВДОШИН | ||
| Том 36, № 5 (2024) | H1: гибридная система извлечения информации для поиска товаров в электронной торговле | Аннотация PDF (Rus) |
| Федор Владимирович КРАСНОВ | ||
| Том 32, № 2 (2020) | HP-граф как основа для разработки редактора визуальных моделей DSM-платформы | Аннотация PDF (Eng) |
| Николай Михайлович СУВОРОВ, Людмила Николаевна ЛЯДОВА | ||
| Том 34, № 6 (2022) | Irbis: статический анализатор помеченных данных для поиска уязвимостей в программах на C/C++ | Аннотация PDF (Rus) |
| Никита Владимирович ШИМЧИК, Валерий Николаевич ИГНАТЬЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| Том 27, № 3 (2015) | Iskra: Инструмент починки моделей процессов | Аннотация PDF (Rus) |
| И. Шугуров, А. Мицюк | ||
| Том 33, № 6 (2021) | Kotlin с точки зрения разработчика статического анализатора | Аннотация PDF (Rus) |
| Виталий Олегович АФАНАСЬЕВ, Сергей Андреевич ПОЛЯКОВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| Том 19 (2010) | MapReduce: внутри, снаружи или сбоку от параллельных СУБД? | Аннотация PDF (Rus) |
| С. Д. Кузнецов | ||
| Том 27, № 6 (2015) | Min_с: стратегия неоднородной концентрации задач для энергосберегающих компьютерных расписаний | Аннотация PDF (Rus) |
| Ф. Армента-Кано, А. Черных, Х. М. Кортес-Мендоза, Р. Яхьяпур, А. Ю. Дроздов, П. Буври, Д. Клязович, А. И. Аветисян, С. Несмачнов | ||
| Том 29, № 4 (2017) | Narrabat - прототип сервиса для пересказа новостей в формате стихотворений | Аннотация PDF (Eng) |
| И. И. Долгалева, И. А. Горшков, Р. Э. Яворский | ||
| Том 34, № 5 (2022) | Natch: Определение поверхности атаки программ с помощью отслеживания помеченных данных и интроспекции виртуальных машин | Аннотация PDF (Rus) |
| Павел Михайлович ДОВГАЛЮК, Мария Анатольевна КЛИМУШЕНКОВА, Наталья Игоревна ФУРСОВА, Владислав Михайлович СТЕПАНОВ, Иван Александрович ВАСИЛЬЕВ, Аркадий Алексеевич ИВАНОВ, Алексей Владимирович ИВАНОВ, Максим Геннадьевич БАКУЛИН, Данила Игоревич ЕГОРОВ | ||
| Том 33, № 3 (2021) | Power Fx: Low-code язык для инструментов совместной работы | Аннотация PDF (Eng) |
| Илья Александрович ВОРОНКОВ, Сергей Эрикович САРАДЖИШВИЛИ | ||
| Том 30, № 4 (2018) | Prosega/CPN: расширение CPN Tools для автоматного анализа и верификации систем | Аннотация PDF (Eng) |
| Х. С. Карраскель, А. Моралес, М. Е. Виллаполь | ||
| Том 28, № 2 (2016) | Refinement типы для языка Jolie | Аннотация PDF (Eng) |
| Александр Чичигин, Лариса Сафина, Мохамед Эльвакиль, Мануэль Маццара, Фабрицио Монтези, Виктор Ривера | ||
| Том 35, № 1 (2023) | Scrumility: фреймворк для оценки качества пользовательских историй | Аннотация PDF (Eng) |
| Клаудия ТОНА, Саманта ХИМЕНЕС, Рейес ХУАРЕС-РАМИРЕС, Рафаэль ГОНСАЛЕС ПАЧЕКО ЛОПЕС, Анхелес КЕСАДА, Сезар Артуро ГЕРРА ГАРСИА | ||
| Том 36, № 3 (2024) | SLAP – простая линейная атака на персептрон | Аннотация PDF (Rus) |
| Андрей Игоревич ПЕРМИНОВ | ||
| Том 37, № 3 (2025) | SLAVA: бенчмарк социально-политического ландшафта и ценностного анализа | Аннотация PDF (Rus) |
| Андрей Сергеевич ЧЕТВЕРГОВ, Ринат Саярович ШАРАФЕТДИНОВ, Марина Михайловна ПОЛУКОШКО, Вадим Аксанович АХМЕТОВ, Наталия Андреевна ОРУЖЕЙНИКОВА, Егор Сергеевич АНИЧКОВ, Ирина Сергеевна АЛЕКСЕЕВСКАЯ, Сергей Владимирович БОЛОВЦОВ, Павел Евгеньевич ГОЛОСОВ | ||
| Том 26, № 1 (2014) | Texterra: инфраструктура для анализа текстов | Аннотация PDF (Rus) |
| Денис Турдаков, Никита Астраханцев, Ярослав Недумов, Андрей Сысоев, Иван Андрианов, Владимир Майоров, Денис Федоренко, Антон Коршунов, Сергей Кузнецов | ||
| Том 36, № 2 (2024) | TQL: тематическое исследование внедрения предметно-ориентированного языка в продукт | Аннотация PDF (Eng) |
| Артём Дмитриевич БЕЛОУСОВ | ||
| Том 37, № 2 (2025) | TSAR: инструмент для оценки статических анализаторов | Аннотация PDF (Rus) |
| Кирилл Алексеевич ЧИБИСОВ, Рубен Артурович БУЧАЦКИЙ, Андрей Дмитриевич ТИМОНИН, Владислав Игоревич ЛАЗАРЬ, Дмитрий Михайлович ЖУРИХИН, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| Том 33, № 6 (2021) | Unidata: открытая компонентная платформа для разработки MDM-решений | Аннотация PDF (Rus) |
| Сергей Викторович КУЗНЕЦОВ, Алексей Владимирович ЦЫРЮЛЬНИКОВ, Дмитрий Владимирович КОЗНОВ | ||
| Том 23 (2012) | Web-приложения и данные: проблемы абстракции и масштабируемости | Аннотация PDF (Rus) |
| Андрей Посконин | ||
| Том 21 (2011) | WikifyMe: создание модели сравнения для викификаторов | Аннотация PDF (Rus) |
| С. О. Бартунов, А. А. Болдаков, Д. Ю. Турдаков | ||
| Том 36, № 3 (2024) | Автоматизация задачи прогнозирования рецидива рака шейки матки с помощью условной порождающей состязательной сети | Аннотация PDF (Rus) |
| Петр Андреевич ПЫЛОВ, Роман Вячеславович МАЙТАК, Ольга Николаевна ЧУРУКСАЕВА | ||
| Том 31, № 4 (2019) | Автоматизация обнаружения и анализа ошибок в гиперконвергентных системах | Аннотация PDF (Rus) |
| Денис Владимирович Силаков | ||
| Том 36, № 3 (2024) | Автоматизация подготовки ответов на требования налоговых органов с использованием обучения со слабым контролем | Аннотация PDF (Rus) |
| Артур Дмитриевич СОСНОВИКОВ, Денис Юрьевич ТУРДАКОВ | ||
| Том 22 (2012) | Автоматизация построения расписаний для периодических систем реального времени | Аннотация PDF (Rus) |
| Андрей Третьяков | ||
| Том 33, № 4 (2021) | Автоматизация проверки UML диаграмм, созданных студентами | Аннотация PDF (Eng) |
| Татьяна Сергеевна ГАШЕВА, Дмитрий Игоревич ВЛАСОВ, Андрей Валерьевич ОТИНОВ, Наталья Николаевна ДАЦУН | ||
| Том 34, № 2 (2022) | Автоматизация процесса экологического мониторинга в особо охраняемых природных территориях Российской Федерации на базе системы управления контентом Directum RX | Аннотация PDF (Rus) |
| Иван Дмитриевич РУДЬКО, Леонид Леонидович ХОРОШКО, Павел Петрович КЕЙНО | ||
| 1 - 39 из 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
