| Выпуск | Название | |
| Том 37, № 1: январь-февраль | Система статического анализа для языка описания аппаратуры SystemVerilog | Аннотация PDF (Rus) |
| Ян Андреевич ЧУРКИН, Рубен Артурович БУЧАЦКИЙ, Константин Николаевич КИТАЕВ, Алексей Георгиевич ВОЛОХОВ, Егор Викторович ДОЛГОДВОРОВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Дмитрий Олегович САМОВАРОВ | ||
| Том 34, № 2 (2022) | Система управления заданиями автоматизированного сбора данных из сети Интернет | Аннотация PDF (Rus) |
| Владимир Александрович ЛАЗАРЕВ, Максим Игоревич ВАРЛАМОВ, Александр Константинович ЯЦКОВ | ||
| Том 36, № 1 (2024) | Систематический обзор литературы по визуальному распознаванию событий с людьми: выявление значимых событий и их применение | Аннотация PDF (Eng) |
| Мария Луиза КОРДОБА-ТЛАКСКАЛЬТЕКО, Эдгард БЕНИТЕС-ГЕРРЕРО | ||
| Том 35, № 1 (2023) | Систематический обзор литературы по совершенствованию процессов разработки требований к программному обеспечению | Аннотация PDF (Eng) |
| Сильвия АЛЬМЕЙДА, Авраам ДАВИЛА | ||
| Том 35, № 1 (2023) | Систематический обзор литературы по стандарту ISO/IEC 29110 и образованию в области программной инженерии | Аннотация PDF (Eng) |
| Луис ВИВЕС, Карин МЕЛЕНДЕC, Авраам ДАВИЛА | ||
| Том 35, № 1 (2023) | Систематический обзор литературы по тестированию программного обеспечения в контексте DevOps | Аннотация PDF (Eng) |
| Брайан ПАНДО, Авраам ДАВИЛА | ||
| Том 22 (2012) | Системы рекомендаций: обзор современных подходов | Аннотация PDF (Rus) |
| А. Г. Гомзин, А. В. Коршунов | ||
| Том 30, № 3 (2018) | Скрытая отладка программ отладчиком WinDbg в эмуляторе Qemu | Аннотация PDF (Eng) |
| М. А. Абакумов, П. М. Довгалюк | ||
| Том 35, № 6 (2023) | Словарь Г.Ф. Миллера «Описание живущих в Казанской губернии языческих народов, яко то черемис, чуваш и вотяков...» как источник для изучения татарского языка XVIII века (на материале ЛингвоДок) | Аннотация PDF (Eng) |
| Фануза Шакуровна НУРИЕВА, Гульшат Раисовна ГАЛИУЛЛИНА, Айрат Фаикович ЮСУПОВ | ||
| Том 22 (2012) | Случайные графы, модели и генераторы безмасштабных графов | Аннотация PDF (Rus) |
| М. М. Берновски, Н. Н. Кузюрин | ||
| Том 29, № 4 (2017) | Смешанная задача китайского почтальона | Аннотация PDF (Eng) |
| М. К. Горденко, С. М. Авдошин | ||
| Том 33, № 1 (2021) | Смягчение неопределенности при разработке научных приложений в интегрированной среде | Аннотация PDF (Rus) |
| Андрей Николаевич ЧЕРНЫХ, Игорь Вячеславович БЫЧКОВ, Александр Геннадьевич ФЕОКТИСТОВ, Сергей Алексеевич ГОРСКИЙ, Иван Александрович СИДОРОВ, Роман Олегович КОСТРОМИН, Алексей Владимирович ЕДЕЛЕВ, Валерий Иванович ЗОРКАЛЬЦЕВ, Арутюн Ишханович АВЕТИСЯН | ||
| Том 26, № 2 (2014) | Снижение неоднозначности в оценке состояния объекта при управлении по прецедентам | Аннотация PDF (Rus) |
| Л. Е. Карпов, В. Н. Юдин | ||
| Том 32, № 4 (2020) | Совершенные множества путей в полном графе коммутаторов SDN-сети | Аннотация PDF (Rus) |
| Игорь Борисович БУРДОНОВ, Евгений Максимович ВИНАРСКИЙ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ | ||
| Том 36, № 6 (2024) | Совершенствование моделей оценки путем объединения независимых источников данных | Аннотация PDF (Eng) |
| Франсиско ВАЛЬДЕС-СОУТО, Хорхе ВАЛЕРИАНО-АССЕМ | ||
| Том 27, № 4 (2015) | Совместная вероятностная тематическая модель для идентификации проблемных высказываний, связанных нарушением функциональности продуктов | Аннотация PDF (Rus) |
| Е. В. Тутубалина | ||
| Том 30, № 4 (2018) | Совмещение ACSL спецификаций с машинным кодом | Аннотация PDF (Eng) |
| П. А. Путро | ||
| Том 27, № 3 (2015) | Совмещенный классификатор для фильтрации сообщений на веб сайтах | Аннотация PDF (Rus) |
| Вениамин Тарасов, Екатерина Мезенцева, Данила Карбаев | ||
| Том 26, № 3 (2014) | Современное состояние исследований в области обфускации программ: определения стойкости обфускации | Аннотация PDF (Rus) |
| Н. П. Варновский, В. А. Захаров, Н. Н. Кузюрин, А. В. Шокуров | ||
| Том 33, № 2 (2021) | Современное состояние методов расчёта глобальной освещённости в задачах реалистичной компьютерной графики | Аннотация PDF (Rus) |
| Владимир Александрович ФРОЛОВ, Алексей Геннадьевич ВОЛОБОЙ, Сергей Валентинович ЕРШОВ, Владимир Александрович ГАЛАКТИОНОВ | ||
| Том 27, № 5 (2015) | Современные методы аспектно-ориентированного анализа эмоциональной окраски | Аннотация PDF (Rus) |
| И. А. Андрианов, В. Д. Майоров, Д. Ю. Турдаков | ||
| Том 24 (2013) | Современные методы поиска и индексации многомерных данных в приложениях моделирования больших динамических сцен | Аннотация PDF (Rus) |
| В. А. Золотов, В. А. Семенов | ||
| Том 26, № 3 (2014) | Современные модели и методы теории расписаний | Аннотация PDF (Rus) |
| А. С. Аничкин, В. А. Семенов | ||
| Том 28, № 6 (2016) | Создание виртуальных кластеров Apache Spark в облачных средах с использованием систем оркестрации | Аннотация PDF (Rus) |
| О. Д. Борисенко, Р. К. Пастухов, С. Д. Кузнецов | ||
| Том 18 (2010) | Создание модулей поддержки архитектур для среды TrEx с помощью специализированного языка описания процессоров | Аннотация PDF (Rus) |
| П. М. Довгалюк, М. А. Климушенкова, А. М. Мухина | ||
| Том 27, № 3 (2015) | Создание приватного сервиса с использованием приложения CRYP2CHAT | Аннотация PDF (Rus) |
| Андрей Кирьянцев, Ирина Стефанова | ||
| Том 36, № 4 (2024) | Создание распределенных искусственных нейронных сетей на основе ортогональных преобразований | Аннотация PDF (Eng) |
| Николай Анатольевич ВЕРШКОВ, Михаил Григорьевич БАБЕНКО, Владислав Вячеславович ЛУЦЕНКО, Наталья Николаевна КУЧУКОВА | ||
| Том 29, № 4 (2017) | Создание тестовых данных для систем контроля и мониторинга рынка, содержащих встроенные алгоритмы машинного обучения | Аннотация PDF (Eng) |
| О. Москалёва, А. Громова | ||
| Том 36, № 2 (2024) | Соревнования по формальной верификации VeHa-2023: опыт проведения | Аннотация PDF (Rus) |
| Сергей Михайлович СТАРОЛЕТОВ, Дмитрий Александрович КОНДРАТЬЕВ, Наталья Олеговна ГАРАНИНА, Ирина Владимировна ШОШМИНА | ||
| Том 37, № 1: январь-февраль | Соревнования по формальной верификации VeHa-2024: накопленный в течение двух лет опыт и перспективы | Аннотация PDF (Rus) |
| Дмитрий Александрович КОНДРАТЬЕВ, Сергей Михайлович СТАРОЛЕТОВ, Ирина Владимировна ШОШМИНА, Анастасия Владимировна КРАСНЕНКОВА, Кирилл Викторович ЗИБОРОВ, Николай Вячеславович ШИЛОВ, Наталья Олеговна ГАРАНИНА, Тимофей Юрьевич ЧЕРГАНОВ | ||
| Том 26, № 4 (2014) | Сортировать или нет: экспериментальное сравнение R-Tree и B+-Tree в транзакционной системе для упорядоченной выдачи | Аннотация PDF (Rus) |
| П. В. Федотовский, Г. А. Ерохин, К. Е. Чередник, К. К. Смирнов, Г. А. Чернышев | ||
| Том 27, № 6 (2015) | Спектрально-аналитический метод распознавания неточных повторов в символьных последовательностях | Аннотация PDF (Rus) |
| А. Н. Панкратов, Р. К. Тетуев, М. И. Пятков, В. П. Тойгильдин, Н. Н. Попова | ||
| Том 30, № 5 (2018) | Специализированная робастная CFD RANS микромасштабная метеорологическая модель для моделирования атмосферных процессов и переноса примеси в условиях городской и промышленной застройки | Аннотация PDF (Rus) |
| О. С. Сороковикова, Д. В. Дзама, Д. Г. Асфандияров | ||
| Том 30, № 5 (2018) | Спецификация модели управления доступом на языке темпоральной логики действий Лэмпорта | Аннотация PDF (Rus) |
| А. В. Козачок | ||
| Том 34, № 3 (2022) | Сплоченность группы для системы коучинга в совместной среде | Аннотация PDF (Eng) |
| Алессандра РЕЙЕС-ФЛОРЕС, Кармен МЕЗУРА-ГОДОЙ, Эдгар БЕНИТЕС-ГЕРРЕРО, Луис Херардо МОНТАНЕ-ХИМЕНЕС | ||
| Том 32, № 6 (2020) | Способ маскирования передаваемой информации | Аннотация PDF (Rus) |
| Павел Владимирович ЗАКАЛКИН, Сергей Александрович ИВАНОВ, Елена Валерьевна ВЕРШЕННИК, Александр Владимирович КИРЬЯНОВ | ||
| Том 34, № 5 (2022) | Способ оценки похожести программ методами машинного обучения | Аннотация PDF (Rus) |
| Петр Дмитриевич БОРИСОВ, Юрий Владимирович КОСОЛАПОВ | ||
| Том 28, № 2 (2016) | Способ статической оценки времени работы компонентов AADL-моделей | Аннотация PDF (Eng) |
| А. М. Троицкий, Д. В. Буздалов | ||
| Том 30, № 4 (2018) | Способы сегментации медицинских изображений | Аннотация PDF (Eng) |
| С. А. Мусатян, А. В. Ломакин, С. Ю. Сартасов, Л. К. Попыванов, И. Б. Монахов, А. С. Чижова | ||
| Том 36, № 4 (2024) | Сравнение алгоритмов клонирования голоса в условиях нулевого и малого количества примеров | Аннотация PDF (Eng) |
| Ольга ОГАНЕСЯН, Давид САРГСЯН, Aртур МАЛАДЖЯН | ||
| Том 35, № 1 (2023) | Сравнение графовых векторных представлений исходного кода с текстовыми моделями на основе архитектур CNN и CodeBERT | Аннотация PDF (Rus) |
| Виталий Анатольевич РОМАНОВ, Владимир Владимирович ИВАНОВ | ||
| 1067 - 1107 из 1270 результатов | << < 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
