| Выпуск | Название | |
| Том 32, № 4 (2020) | Использование Big Data в международном бизнесе | Аннотация PDF (Rus) |
| Константин Анатольевич АЛЕКСЕЕВ | ||
| Том 28, № 5 (2016) | Использование анализа недостижимого кода в статическом анализаторе для поиска ошибок в исходном коде программ | Аннотация PDF (Rus) |
| Р. Р. Мулюков, А. Е. Бородин | ||
| Том 32, № 4 (2020) | Использование аппарата свёрточных нейронных сетей для стегоанализа цифровых изображений | Аннотация PDF (Rus) |
| Александр Александрович ПОЛУНИН, Элина Андреевна ЯНДАШЕВСКАЯ | ||
| Том 20 (2011) | Использование аппаратной виртуализации в контексте информационной безопасности | Аннотация PDF (Rus) |
| Д. В. Силаков | ||
| Том 23 (2012) | Использование аспектно-ориентированного программирования для выполнения запросов по исходному коду программ | Аннотация PDF (Rus) |
| Е. М. Новиков, А. В. Хорошилов | ||
| Том 33, № 5 (2021) | Использование библиотеки функционального программирования для решения численных задач на графических ускорителях с технологией CUDA | Аннотация PDF (Eng) |
| Михаил Михайлович КРАСНОВ, Ольга Борисовна ФЕОДОРИТОВА | ||
| Том 36, № 3 (2024) | Использование генетических алгоритмов и нейронных сетей в анализе деформаций стопы | Аннотация PDF (Rus) |
| Сергей Иванович КИРЕЕВ, Инна Александровна БАТРАЕВА, Дмитрий Сергеевич ПАНТЕЛЕЕВ, Максим Владиславович ЗАБОЕВ | ||
| Том 32, № 4 (2020) | Использование доменно-состязательного обучения для распознавания текстовых капч | Аннотация PDF (Rus) |
| Денис Олегович КУЩУК, Максим Алексеевич РЫНДИН, Александр Константинович ЯЦКОВ, Максим Игоревич ВАРЛАМОВ | ||
| Том 33, № 6 (2021) | Использование идентификации потоков выполнения при решении задач полносистемного анализа бинарного кода | Аннотация PDF (Rus) |
| Иван Александрович ВАСИЛЬЕВ, Павел Михайлович ДОВГАЛЮК, Мария Анатольевна КЛИМУШЕНКОВА | ||
| Том 31, № 3 (2019) | Использование инвариантов функции высокого уровня для дедуктивной верификации машинного кода | Аннотация PDF (Eng) |
| Павел Андреевич Путро | ||
| Том 36, № 5 (2024) | Использование клеточного автомата для оценки влияния городской планировки на социоэкономические показатели при распространении эпидемий | Аннотация PDF (Rus) |
| Степан Алексеевич ЕЛИСТРАТОВ | ||
| Том 32, № 3 (2020) | Использование компьютерных методов и систем в изучении права, интеллектуальном анализе и моделировании правовой деятельности: систематический обзор | Аннотация PDF (Rus) |
| Егор Викторович ТРОФИМОВ, Олег Геннадьевич МЕЦКЕР | ||
| Том 22 (2012) | Использование легковесного статического анализа для проверки настраиваемых семантических ограничений языка программирования | Аннотация PDF (Rus) |
| В. Н. Игнатьев | ||
| Том 35, № 5 (2023) | Использование метода декомпозиции области для распараллеливания моделирования течения вязкой несжимаемой среды методом LS-STAG и дополнительного предобуславливания | Аннотация PDF (Rus) |
| Илья Константинович МАРЧЕВСКИЙ, Валерия Валентиновна ПУЗИКОВА | ||
| Том 27, № 2 (2015) | Использование многопоточных процессов в среде ParJava | Аннотация PDF (Rus) |
| М. С. Акопян | ||
| Том 29, № 4 (2017) | Использование модульного подхода во встраиваемых операционных системах | Аннотация PDF (Eng) |
| К. А. Маллачиев, Н. В. Пакулин, А. В. Хорошилов, Д. В. Буздалов | ||
| Том 35, № 6 (2023) | Использование переноса стиля как способ улучшения обобщающей способности нейросети в задаче детекции объектов | Аннотация PDF (Rus) |
| Денис Константинович КАРАЧЕВ, Сергей Евгеньевич ШТЕХИН, Владимир Сергеевич ТАРАСЯН, Илья Юрьевич СМОЛИН, Максим Владимирович ИСАКОВ | ||
| Том 20 (2011) | Использование префиксного дерева для хранения и поиска строк во внешней памяти | Аннотация PDF (Rus) |
| И. С. Таранов | ||
| Том 37, № 4: часть 2. июль-август | Использование программно-определяемых счетчиков для построения модели оптимального энергопотребления графического процессора | Аннотация PDF (Eng) |
| Алексей Николаевич ГУЛИН, Сергей Михайлович СТАРОЛЕТОВ | ||
| Том 27, № 6 (2015) | Использование различных представлений java-программ для статического анализа | Аннотация PDF (Rus) |
| Е. А. Карпулевич | ||
| Том 27, № 5 (2015) | Использование симуляции сбоев при тестировании компонентов ядра ОС Linux | Аннотация PDF (Rus) |
| А. В. Цыварев, А. В. Хорошилов | ||
| Том 32, № 4 (2020) | Использование синтетических данных для тонкой настройки моделей сегментации документов | Аннотация PDF (Rus) |
| Оксана Владимировна БЕЛЯЕВА, Андрей Игоревич ПЕРМИНОВ, Илья Сергеевич КОЗЛОВ | ||
| Том 22 (2012) | Использование стандарта OpenCL для программирования ПЛИС | Аннотация PDF (Rus) |
| Андрей Белеванцев, Алексей Меркулов, Владимир Платонов | ||
| Том 21 (2011) | Использование статического анализа для поиска уязвимостей и критических ошибок в исходном коде программ | Аннотация PDF (Rus) |
| Арутюн Аветисян, Андрей Белеванцев, Алексей Бородин, Владимир Несов | ||
| Том 37, № 1: январь-февраль | Использование технологий искусственного интеллекта для проведения психологического тестирования | Аннотация PDF (Rus) |
| Дарья Дмитриевна ГРИГОРЬЕВА, Даниил Валерьевич СЕРОВ, Дмитрий Сергеевич СОРОКИН, Алексей Иванович МАРТЫШКИН | ||
| Том 35, № 6 (2023) | Использование цифровых методов для выделения структурно-территориальных единиц центрально-южного диалекта удмуртского языка на основе анализа полевых записей | Аннотация PDF (Rus) |
| Александра Филипповна УТКИНА | ||
| Том 27, № 5 (2015) | Использование языка программирования Python для описания ограничений на архитектурные модели | Аннотация PDF (Rus) |
| Е. В. Корныхин, А. В. Хорошилов | ||
| Том 29, № 5 (2017) | Исследование атак типа «Cross-Site Request Forgery» в рамках проведения анализа уязвимостей веб-приложений | Аннотация PDF (Eng) |
| А. В. Барабанов, А. И. Лавров, А. С. Марков, И. А. Полотнянщиков, В. Л. Цирлов | ||
| Том 26, № 5 (2014) | Исследование влияния длины улиц на течение воздуха в них | Аннотация PDF (Rus) |
| М. В. Волик | ||
| Том 28, № 2 (2016) | Исследование влияния использования параллелизма на производительность движка косимуляции в проекте INTO-CPS | Аннотация PDF (Eng) |
| С. Тул, П. Г. Ларсен | ||
| Том 31, № 6 (2019) | Исследование влияния регулярных магнитных полей на течения во внешних кольцах галактик | Аннотация PDF (Rus) |
| Евгений Александрович Михайлов, Ильяс Наилевич Сибгатуллин | ||
| Том 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) |
| Н. Н. Кузюрин, Д. О. Лазарев | ||
| Том 37, № 4: часть 2. июль-август | Исследование методов машинного обучения для выявления сетевых атак | Аннотация PDF (Eng) |
| Мария Анатольевна ЛАПИНА, Назар Владимирович ПОДРУЧНЫЙ, Михаил Андреевич РУСАНОВ, Михаил Григорьевич БАБЕНКО | ||
| Том 34, № 5 (2022) | Исследование методов построения облачных платформенных сервисов и реализаций стандарта TOSCA | Аннотация PDF (Rus) |
| Александра Андреевна БОРИСОВА, Олег Дмитриевич БОРИСЕНКО | ||
| Том 26, № 6 (2014) | Исследование отказоустойчивой маршрутизации в беспроводных сенсорных сетях | Аннотация PDF (Rus) |
| В. Х. Ла, А. Кавалли | ||
| Том 31, № 3 (2019) | Исследование подходов к реализации конвейера инструкций в рамках потактово-точного симулятора микропроцессоров “Эльбрус” | Аннотация PDF (Eng) |
| Павел Алексеевич Порошин, Алексей Николаевич Мешков | ||
| Том 33, № 4 (2021) | Исследование применимости алгоритмов сжатия данных для таблиц потоков в сетевом процессоре RuNPU | Аннотация PDF (Eng) |
| Никита Игоревич НИКИФОРОВ, Дмитрий Юрьевич ВОЛКАНОВ | ||
| 316 - 360 из 1333 результатов | << < 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, № 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
