| Выпуск | Название | |
| Том 34, № 2 (2022) | Архитектура программной системы для проектирования надежных бизнес-процессов | Аннотация PDF (Eng) |
| Катарина Вадимовна САМОЙЛОВА, Елена Борисовна ЗАМЯТИНА | ||
| Том 32, № 3 (2020) | Архитектура системы дедуктивной верификации машинного кода | Аннотация PDF (Rus) |
| Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ | ||
| Том 37, № 2 (2025) | Архитектура системы сбора и извлечения информации для интеллектуальной поисково-аналитической системы | Аннотация PDF (Rus) |
| Данил Сергеевич СЕРЕНКО, Егор Дмитриевич ТЕРЕНТЬЕВ, Денис Владимирович ЗУБАРЕВ, Илья Владимирович СОЧЕНКОВ | ||
| Том 18 (2010) | Архитектура среды тестирования на основе моделей, построенная на базе компонентных технологий | Аннотация PDF (Rus) |
| В. В. Кулямин | ||
| Том 30, № 1 (2018) | Асинхронные распределенные алгоритмы на статических и динамических ориентированных корневых графах | Аннотация PDF (Eng) |
| И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин, А. Н. Томилин, В. З. Шнитман | ||
| Том 30, № 1 (2018) | Базы данных для обработки массивов: взгляд изнутри | Аннотация PDF (Eng) |
| В. А. Павлов, Б. А. Новиков | ||
| Том 27, № 5 (2015) | Балансировка нагрузки в системе Unihub на основе предсказания поведения пользователей | Аннотация PDF (Rus) |
| Д. А. Грушин, Н. Н. Кузюрин | ||
| Том 31, № 2 (2019) | Безопасная и надежная передача данных в MANET на основе принципов вычислительно стойкого разделения секрета | Аннотация PDF (Rus) |
| Николай Иванович Червяков, Максим Анатольевич Дерябин, Антон Сергеевич Назаров, Михаил Григорьевич Бабенко, Николай Николаевич Кучеров, Андрей Владимирович Гладков, Глеб Игоревич Радченко | ||
| Том 36, № 6 (2024) | Безопасная и эффективная модель данных для электрического освещения общественного пространства в Мексике с AMI/IoT: реализация сжатия LZ4, IPFS и блокчейна | Аннотация PDF (Eng) |
| Рене ГАРСИЯ-РЕЙЕС, Хавьер ОРТИС-ЭРНАНДЕС, Рито МИХАРЕС, Хосе Альберто ЭРНАНДЕС-АГИЛАР, Ясмин ЭРНАНДЕС | ||
| Том 33, № 1 (2021) | Безопасная реализация виртуальной сети на плоскости данных SDN | Аннотация PDF (Rus) |
| Игорь Борисович БУРДОНОВ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ | ||
| Том 27, № 3 (2015) | Бесшовная разработка программного обеспечения: применимость на примере | Аннотация PDF (Rus) |
| Александр Наумчев | ||
| Том 34, № 5 (2022) | Библиотека для разработки компиляторов | Аннотация PDF (Rus) |
| Сергей Владимирович МИРОНОВ, Инна Александровна БАТРАЕВА, Павел Дмитриевич ДУНАЕВ | ||
| Том 27, № 4 (2015) | Библиотека ограничений для спецификации индустриальных моделей данных | Аннотация PDF (Rus) |
| С. В. Морозов, Д. В. Ильин, В. А. Семенов, О. А. Тарлапан | ||
| Том 30, № 4 (2018) | Библиотека программирования гетерогенных архитектур | Аннотация PDF (Eng) |
| Г. В. Киргизов, Я. А. Кириленко | ||
| Том 35, № 1 (2023) | Блокчейн и задача выполнимости формул в теориях для тендерных систем | Аннотация PDF (Eng) |
| Рене ДАВИЛА, Росио АЛЬДЕКО-ПЕРЕС, Эверардо БАРСЕНАС | ||
| Том 32, № 1 (2020) | Большие данные: аналитические решения, исследовательские задачи и тенденции | Аннотация PDF (Eng) |
| Ноаман Мухаммед Али, Борис Асенович Новиков | ||
| Том 23 (2012) | Большие данные: современные подходы к хранению и обработке | Аннотация PDF (Rus) |
| П. А. Клеменков, С. Д. Кузнецов | ||
| Том 34, № 4 (2022) | Большие трансформеры для генерации кода | Аннотация PDF (Eng) |
| Герман Аренович АРУТЮНОВ, Сергей Михайлович АВДОШИН | ||
| Том 29, № 4 (2017) | Быстрое L1-преобразование Гаусса для сглаживания изображений с сохранением границ | Аннотация PDF (Eng) |
| Д. Р. Башкирова, Ш. Йошидзава, Р. Х. Латыпов, Х. Йокота | ||
| Том 35, № 5 (2023) | Быстрый анализ статического IR drop эффекта на базе методов машинного обучения | Аннотация PDF (Rus) |
| Роман Александрович СОЛОВЬЁВ, Дмитрий Владимирович ТЕЛЬПУХОВ, Евгений Денисович ДЕМИДОВ, Илья Ильич ШАФЕЕВ | ||
| Том 32, № 1 (2020) | В ожидании нативных архитектур СУБД на основе энергонезависимой основной памяти | Аннотация PDF (Rus) |
| Сергей Дмитриевич Кузнецов | ||
| Том 35, № 6 (2023) | Валидация требований и ее влияние на качество при использовании программного обеспечения: тематическое исследование | Аннотация PDF (Rus) |
| Луис КАНЧАРИ, Паула Мария АНГЕЛЕРИ, Авраам Элисео ДАВИЛА РАМОН | ||
| Том 30, № 3 (2018) | Варианты задач китайского почтальона и их решения через преобразование в задачи маршрутизации | Аннотация PDF (Eng) |
| М. К. Горденко, С. М. Авдошин | ||
| Том 24 (2013) | Введение в метод CEGAR - уточнение абстракции по контрпримерам | Аннотация PDF (Rus) |
| М. У. Мандрыкин, В. С. Мутилин, А. В. Хорошилов | ||
| Том 34, № 2 (2022) | Веб-приложение для продвижения донорства крови в России | Аннотация PDF (Eng) |
| Павел Алексеевич СМИРНОВ, Вера Владимировна МАЛИНОВСКАЯ, Никита Владимирович ВОИНОВ | ||
| Том 32, № 2 (2020) | Векторные модели на основе символьных н-грамм для морфологического анализа текстов | Аннотация PDF (Rus) |
| Цолак Гукасович ГУКАСЯН | ||
| Том 23 (2012) | Верификация драйверов операционной системы Linux | Аннотация PDF (Rus) |
| Д. Бейер, А. К. Петренко | ||
| Том 28, № 3 (2016) | Верификация и анализ вариабельных операционных систем | Аннотация PDF (Rus) |
| В. В. Кулямин, Е. М. Лаврищева, В. С. Мутилин, А. К. Петренко | ||
| Том 29, № 4 (2017) | Верификация контроллеров 10 гигабитного Ethernet | Аннотация PDF (Eng) |
| М. В. Петроченков, Р. Е. Муштаков, И. А. Стотланд | ||
| Том 30, № 3 (2018) | Верификация контроллеров связи в системах на кристалле | Аннотация PDF (Eng) |
| М. В. Петроченков, Р. Е. Муштаков, Д. И. Шпагилев | ||
| Том 28, № 2 (2016) | Верификация преобразования грамматики в нормальную форму Хомского в F | Аннотация PDF (Eng) |
| М. И. Полубелова, С. Н. Божко, С. В. Григорьев | ||
| Том 32, № 6 (2020) | Верификация соответствия между разноуровневыми моделями функциональных требований | Аннотация PDF (Rus) |
| Алексей Владимирович ХОРОШИЛОВ | ||
| Том 32, № 2 (2020) | Верифицированная тактика Isabelle/HOL для теории ограниченных целых на основе инстанцирования и SMT | Аннотация PDF (Rus) |
| Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН | ||
| Том 24 (2013) | Вероятностный анализ нового алгоритма упаковки прямоугольников в полосу | Аннотация PDF (Rus) |
| М. А. Трушников | ||
| Том 19 (2010) | Вероятностный анализ одного алгоритма упаковки прямоугольников в полосу | Аннотация PDF (Rus) |
| Н. Н. Кузюрин, А. И. Поспелов | ||
| Том 36, № 1 (2024) | Виды атак на федеративные нейросети и способы защиты | Аннотация PDF (Rus) |
| Валерий Алексеевич КОСТЕНКО, Алиса Евгеньевна СЕЛЕЗНЕВА | ||
| Том 28, № 3 (2016) | Виды признаков и их роль в дифференцировании классов при оценке не полностью описанного объекта | Аннотация PDF (Rus) |
| В. Н. Юдин, Л. Е. Карпов, В. Ю. Абрамов | ||
| Том 23 (2012) | Виртуальная ГИС-лаборатория как инструмент анализа пространственных данных | Аннотация PDF (Rus) |
| А. В. Кошкарев, А. А. Медведев, Ю. С. Вишняков, С. А. Поликарпов, А. Н. Сотников | ||
| Том 34, № 3 (2022) | Виртуальные площадки в алгоритме излучательности | Аннотация PDF (Rus) |
| Александр Станиславович ЩЕРБАКОВ, Владимир Александрович ФРОЛОВ, Владимир Александрович ГАЛАКТИОНОВ | ||
| 118 - 156 из 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
