| Выпуск | Название | |
| Том 35, № 5 (2023) | Исследование возможности идентификации веб-сайтов, посещаемых пользователем, на основе HTTP/2 трафика | Аннотация PDF (Rus) |
| Александр Игоревич ГЕТЬМАН, Иван Александрович СТЕПАНОВ | ||
| Том 34, № 6 (2022) | Исследование возможности применения нейронных сетей для восстановления изображения лица в системах распознавания | Аннотация PDF (Rus) |
| Евгений Игоревич МАРКИН, Валентина Владимировна ЗУПАРОВА, Алексей Иванович МАРТЫШКИН | ||
| Том 36, № 1 (2024) | Исследование вопросов учёта нагрузок в программно-конфигурируемых сетях | Аннотация PDF (Rus) |
| Игорь Борисович БУРДОНОВ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ | ||
| Том 35, № 1 (2023) | Исследование встречаемости небезопасно сериализованных программных объектов в клиентском коде веб–приложений | Аннотация PDF (Rus) |
| Денис Дмитриевич МИРОНОВ, Даниил Алексеевич СИГАЛОВ, Максим Петрович МАЛЬКОВ | ||
| Том 33, № 2 (2021) | Исследование задачи обеспечения безопасности при хранении и обработке конфиденциальных данных | Аннотация PDF (Rus) |
| Сергей Анатольевич МАРТИШИН, Марина Валерьевна ХРАПЧЕНКО, Александр Владимирович ШОКУРОВ | ||
| Том 25 (2013) | Исследование и развитие метода декомпозиции для анализа больших пространственных данных | Аннотация PDF (Rus) |
| В. А. Золотов, В. А. Семенов | ||
| Том 31, № 6 (2019) | Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ | Аннотация PDF (Rus) |
| Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян | ||
| Том 24 (2013) | Исследование и разработка шаблонов неэффективного поведения в параллельных MPI, UPC приложениях | Аннотация PDF (Rus) |
| М. С. Акопян, Н. Е. Андреев | ||
| Том 29, № 6 (2017) | Исследование максимального размера плотного подграфа случайного графа | Аннотация PDF (Rus) |
| Н. Н. Кузюрин, Д. О. Лазарев | ||
| Том 34, № 5 (2022) | Исследование методов построения облачных платформенных сервисов и реализаций стандарта TOSCA | Аннотация PDF (Rus) |
| Александра Андреевна БОРИСОВА, Олег Дмитриевич БОРИСЕНКО | ||
| Том 26, № 6 (2014) | Исследование отказоустойчивой маршрутизации в беспроводных сенсорных сетях | Аннотация PDF (Rus) |
| В. Х. Ла, А. Кавалли | ||
| Том 31, № 3 (2019) | Исследование подходов к реализации конвейера инструкций в рамках потактово-точного симулятора микропроцессоров “Эльбрус” | Аннотация PDF (Eng) |
| Павел Алексеевич Порошин, Алексей Николаевич Мешков | ||
| Том 33, № 4 (2021) | Исследование применимости алгоритмов сжатия данных для таблиц потоков в сетевом процессоре RuNPU | Аннотация PDF (Eng) |
| Никита Игоревич НИКИФОРОВ, Дмитрий Юрьевич ВОЛКАНОВ | ||
| Том 34, № 1 (2022) | Исследование применимости аппаратной компрессии данных в межпроцессорных каналах связи процессоров с архитектурой Эльбрус | Аннотация PDF (Rus) |
| Александр Викторович СУРЧЕНКО | ||
| Том 37, № 2 (2025) | Исследование распространения примеси в среде в одной прикладной осесимметричной задаче | Аннотация PDF (Rus) |
| Евгений Александрович МИХАЙЛОВ, Игорь Олегович ТЕПЛЯКОВ, Дмитрий Андреевич ВИНОГРАДОВ | ||
| Том 26, № 5 (2014) | Исследование режимов виброкипящего гранулированного слоя с использованием пакета OpenFOAM | Аннотация PDF (Rus) |
| Н. С. Орлова, Я. Н. Качалкина | ||
| Том 36, № 1 (2024) | Исследование роли ботов в разработке программного обеспечения | Аннотация PDF (Eng) |
| Рикардо МОГЕЛЬ-САНЧЕС, Сесар Серхио МАРТИНЕС-ПАЛАСИОС, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС, Ксавьер ЛИМОН, Анхель Хуан САНЧЕС-ГАРСИЯ | ||
| Том 34, № 3 (2022) | Исследование свойств алгоритма слайсинга предиката пути | Аннотация PDF (Rus) |
| Алексей Вадимович ВИШНЯКОВ | ||
| Том 35, № 2 (2023) | Исследование состязательных атак на нейронные сети распознавания образов | Аннотация PDF (Eng) |
| Денис Владимирович КОТЛЯРОВ, Глеб Дмитриевич ДЮДЮН, Наталья Витальевна РЖЕВСКАЯ, Мария Анатольевна ЛАПИНА, Михаил Григорьевич БАБЕНКО | ||
| Том 37, № 3 (2025) | Исследование специальных наборов модулей системы остаточных классов | Аннотация PDF (Rus) |
| Владислав Вячеславович ЛУЦЕНКО, Михаил Дмитриевич КРАВЦОВ, Дмитрий Евгеньевич ГОРЛАЧЕВ, Никита Михайлович МИРНЫЙ | ||
| Том 36, № 2 (2024) | Исследование структурно незавершённых высказываний в речи советской и российской молодёжи | Аннотация PDF (Rus) |
| Александр Александрович ЧУЕВ | ||
| Том 32, № 2 (2020) | Исследование технологии RISC-V | Аннотация PDF (Rus) |
| Владимир Александрович ФРОЛОВ, Владимир Александрович ГАЛАКТИОНОВ, Вадим Владимирович САНЖАРОВ | ||
| Том 31, № 6 (2019) | Исследование условий возникновения эолова микрорельефа | Аннотация PDF (Rus) |
| Елена Александровна Малиновская | ||
| Том 36, № 2 (2024) | Исследование электровихревого течения между плоскостями с помощью различных вычислительных подходов | Аннотация PDF (Rus) |
| Евгений Александрович МИХАЙЛОВ, Антон Александрович ТАРАНЮК, Анастасия Павловна СТЕПАНОВА | ||
| Том 30, № 6 (2018) | Исследовательский поиск научных статей | Аннотация PDF (Rus) |
| Я. Р. Недумов, С. Д. Кузнецов | ||
| Том 35, № 3 (2023) | К вопросу использования в образовательном процессе разработанного программного обеспечения для исследования акустических трактов магнитострикционных преобразователей перемещений | Аннотация PDF (Rus) |
| Артем Алексеевич ИВЗАНОВ, Александр Анатольевич ВОРОНЦОВ, Юрий Николаевич СЛЕСАРЕВ | ||
| Том 26, № 6 (2014) | К минимизации автоматов с таймаутами | Аннотация PDF (Rus) |
| Александр Твардовский | ||
| Том 36, № 4 (2024) | К моделированию задачи осаждения твердой частицы в вязкой несжимаемой жидкости методом гидродинамики сглаженных частиц (SPH) | Аннотация PDF (Rus) |
| Игорь Иванович ПОТАПОВ, Ольга Владимировна РЕШЕТНИКОВА | ||
| Том 30, № 3 (2018) | К построению модульной модели распределенного интеллекта | Аннотация PDF (Rus) |
| Ю. Л. Словохотов, И. С. Неретин | ||
| Том 30, № 3 (2018) | К проверке строго детерминированного поведения временных конечных автоматов | Аннотация PDF (Eng) |
| Е. М. Винарский, В. А. Захаров | ||
| Том 31, № 1 (2019) | К разработке открытого программного обеспечения для реконструкции CAD-моделей | Аннотация PDF (Rus) |
| Сергей Евгеньевич Сляднев, Вадим Евгеньевич Турлапов | ||
| Том 28, № 3 (2016) | К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов | Аннотация PDF (Rus) |
| А. Д. Ермаков, Н. В. Евтушенко | ||
| Том 30, № 4 (2018) | К синтезу адаптивных различающих последовательностей для конечных автоматов | Аннотация PDF (Rus) |
| А. С. Твардовский, Н. В. Евтушенко | ||
| Том 30, № 4 (2018) | К формальной верификации стандартов кибербезопасности | Аннотация PDF (Eng) |
| Томаш Кулик, Питер Горм Ларсен | ||
| Том 33, № 3 (2021) | Какие стили архитектуры программного обеспечения популярны? | Аннотация PDF (Eng) |
| Алексей Александрович МИЦЮК, Николай Арсенович ЖАМГАРЯН | ||
| Том 37, № 2 (2025) | Какой статус васюганского варианта хантыйcкого языка подтверждают вычисления на платформе ЛингвоДок с точки зрения его системных морфологических характеристик? | Аннотация PDF (Eng) |
| Виктория Владимировна ВОРОБЬЕВА, Ирина Владимировна НОВИЦКАЯ | ||
| Том 33, № 4 (2021) | Калибровка k − ε модели турбулентности в пакете OpenFOAM с помощью методов машинного обучения для моделирования потоков на склонах гор на основе эксперимента | Аннотация PDF (Rus) |
| Дарья Игоревна РОМАНОВА | ||
| Том 33, № 1 (2021) | Качество обслуживания в программно-определяемых сетях для научных приложений: возможности и проблемы | Аннотация PDF (Rus) |
| Хосе Элено ЛОСАНО-РИCК, Рауль РИВЕРА-РОДРИГЕС, Хуан Иван НЬЕТО-ИПОЛИТО, Сальвадор ВИЛЛАРРЕАЛЬ-РЕЙС, Алехандро ГАЛАВИС-МОСКЕДА, Мабель ВАСКЕС-БРИСЕНО | ||
| Том 33, № 2 (2021) | Классификатор изображений транспортных средств для определения корреляции их воздействия со смещением координат моста | Аннотация PDF (Rus) PDF (Rus) |
| Венди ФЛОРЕС-ФУЭНТЕС | ||
| 313 - 351 из 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
