| Выпуск | Название | |
| Том 31, № 3 (2019) | «Жизнь» в тензорах: реализация клеточных автоматов на видеокартах | Аннотация PDF (Eng) |
| Наталья Андревна Шаляпина, Максим Леонидович Громов | ||
| Том 23 (2012) | «Ленивый» анализ исходного кода на языках С и С++ | Аннотация PDF (Rus) |
| В. О. Савицкий, Д. В. Сидоров | ||
| Том 29, № 3 (2017) | ADV_SPM - Формальные модели политики безопасности на практике | Аннотация PDF (Rus) |
| А. В. Хорошилов, И. В. Щепетков | ||
| Том 38, № 1: январь-февраль | AnAT: состязательное дообучение с использованием якорей для метрик оценки качества изображений | Аннотация PDF (Rus) |
| Александр Евгеньевич ГУЩИН, Анастасия Всеволодовна АНЦИФЕРОВА, Дмитрий Сергеевич ВАТОЛИН | ||
| Том 21 (2011) | Avalanche: Применение динамического анализа для автоматического обнаружения ошибок в программах использующих сетевые сокеты | Аннотация PDF (Rus) |
| И. К. Исаев, Д. В. Сидоров, А. Ю. Герасимов, М. К. Ермаков | ||
| Том 25 (2013) | Avalanche: применение параллельного и распределенного динамического анализа программ для ускорения поиска дефектов и уязвимостей | Аннотация PDF (Rus) |
| М. К. Ермаков, А. Ю. Герасимов | ||
| Том 38, № 4: часть 2. июль-август | AWA: выравнивание весов на основе активаций для повышения устойчивости статических методов маркирования нейронных сетей | Аннотация 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) |
| Андрей Николаевич ФЕДОТОВ, Шамиль Фаимович КУРМАНГАЛЕЕВ | ||
| Том 38, № 5: сентябрь-октябрь | CPW: контроль целостности изображений на основе цифровых водяных знаков, перцептивного хеширования и цифровой подписи | Аннотация PDF (Rus) |
| Алексей Юрьевич ЯКУШЕВ, Александр Андреевич АКИМЕНКОВ, Дмитрий Олегович ОБЫДЕНКОВ, Халед Набиль АБУД, Сергей Евгеньевич ТОКАРЕВ, Юрий Витальевич МАРКИН | ||
| Том 29, № 4 (2017) | Cтохастические методы анализа комплексных программно-аппаратных систем | Аннотация PDF (Eng) |
| А. А. Карнов, С. В. Зеленов | ||
| Том 37, № 4: часть 2. июль-август | DIFFuzzer: обнаружение ошибок файловых систем с помощью дифференциального фаззинга серого ящика | Аннотация PDF (Eng) |
| Вячеслав Максимович КОВАЛЕВСКИЙ, Валерий Владимирович КЕЧИН, Владимир Михайлович ИЦЫКСОН | ||
| Том 38, № 5: сентябрь-октябрь | DIFFuzzer: шаг на пути к тестированию файловых систем на основе спецификаций | Аннотация PDF (Eng) |
| Александр Сергеевич ЯНИН, Владимир Михайлович ИЦЫКСОН, Валерий Владимирович КЕЧИН, Вячеслав Максимович КОВАЛЕВСКИЙ | ||
| Том 31, № 5 (2019) | DOOR: Подход к реструктуризации распределенных объектно-ориентированных систем на основе нейронных сетей | Аннотация PDF (Rus) |
| Ахмед Хан | ||
| Том 38, № 3: часть 2. май-июнь | DPN Verifier: Инструментарий для ускоренной верификации и исправления дефектных моделей процессов с данными | Аннотация PDF (Eng) |
| Николай Михайлович СУВОРОВ | ||
| Том 38, № 3: часть 2. май-июнь | DPN Verifier: Инструментарий для ускоренной верификации и исправления дефектных моделей процессов с данными | Аннотация PDF (Rus) |
| Николай Михайлович СУВОРОВ | ||
| Том 38, № 1: январь-февраль | Escape-анализ с экзистенциальными метками времени жизни | Аннотация PDF (Eng) |
| Андрей Сергеевич СТОЯН | ||
| Том 37, № 6: часть 2. ноябрь-декабрь | ExpressPrint: метод создания цифровых водяных знаков для визуальных базовых моделей | Аннотация PDF (Eng) |
| Анна Сергеевна ЧИСТЯКОВА, Михаил Александрович ПАУТОВ | ||
| Том 36, № 4 (2024) | GraphTyper: Вывод типов из графовой репрезентации кода посредством нейронных сетей | Аннотация PDF (Rus) |
| Герман Арсенович АРУТЮНОВ, Сергей Михайлович АВДОШИН | ||
| Том 36, № 5 (2024) | H1: гибридная система извлечения информации для поиска товаров в электронной торговле | Аннотация PDF (Rus) |
| Федор Владимирович КРАСНОВ | ||
| Том 37, № 4: часть 1. июль-август | HOREC: компилятор специализированных регулярных выражений для проектирования программируемой и ресурсоэффективной аппаратной архитектуры | Аннотация |
| Петр Николаевич СОВЕТОВ | ||
| Том 37, № 4: часть 1. июль-август | HOREC: компилятор специализированных регулярных выражений для проектирования программируемой и ресурсоэффективной аппаратной архитектуры | Аннотация PDF (Rus) |
| Пётр Николаевич СОВЕТОВ | ||
| Том 32, № 2 (2020) | HP-граф как основа для разработки редактора визуальных моделей DSM-платформы | Аннотация PDF (Eng) |
| Николай Михайлович СУВОРОВ, Людмила Николаевна ЛЯДОВА | ||
| Том 34, № 6 (2022) | Irbis: статический анализатор помеченных данных для поиска уязвимостей в программах на C/C++ | Аннотация PDF (Rus) |
| Никита Владимирович ШИМЧИК, Валерий Николаевич ИГНАТЬЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| Том 27, № 3 (2015) | Iskra: Инструмент починки моделей процессов | Аннотация PDF (Rus) |
| И. Шугуров, А. Мицюк | ||
| Том 38, № 5: сентябрь-октябрь | JavaCapsule: Итеративная генерация и отладка Java-кода на основе структурированной обратной связи | Аннотация 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) |
| Ф. Армента-Кано, А. Черных, Х. М. Кортес-Мендоза, Р. Яхьяпур, А. Ю. Дроздов, П. Буври, Д. Клязович, А. И. Аветисян, С. Несмачнов | ||
| Том 38, № 3: часть 1. май-июнь | MLManagement: автоматизация ML конвейеров с переиспользуемыми абстракциями и контролем доступа | Аннотация PDF (Eng) |
| Максим Алексеевич РЫНДИН, Александр Михайлович БОЙКО, Денис Олегович КУЩУК, Дмитрий Маратович КИРАНОВ | ||
| Том 29, № 4 (2017) | Narrabat - прототип сервиса для пересказа новостей в формате стихотворений | Аннотация PDF (Eng) |
| И. И. Долгалева, И. А. Горшков, Р. Э. Яворский | ||
| Том 34, № 5 (2022) | Natch: Определение поверхности атаки программ с помощью отслеживания помеченных данных и интроспекции виртуальных машин | Аннотация PDF (Rus) |
| Павел Михайлович ДОВГАЛЮК, Мария Анатольевна КЛИМУШЕНКОВА, Наталья Игоревна ФУРСОВА, Владислав Михайлович СТЕПАНОВ, Иван Александрович ВАСИЛЬЕВ, Аркадий Алексеевич ИВАНОВ, Алексей Владимирович ИВАНОВ, Максим Геннадьевич БАКУЛИН, Данила Игоревич ЕГОРОВ | ||
| Том 38, № 2: март-апрель | NewsXLM: Мультиязычный набор данных и модель для извлечения информации из новостных веб-страниц | Аннотация PDF (Eng) |
| Павел Александрович БЕДРИН, Максим Игоревич ВАРЛАМОВ, Александр Константинович ЯЦКОВ | ||
| Том 38, № 5: сентябрь-октябрь | OCSD: Исследование СОА-систем с помощью объектно-центрических диаграмм последовательности | Аннотация PDF (Eng) |
| Цзиньюй ЧЖОУ, Сергей Андреевич ШЕРШАКОВ | ||
| Том 37, № 6: часть 3. ноябрь-декабрь | PereFlex: инструмент для автоматической оценки восстановления после ошибок в синтаксических анализаторах | Аннотация PDF (Eng) |
| Ольга Игоревна БАЧИЩЕ, Ярослав Станиславович ВОРОБЬЕВ, Григорий Романович РАЙКИН, Дарья Владимировна ВАСИНА, Даниил Сергеевич ШУШАКОВ, Семён Вячеславович ГРИГОРЬЕВ | ||
| Том 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) |
| Александр Чичигин, Лариса Сафина, Мохамед Эльвакиль, Мануэль Маццара, Фабрицио Монтези, Виктор Ривера | ||
| Том 38, № 3: часть 4. май-июнь | RFCB: Оценка вызова функций для русского языка | Аннотация 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) |
| Алексей Вадимович ВИШНЯКОВ, Даниил Олегович КУЦ, Влада Игоревна ЛОГУНОВА, Дарья Алексеевна ПАРЫГИНА, Илай Александрович КОБРИН, Георгий Анатольевич САВИДОВ, Андрей Николаевич ФЕДОТОВ | ||
| Том 38, № 4: часть 2. июль-август | TDM: формальная модель данных для интеграции структурированных и неструктурированных данных | Аннотация 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) |
| С. О. Бартунов, А. А. Болдаков, Д. Ю. Турдаков | ||
| Том 38, № 3: часть 1. май-июнь | Автодополнение кода на основе LLM для языка программирования Python | Аннотация PDF (Rus) |
| Михаил Валериевич ВОЛКОВ, Александр Сергеевич БОЖНЮК, Дарья Владимировна ВАСИНА, Владимир Анатольевич ВАСИЛЬЕВ, Николай Владимирович ТРОПИН, Максим Борисович НИКИТИН, Дмитрий Владимирович КОЗНОВ | ||
| Том 36, № 3 (2024) | Автоматизация задачи прогнозирования рецидива рака шейки матки с помощью условной порождающей состязательной сети | Аннотация PDF (Rus) |
| Петр Андреевич ПЫЛОВ, Роман Вячеславович МАЙТАК, Ольга Николаевна ЧУРУКСАЕВА | ||
| 1 - 55 из 1495 результатов | 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 > >> | |
Список названий
Популярные статьи
Том 31, № 3 (2019)
Том 28, № 1 (2016)
Том 30, № 5 (2018)
Том 31, № 1 (2019)
Том 30, № 5 (2018)
Облако тегов
LLVM
большие языковые модели
верификация
высокопроизводительные вычисления
глубокое обучение
динамический анализ
информационная безопасность
искусственный интеллект
математическое моделирование
машинное обучение
моделирование
нейронные сети
облачные вычисления
обработка естественного языка
операционная система
параллельные вычисления
символьное выполнение
статический анализ
тестирование
фаззинг
численное моделирование
Уведомления
109004, Москва, ул. Александра Солженицына, 25
ИСП РАН
тел.: +7-495-912-44-25
e-mail: proceedings@ispras.ru
