| Выпуск | Название | |
| Том 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: май-июнь | 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) |
| А. А. Карнов, С. В. Зеленов | ||
| Том 37, № 4: часть 2. июль-август | DIFFuzzer: обнаружение ошибок файловых систем с помощью дифференциального фаззинга серого ящика | Аннотация PDF (Eng) |
| Вячеслав Максимович КОВАЛЕВСКИЙ, Валерий Владимирович КЕЧИН, Владимир Михайлович ИЦЫКСОН | ||
| Том 31, № 5 (2019) | DOOR: Подход к реструктуризации распределенных объектно-ориентированных систем на основе нейронных сетей | Аннотация PDF (Rus) |
| Ахмед Хан | ||
| Том 36, № 4 (2024) | GraphTyper: Вывод типов из графовой репрезентации кода посредством нейронных сетей | Аннотация PDF (Rus) |
| Герман Арсенович АРУТЮНОВ, Сергей Михайлович АВДОШИН | ||
| Том 36, № 5 (2024) | H1: гибридная система извлечения информации для поиска товаров в электронной торговле | Аннотация PDF (Rus) |
| Федор Владимирович КРАСНОВ | ||
| Том 37, № 4: часть 1. июль-август | HOREC: компилятор специализированных регулярных выражений для проектирования программируемой и ресурсоэффективной аппаратной архитектуры | Аннотация PDF (Rus) |
| Пётр Николаевич СОВЕТОВ | ||
| Том 37, № 4: часть 1. июль-август | HOREC: компилятор специализированных регулярных выражений для проектирования программируемой и ресурсоэффективной аппаратной архитектуры | Аннотация |
| Петр Николаевич СОВЕТОВ | ||
| Том 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) |
| С. Д. Кузнецов | ||
| Том 37, № 4: часть 1. июль-август | MaxSMT-решатель, поддерживающий режим портфолио | Аннотация 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: май-июнь | SLAVA: бенчмарк социально-политического ландшафта и ценностного анализа | Аннотация PDF (Rus) |
| Андрей Сергеевич ЧЕТВЕРГОВ, Ринат Саярович ШАРАФЕТДИНОВ, Марина Михайловна ПОЛУКОШКО, Вадим Аксанович АХМЕТОВ, Наталия Андреевна ОРУЖЕЙНИКОВА, Егор Сергеевич АНИЧКОВ, Ирина Сергеевна АЛЕКСЕЕВСКАЯ, Сергей Владимирович БОЛОВЦОВ, Павел Евгеньевич ГОЛОСОВ | ||
| Том 37, № 4: часть 2. июль-август | Sydr-Fuzz: непрерывный гибридный фаззинг и динамический анализ для жизненного цикла безопасной разработки | Аннотация PDF (Rus) |
| Алексей Вадимович ВИШНЯКОВ, Даниил Олегович КУЦ, Влада Игоревна ЛОГУНОВА, Дарья Алексеевна ПАРЫГИНА, Илай Александрович КОБРИН, Георгий Анатольевич САВИДОВ, Андрей Николаевич ФЕДОТОВ | ||
| Том 26, № 1 (2014) | Texterra: инфраструктура для анализа текстов | Аннотация PDF (Rus) |
| Денис Турдаков, Никита Астраханцев, Ярослав Недумов, Андрей Сысоев, Иван Андрианов, Владимир Майоров, Денис Федоренко, Антон Коршунов, Сергей Кузнецов | ||
| Том 36, № 2 (2024) | TQL: тематическое исследование внедрения предметно-ориентированного языка в продукт | Аннотация PDF (Eng) |
| Артём Дмитриевич БЕЛОУСОВ | ||
| Том 37, № 2: март-апрель | 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) |
| Андрей Третьяков | ||
| 1 - 42 из 1287 результатов | 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
