| Выпуск | Название | |
| Том 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 (2025) | Соревнования по формальной верификации 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) |
| Виталий Анатольевич РОМАНОВ, Владимир Владимирович ИВАНОВ | ||
| Том 34, № 5 (2022) | Сравнение инструментов высокоуровневого синтеза и конструирования цифровой аппаратуры | Аннотация PDF (Rus) |
| Александр Сергеевич КАМКИН, Михаил Михайлович ЧУПИЛКО, Михаил Сергеевич ЛЕБЕДЕВ, Сергей Александрович СМОЛОВ, Георги ГАЙДАДЖИЕВ | ||
| Том 26, № 4 (2014) | Сравнение методик кластеризации частично упорядоченных множеств | Аннотация PDF (Rus) |
| А. А. Раскин | ||
| Том 27, № 3 (2015) | Сравнение моделей бизнес-процессов в формате BPMN 2.0 XML | Аннотация PDF (Rus) |
| Сергей Иванов, Анна Каленкова | ||
| Том 33, № 6 (2021) | Сравнение открытых маршрутов проектирования цифровой аппаратуры: qFlow, OpenLANE, Coriolis, SymbiFlow | Аннотация PDF (Rus) |
| Александр Сергеевич КАМКИН, Сергей Александрович СМОЛОВ, Михаил Михайлович ЧУПИЛКО | ||
| Том 34, № 5 (2022) | Сравнение системы обнаружения вторжений на основе машинного обучения с сигнатурными средствами защиты информации | Аннотация PDF (Rus) |
| Александр Игоревич ГЕТЬМАН, Максим Николаевич ГОРЮНОВ, Андрей Георгиевич МАЦКЕВИЧ, Дмитрий Александрович РЫБОЛОВЛЕВ | ||
| Том 22 (2012) | Сравнение сложностей задач нахождения базиса Гребнера идеала и решений этого идеала | Аннотация PDF (Rus) |
| А. В. Шокуров | ||
| Том 30, № 1 (2018) | Сравнение эффективности решателей разреженных систем линейных алгебраических уравнений на основе методов BiCGStab и FGMRES | Аннотация PDF (Rus) |
| И. К. Марчевский, В. В. Пузикова | ||
| Том 32, № 2 (2020) | Сравнительный анализ алгоритмов гомоморфного шифрования на основе обучения с ошибками | Аннотация PDF (Eng) |
| Михаил Григорьевич БАБЕНКО, Елена Игоревна ГОЛИМБЛЕВСКАЯ, Егор Михайлович ШИРЯЕВ | ||
| Том 29, № 3 (2017) | Сравнительный анализ двух подходов к статическому анализу помеченных данных | Аннотация PDF (Rus) |
| М. В. Беляев, Н. В. Шимчик, В. Н. Игнатьев, А. А. Белеванцев | ||
| Том 28, № 6 (2016) | Сравнительный анализ мер сходства, основанных на преобразовании скользящих аппроксимаций, в задачах классификации временных рядов | Аннотация PDF (Rus) |
| И. С. Алимова, В. Д. Соловьев, И. З. Батыршин | ||
| Том 27, № 6 (2015) | Сравнительный анализ методов оценки производительности многоуровневых облачных приложений | Аннотация PDF (Rus) |
| Г. Р. Гарай, А. Черных, А. Ю. Дроздов | ||
| Том 30, № 5 (2018) | Сравнительный анализ нейронных сетей в задаче классификации побочных эффектов на уровне сущностей в англоязычных текстах | Аннотация PDF (Rus) |
| И. С. Алимова, Е. В. Тутубалина | ||
| Том 23 (2012) | Сравнительный анализ параллельных алгоритмов соединения для среды MapReduce | Аннотация PDF (Rus) |
| А. Ю. Пигуль | ||
| Том 33, № 4 (2021) | Средства захвата и обработки высокоскоростного сетевого трафика | Аннотация PDF (Rus) |
| Дмитрий Викторович ЛАРИН, Александр Игоревич ГЕТЬМАН | ||
| Том 31, № 4 (2019) | Средства трассировки ОС РВ семейства «Багет» | Аннотация PDF (Rus) |
| Александр Николаевич Годунов, Федор Николаевич Чемерев | ||
| Том 26, № 1 (2014) | Средства функциональной верификации микропроцессоров | Аннотация PDF (Rus) |
| А. С. Камкин, А. М. Коцыняк, С. А. Смолов, А. Д. Татарников, М. М. Чупилко, А. А. Сортов | ||
| 1054 - 1092 из 1237 результатов | << < 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
