| Выпуск | Название | |
| Том 37, № 2 (2025) | Алгоритм выбора семантических мутаций в фаззинге по принципу серого ящика | Аннотация PDF (Rus) |
| Григорий Романович РАЙКИН, Максим Сергеевич ПЕЛЕВИН, Владимир Михайлович ИЦЫКСОН | ||
| Том 34, № 2 (2022) | Алгоритм генерации тестов из функциональной спецификации с использованием модели Open IE и кластеризации | Аннотация PDF (Eng) |
| Кирилл Сергеевич КОБЫШЕВ, Сергей Александрович МОЛОДЯКОВ | ||
| Том 33, № 4 (2021) | Алгоритм маркирования текстовых документов на основе изменения интервалов между словами, обеспечивающий устойчивость к преобразованию формата | Аннотация PDF (Rus) |
| Александр Васильевич КОЗАЧОК, Сергей Александрович КОПЫЛОВ, Павел Николаевич ГОРБАЧЕВ, Артур Евгеньевич ГАЙНОВ, Борис Владимирович КОНДРАТЬЕВ | ||
| Том 34, № 4 (2022) | Алгоритм поиска специалистов с уникальными навыками на основе цифрового следа | Аннотация PDF (Rus) |
| Александр Сергеевич ЛЕОНОВ, Андрей Александрович ЛАПТЕВ, Анастасия Александровна ЛАУШКИНА, Михаил Витальевич СИНЬКО, Олег Олегович БАСОВ | ||
| Том 30, № 6 (2018) | Алгоритм построения расписаний выполнения параллельных задач на группах кластеров с процессорами различной производительности и его анализ в среднем | Аннотация PDF (Rus) |
| Д. О. Лазарев, Н. Н. Кузюрин | ||
| Том 30, № 2 (2018) | Алгоритм удаления невидимых поверхностей на основе программных проверок видимости | Аннотация PDF (Rus) |
| В. И. Гонахчян | ||
| Том 29, № 6 (2017) | Алгоритм упаковки прямоугольников в несколько полос и анализ его точности в среднем | Аннотация PDF (Rus) |
| Д. О. Лазарев, Н. Н. Кузюрин | ||
| Том 34, № 1 (2022) | Алгоритмы обработки естественного языка для понимания семантики текста | Аннотация PDF (Rus) |
| Дархан Оракбаевич ЖАКСЫБАЕВ, Гулбаршын Нурлановна МИЗАМОВА | ||
| Том 34, № 1 (2022) | Алгоритмы планирования вычислений с учетом избыточности и неопределенности | Аннотация PDF (Rus) |
| Александр Геннадьевич ФЕОКТИСТОВ, Роман Олегович КОСТРОМИН, Сергей Алексеевич ГОРСКИЙ, Игорь Вячеславович БЫЧКОВ, Андрей Николаевич ЧЕРНЫХ, Ольга Юрьевна БАШАРИНА | ||
| Том 23 (2012) | Алгоритмы управления буферным пулом СУБД при работе с флэш-накопителями | Аннотация PDF (Rus) |
| С. Д. Кузнецов, А. А. Прохоров | ||
| Том 32, № 3 (2020) | Анализ активности студентов на курсах онлайн-обучения на основе логов платформы «OpenEdu» | Аннотация PDF (Eng) |
| Никита Дмитриевич БАРСУКОВ, Иван Михайлович СЫСОЕВ, Алина Александровна ПЕРЕСКОКОВА, Игорь Валерьевич НИКИФОРОВ, Денисс ПОСМЕТНЫЙС | ||
| Том 35, № 3 (2023) | Анализ актуальных ошибок в ядре Linux путем кластеризации сообщений об исправлениях в git-репозитории | Аннотация PDF (Eng) |
| Сергей Михайлович СТАРОЛЕТОВ, Никита Александрович СТАРОВОЙТОВ, Николай Андреевич ГОЛОВНЕВ | ||
| Том 30, № 2 (2018) | Анализ баллистокардиограммы на граничных вычислительных узлах | Аннотация PDF (Rus) |
| А. С. Нужный, А. А. Прозоров, В. И. Бугаев, Н. Д. Шувалов, В. В. Подымов | ||
| Том 35, № 6 (2023) | Анализ безопасности проекта национального стандарта «Нейросетевые алгоритмы в защищенном исполнении. Автоматическое обучение нейросетевых моделей на малых выборках в задачах классификации» | Аннотация PDF (Rus) |
| Роман Александрович РОМАНЕНКОВ, Григорий Борисович МАРШАЛКО, Юлия Анатольевна ТРУФАНОВА | ||
| Том 30, № 4 (2018) | Анализ безопасности протокола регистрации в системе электронного голосования на основе слепых посредников с помощью инструмента Avispa | Аннотация PDF (Eng) |
| И. А. Писарев, Л. К. Бабенко | ||
| Том 32, № 3 (2020) | Анализ загруженности трафика на главных улицах электронного города c применением индекса перегрузки и искусственной нейронной сети (на примере города Хамедан) | Аннотация PDF (Rus) |
| Мехди ШИРМОХАММАДИ, Мансур ЭСМАИЛПУР | ||
| Том 35, № 3 (2023) | Анализ и исчисление алиасов, основанное на сегментированной модели адресации памяти | Аннотация PDF (Eng) |
| Игорь Андреевич ПАРФЕНОВ | ||
| Том 37, № 3 (2025) | Анализ и разработка методов очищения для защит метрик качества изображений | Аннотация PDF (Rus) |
| Александр Евгеньевич ГУЩИН, Анастасия Всеволодовна АНЦИФЕРОВА, Дмитрий Сергеевич ВАТОЛИН | ||
| Том 31, № 6 (2019) | Анализ корректности работы с памятью с использованием расширения теории символьных графов предикатами над символьными значениями | Аннотация PDF (Rus) |
| Антон Александрович Васильев, Вадим Сергеевич Мутилин | ||
| Том 31, № 5 (2019) | Анализ корректности синхронизации компонентов ядра операционных систем | Аннотация PDF (Rus) |
| Павел Сергеевич Андрианов | ||
| Том 30, № 3 (2018) | Анализ математических постановок задачи маршрутизации с ограничением по грузоподъемности и методов их решения | Аннотация PDF (Eng) |
| Е. Н. Береснева, С. М. Авдошин | ||
| Том 30, № 3 (2018) | Анализ методов оценки надежности оборудования и систем. Практика применения методов | Аннотация PDF (Rus) |
| Н. В. Пакулин, Е. М. Лаврищева, А. Г. Рыжов, С. В. Зеленов | ||
| Том 31, № 6 (2019) | Анализ полного сопротивления корпуса судна на различных скоростях хода | Аннотация PDF (Rus) |
| Кирилл Дмитриевич Овчинников | ||
| Том 29, № 3 (2017) | Анализ программ на языке Java в инструменте Svace | Аннотация PDF (Rus) |
| А. П. Меркулов, С. А. Поляков, А. А. Белеванцев | ||
| Том 34, № 1 (2022) | Анализ регулярности матриц | Аннотация PDF (Rus) |
| Игорь Борисович БУРДОНОВ, Алексей Александрович КАРНОВ | ||
| Том 32, № 2 (2020) | Анализ российского программного обеспечения для поддержки жизненного цикла разработки бортовых систем в условиях политики импортозамещения | Аннотация PDF (Eng) |
| Наталья Кирилловна ГОРЕЛИЦ, Александра Сергеевна ГУКОВА, Дмитрий Владимирович КРАСНОЩЕКОВ | ||
| Том 35, № 4 (2023) | Анализ системы контроля доступа в гетерогенных системах больших данных | Аннотация PDF (Rus) |
| Мария Анатольевна ПОЛТАВЦЕВА, Максим Олегович КАЛИНИН | ||
| Том 26, № 1 (2014) | Анализ социальных сетей: методы и приложения | Аннотация PDF (Rus) |
| Антон Коршунов, Иван Белобородов, Назар Бузун, Валерий Аванесов, Роман Пастухов, Кирилл Чихрадзе, Илья Козлов, Андрей Гомзин, Иван Андрианов, Андрей Сысоев, Степан Ипатов, Илья Филоненко, Кристина Чуприна, Денис Турдаков, Сергей Кузнецов | ||
| Том 27, № 2 (2015) | Анализ сущностей программ на языках Си/Си++ и связей между ними для понимания программ | Аннотация PDF (Rus) |
| А. А. Белеванцев, Е. А. Велесевич | ||
| Том 22 (2012) | Анализ типовых ошибок в драйверах операционной системы Linux | Аннотация PDF (Rus) |
| В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
| Том 31, № 1 (2019) | Анализ характера изменений программ и поиск неисправленных фрагментов кода | Аннотация PDF (Rus) |
| Марьям Сероповна Арутюнян, Григорий Сергеевич Иванов, Вааг Геворгович Варданян, Айк Каренович Асланян, Арутюн Ишханович Аветисян, Шамиль Фаимович Курмангалеев | ||
| Том 24 (2013) | Анализ эффективности итерационных методов решения систем линейных алгебраических уравнений, реализованных в пакете OpenFOAM | Аннотация PDF (Rus) |
| И. К. Марчевский, В. В. Пузикова | ||
| Том 33, № 3 (2021) | Аналитика в реальном времени, гибридная транзакционная/аналитическая обработка, управление данными в основной памяти и энергонезависимая память | Аннотация PDF (Rus) |
| Сергей Дмитриевич КУЗНЕЦОВ, Павел Евгеньевич ВЕЛИХОВ, Цян ФУ | ||
| Том 36, № 5 (2024) | Аналитический обзор методов проектирования систем безопасности в телемедицинских системах | Аннотация PDF (Rus) |
| Мария Анатольевна ЛАПИНА, Елена Александровна МАКСИМОВА, Виталий Геннадьевич ЛАПИН, Никита Сергеевич БОЙКОВ | ||
| Том 20 (2011) | Архитектура Linux Driver Verification | Аннотация PDF (Rus) |
| В. С. Мутилин, Е. М. Новиков, А. В. Страх, А. В. Хорошилов, П. Е. Швед | ||
| Том 26, № 1 (2014) | Архитектура и особенности реализации платформы UniHUB в модели облачных вычислений на базе открытого пакета OpenStack | Аннотация PDF (Rus) |
| О. И. Самоваров, С. С. Гайсарян | ||
| Том 36, № 5 (2024) | Архитектура открытого программного комплекса UEMKA для управления целевыми устройствами SMART-наноспутников | Аннотация PDF (Rus) |
| Георгий Александрович ЩЕГЛОВ, Кристина Александровна ЖДАНОВА, Зайнулла Серикович ЖУМАЕВ, Никита Дмитриевич КАМЕНЕВ | ||
| Том 36, № 1 (2024) | Архитектура программного обеспечения для разработки системы совместной медицинской деятельности при реабилитации инсультов | Аннотация PDF (Eng) |
| София Исабель ФЕРНАНДЕС ГРЕГОРИО, Луис Херардо МОНТАНЕ-ХИМЕНЕС , Кармен МЕСУРА ГОДОЙ, Вивиана Ярель РОСАЛЕС-МОРАЛЕС | ||
| Том 32, № 6 (2020) | Архитектура программного средства с открытым исходным кодом для численного моделирования потоков на горных склонах | Аннотация PDF (Rus) |
| Дарья Игоревна РОМАНОВА | ||
| 79 - 117 из 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
