| Выпуск | Название | |
| Том 29, № 6 (2017) | Автоматизация разработки моделей устройств и вычислительных машин для QEMU | Аннотация PDF (Rus) |
| В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян | ||
| Том 33, № 5 (2021) | Автоматизация разработки на Vulkan: предметно-ориентированный подход | Аннотация PDF (Rus) |
| Владимир Александрович ФРОЛОВ, Вадим Владимирович САНЖАРОВ, Владимир Александрович ГАЛАКТИОНОВ, Александр Станиславович ЩЕРБАКОВ | ||
| Том 24 (2013) | Автоматизация регрессионного тестирования при помощи анализа трасс событий | Аннотация PDF (Rus) |
| Владимир Федотов | ||
| Том 18 (2010) | Автоматизация системного тестирования моделей аппаратуры на основе формальных спецификаций | Аннотация PDF (Rus) |
| М. М. Чупилко | ||
| Том 26, № 1 (2014) | Автоматизация тестирования соответствия для телекоммуникационных протоколов | Аннотация PDF (Rus) |
| Н. В. Пакулин, В. З. Шнитман, А. В. Никешин | ||
| Том 30, № 2 (2018) | Автоматизированная генерация декодеров машинных команд | Аннотация PDF (Rus) |
| Н. Ю. Фокина, М. А. Соловьев | ||
| Том 29, № 4 (2017) | Автоматизированная генерация типовых контрактов для языка Ruby | Аннотация PDF (Eng) |
| Н. Ю. Вьюгинов, В. С. Фондаратов | ||
| Том 33, № 3 (2021) | Автоматизированная система тестирования инструментов статического анализа кода | Аннотация PDF (Eng) |
| Дамир Маратович ГИМАТДИНОВ, Александр Юрьевич ГЕРАСИМОВ, Пётр Алексеевич ПРИВАЛОВ, Вероника Николаевна БУТКЕВИЧ, Наталья Андреевна ЧЕРНОВА, Анна Антоновна ГОРЕЛОВА | ||
| Том 36, № 3 (2024) | Автоматизированное извлечение фактов из табличных данных на основе семантического аннотирования таблиц | Аннотация PDF (Eng) |
| Никита Олегович ДОРОДНЫХ, Александр Юрьевич ЮРИН | ||
| Том 27, № 6 (2015) | Автоматизированное оперативное управление техногенными химико-технологическими объектами при возникновении запроектных аварийных ситуаций | Аннотация PDF (Rus) |
| Ю. Н. Матвеев, Н. А. Стукалова | ||
| Том 31, № 5 (2019) | Автоматизированное тестирование фронтенда транслятора TCG для Qemu | Аннотация PDF (Rus) |
| Дмитрий Сергеевич Колтунов, Василий Юрьевич Ефимов, Вартан Андроникович Падарян | ||
| Том 29, № 4 (2017) | Автоматизированный композициональный синтез моделей распределенных систем с помощью паттернов интерфейсов | Аннотация PDF (Eng) |
| Р. А. Нестеров, И. А. Ломазова | ||
| Том 26, № 3 (2014) | Автоматизированный метод построения эксплойтов для уязвимости переполнения буфера на стеке | Аннотация PDF (Rus) |
| В. А. Падарян, В. В. Каушан, А. Н. Федотов | ||
| Том 21 (2011) | Автоматическая генерация OpenCL-кода из гнезд циклов с помощью полиэдральной модели | Аннотация PDF (Rus) |
| Андрей Белеванцев, Алексей Кравец, Александр Монаков | ||
| Том 28, № 3 (2016) | Автоматическая генерация кода по вложенным сетям Петри для систем на основе событий на платформе Telegram | Аннотация PDF (Eng) |
| Д. И. Самохвалов, Л. В. Дворянский | ||
| Том 30, № 4 (2018) | Автоматическая калибровка и синхронизация камеры и МЭМС-датчиков | Аннотация PDF (Eng) |
| А. Р. Поляков, А. В. Корнилова, Я. А. Кириленко | ||
| Том 22 (2012) | Автоматическая настройка оптимизационных преобразований компилятора GCC для платформы ARM | Аннотация PDF (Rus) |
| Роман Жуйков, Дмитрий Плотников, Мамикон Варданян | ||
| Том 34, № 6 (2022) | Автоматическая разметка данных для сегментации изображений документов с использованием глубоких нейронных сетей | Аннотация PDF (Rus) |
| Андрей Анатольевич МИХАЙЛОВ | ||
| Том 28, № 6 (2016) | Автоматический анализ, декомпозиция и параллельная оптимизация больших однородных сетей | Аннотация PDF (Eng) |
| Д. Ю. Игнатов, А. Н. Филиппов, А. Д. Игнатов, С. . Чжан | ||
| Том 32, № 6 (2020) | Автоматический анализ дискретных динамических систем на метрических графах с помощью сетей Петри с временными дугами и инструмента TAPAAL | Аннотация PDF (Eng) |
| Леонид Владимирович ДВОРЯНСКИЙ, Александр Александрович ИЗМАЙЛОВ | ||
| Том 24 (2013) | Автоматический поиск ошибок синхронизации в приложениях на платформе Android | Аннотация PDF (Rus) |
| В. П. Иванников, С. П. Вартанов, М. К. Ермаков | ||
| Том 30, № 6 (2018) | Автоматический поиск фрагментов, содержащих биографическую информацию, в тексте на естественном языке | Аннотация PDF (Rus) |
| А. В. Глазкова | ||
| Том 28, № 5 (2016) | Автоматическое доказательство безопасности локальных пустых указателей | Аннотация PDF (Eng) |
| А. В. Когтенков | ||
| Том 31, № 5 (2019) | Автоматическое доказательство корректности программ с динамической памятью | Аннотация PDF (Rus) |
| Юрий Олегович Костюков, Константин Аланович Батоев, Дмитрий Александрович Мордвинов, Михаил Павлович Костицын, Александр Владимирович Мисонижник | ||
| Том 25 (2013) | Автоматическое извлечение новых концептов предметно-специфичных терминов | Аннотация PDF (Rus) |
| Н. А. Астраханцев | ||
| Том 26, № 4 (2014) | Автоматическое извлечение терминов из коллекции текстов предметной области с помощью Википедии | Аннотация PDF (Rus) |
| Н. А. Астраханце | ||
| Том 33, № 6 (2021) | Автоматическое исправление дефектов кода в системе Svace | Аннотация PDF (Rus) |
| Сергей Владимирович СЫРОМЯТНИКОВ | ||
| Том 28, № 5 (2016) | Автоматическое обнаружение использования неинициализированных значений в рамках полносистемной эмуляции | Аннотация PDF (Rus) |
| Н. А. Белов | ||
| Том 35, № 4 (2023) | Автоматическое определение сходства Javadoc-комментариев | Аннотация PDF (Rus) |
| Дмитрий Владимирович КОЗНОВ, Екатерина Юрьевна ЛЕДЕНЕВА, Дмитрий Вадимович ЛУЦИВ, Павел Исаакович БРАСЛАВСКИЙ | ||
| Том 36, № 5 (2024) | Автоматическое построение правил извлечения информации для новостных веб-сайтов | Аннотация PDF (Rus) |
| Сергей Сергеевич ДУБОВИЦКИЙ, Павел Александрович БЕДРИН, Александр Константинович ЯЦКОВ, Максим Игоревич ВАРЛАМОВ | ||
| Том 26, № 4 (2014) | Автоматическое распознавание предметно-специфичных терминов: экспериментальная проверка | Аннотация PDF (Rus) |
| Д. Г. Федоренко, Н. А. Астраханцев, Д. Ю. Турдаков | ||
| Том 26, № 4 (2014) | Автоматическое создание виртуальных кластеров Apache Spark в облачной среде Openstack | Аннотация PDF (Rus) |
| О. Д. Борисенко, Д. Ю. Турдаков, С. Д. Кузнецов | ||
| Том 34, № 4 (2022) | Автоматическое тестирование LLVM-программ со сложными входными структурами данных | Аннотация PDF (Rus) |
| Александр Владимирович МИСОНИЖНИК, Алексей Александрович БАБУШКИН, Сергей Антонович МОРОЗОВ, Юрий Олегович КОСТЮКОВ, Дмитрий Александрович МОРДВИНОВ, Дмитрий Владимирович КОЗНОВ | ||
| Том 31, № 3 (2019) | Автономная верификация IOMMU с поддержкой виртуализации | Аннотация PDF (Eng) |
| Антон Алексеевич Петрыкин, Ирина Аркадьевна Стотланд, Алексей Николаевич Мешков | ||
| Том 32, № 5 (2020) | Агрегация и нормализация гетерогенных данных в системах мониторинга информационной безопасности и обнаружения вторжений крупномасштабных промышленных КФС | Аннотация PDF (Eng) |
| Мария Анатольевна ПОЛТАВЦЕВА | ||
| Том 27, № 6 (2015) | Агрессивная инлайн-подстановка функций для VLIW-архитектур | Аннотация PDF (Rus) |
| А. В. Ермолицкий, М. И. Нейман-Заде, О. А. Четверина, А. Л. Маркин, В. Ю. Волконский | ||
| Том 30, № 2 (2018) | Активное обучение и краудсорсинг: обзор методов оптимизации разметки данных | Аннотация PDF (Rus) |
| Р. А. Гилязев, Д. Ю. Турдаков | ||
| Том 33, № 6 (2021) | Активное обучение и перенос знаний в задаче сегментации изображений документов | Аннотация PDF (Rus) |
| Дмитрий Маратович КИРАНОВ, Максим Алексеевич РЫНДИН, Илья Сергеевич КОЗЛОВ | ||
| Том 34, № 2 (2022) | Акторный подход к управлению бизнес-процессами разработки аналитических систем | Аннотация PDF (Eng) |
| Тимофей Михайлович ПРИБЫЛЕВ, Михаил Николаевич ЗАЙЦЕВ, Ольга Леонидовна ВИКЕНТЬЕВА | ||
| 40 - 78 из 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
