| Выпуск | Название | |
| Том 34, № 6 (2022) | Математическое моделирование процесса течения газа в проточной части турбомолекулярного вакуумного насоса с использованием модели взаимодействия газа с поверхностью Черчиньяни-Лампис | Аннотация PDF (Rus) |
| Ульяна Саидовна ГОРДЕЕВА, Феликс Маратович ШАРИПОВ | ||
| Том 37, № 2: март-апрель | Математическое моделирование турбулентного потока жидкости с помощью квазигидродинамических уравнений и модели турбулентности k-omega | Аннотация PDF (Rus) |
| Ксения Сергеевна КОРОЛЁВА, Игорь Иванович ПОТАПОВ | ||
| Том 30, № 1 (2018) | Математическое моделирование эволюции завихренности при пространственном обтекании тел методом вихревых петель | Аннотация PDF (Rus) |
| С. А. Дергачев | ||
| Том 26, № 2 (2014) | Межпроцедурный анализ помеченных данных на базе инфраструктуры LLVM | Аннотация PDF (Rus) |
| В. К. Кошелев, А. О. Избышев, И. А. Дудина | ||
| Том 33, № 6 (2021) | Межъязыковой перенос знаний при извлечении информации о лекарствах из пользовательских текстов | Аннотация PDF (Rus) |
| Андрей Сергеевич САХОВСКИЙ, Елена Викторовна ТУТУБАЛИНА | ||
| Том 29, № 6 (2017) | Мелкогранулярная рандомизация адресного пространства программы при запуске | Аннотация PDF (Rus) |
| А. Р. Нурмухаметов, Е. А. Жаботинский, Ш. Ф. Курмангалеев, С. С. Гайсарян, А. В. Вишняков | ||
| Том 37, № 2: март-апрель | Место коми-язьвинского в классификации языков коми на основании фонетических, лексических и морфологических особенностей с помощью программ платформы ЛингвоДок | Аннотация PDF (Eng) |
| Ольга Николаевна БАЖЕНОВА | ||
| Том 21 (2011) | Метод автоматического восстановления переменных из трассы исполнения программы | Аннотация PDF (Rus) |
| М. А. Климушенкова, В. А. Макаров | ||
| Том 28, № 6 (2016) | Метод автоматического определения возраста пользователей с помощью социальных связей | Аннотация PDF (Rus) |
| А. Г. Гомзин, С. Д. Кузнецов | ||
| Том 29, № 4 (2017) | Метод автоматического построения гибридных UML-моделей на основе журналов событий систем с сервис-ориентированной архитектурой | Аннотация PDF (Eng) |
| К. В. Давыдова, С. А. Шершаков | ||
| Том 28, № 3 (2016) | Метод автоматического построения иерархических UML-диаграмм последовательности с задаваемым уровнем детализации на основе журналов событий | Аннотация PDF (Eng) |
| К. В. Давыдова, С. А. Шершаков | ||
| Том 27, № 3 (2015) | Метод автоматической конкретизации символических тестовых сценариев | Аннотация PDF (Rus) |
| Никита Воинов, Павел Дробинцев, Игорь Никифоров, Всеволод Котляров, Александр Колчин | ||
| Том 30, № 5 (2018) | Метод анализа атак повторного использования кода | Аннотация PDF (Rus) |
| А. В. Вишняков, А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, С. С. Гайсарян | ||
| Том 33, № 3 (2021) | Метод анализа производительности критичных по времени приложений с помощью DB-Nets | Аннотация PDF (Eng) |
| Антон Михайлович РИГИН, Сергей Андреевич ШЕРШАКОВ | ||
| Том 34, № 3 (2022) | Метод аппаратной реализации сверточной нейронной сети на основе системы остаточных классов | Аннотация PDF (Rus) |
| Мария Васильевна ВАЛУЕВА, Георгий Вячеславович ВАЛУЕВ, Михаил Григорьевич БАБЕНКО, Андрей Николаевич ЧЕРНЫХ, Хорхе Марио КОРТЕС-МЕНДОСА | ||
| Том 34, № 5 (2022) | Метод восстановления протокольных автоматов по бинарному коду | Аннотация PDF (Rus) |
| Иван Владимирович ШАРКОВ | ||
| Том 27, № 2 (2015) | Метод выявления некоторых типов ошибок работы с памятью в бинарном коде программ | Аннотация PDF (Rus) |
| В. В. Каушан, А. Ю. Мамонтов, В. А. Падарян, А. Н. Федотов | ||
| Том 27, № 3 (2015) | Метод генерации тестовых программ на основе формальных спецификаций механизмов кэширования и трансляции адресов | Аннотация PDF (Rus) |
| А. С. Камкин, А. С. Проценко, А. Д. Татарников | ||
| Том 18 (2010) | Метод зеркальной генерации ограничений для построения тестовых программ по тестовым шаблонам | Аннотация PDF (Rus) |
| Е. В. Корныхин | ||
| Том 26, № 4 (2014) | Метод инвариантного распознавания жестов для реализации человеко-компьютерного интерфейса | Аннотация PDF (Rus) |
| Д. В. Костырев, С. И. Анищенко, М. В. Петрушан | ||
| Том 27, № 6 (2015) | Метод инструментирования кода на этапе компиляции для направленной отладки оптимизирующих преобразований | Аннотация PDF (Rus) |
| Д. А. Максименков | ||
| Том 27, № 5 (2015) | Метод легковесного статического анализа для поиска состояний гонок | Аннотация PDF (Rus) |
| П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов | ||
| Том 29, № 4 (2017) | Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области | Аннотация PDF (Eng) |
| А. Р. Волков, М. У. Мандрыкин | ||
| Том 35, № 5 (2023) | Метод мутации сложноструктурированных входных данных при фаззинг-тестировании JavaScript интерпретаторов | Аннотация PDF (Rus) |
| Наталья Сергеевна ЕРОХИНА | ||
| Том 37, № 6: часть 2. ноябрь-декабрь | Метод обучения персептрона на табличных данных с пропусками | Аннотация PDF (Rus) |
| Андрей Игоревич ПЕРМИНОВ, Андрей Петрович КОВАЛЕНКО, Денис Юрьевич ТУРДАКОВ | ||
| Том 28, № 4 (2016) | Метод оценки эксплуатируемости программных дефектов | Аннотация PDF (Rus) |
| А. Н. Федотов | ||
| Том 36, № 3 (2024) | Метод подавления сигналов с помощью движущихся многотональных помех с учётом протокола | Аннотация PDF (Eng) |
| Егине ГРИГОРЯН, Лиалиа КИРАКОСЯН, Севак САРГСЯН | ||
| Том 27, № 3 (2015) | Метод поиска реквизитов физических лиц в базах данных на основе нечёткого сравнения | Аннотация PDF (Rus) |
| Наталия Лиманова, Максим Седов | ||
| Том 27, № 4 (2015) | Метод поиска уязвимости форматной строки | Аннотация PDF (Rus) |
| И. А. Вахрушев, В. В. Каушан, В. А. Падарян, А. Н. Федотов | ||
| Том 31, № 4 (2019) | Метод построения UML диаграмм деятельности по журналам событий | Аннотация PDF (Eng) |
| Наталья Сергеевна Зубкова, Сергей Андреевич Шершаков | ||
| Том 28, № 3 (2016) | Метод представления мнений экспертов в виде Z-чисел | Аннотация PDF (Eng) |
| Е. А. Глуходед, С. И. Сметанин | ||
| Том 34, № 1 (2022) | Метод редукции параллелизма в процессе высокоуровнего синтеза цифровых интегральных схем | Аннотация PDF (Eng) |
| Дарья Сергеевна РОМАНОВА, Олег Владимирович НЕПОМНЯЩИЙ, Игорь Николаевич РЫЖЕНКО, Александр Иванович ЛЕГАЛОВ, Наталья Юрьевна СИРОТИНИНА | ||
| Том 26, № 6 (2014) | Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов | Аннотация PDF (Rus) |
| М. С. Форостьянова | ||
| Том 27, № 5 (2015) | Метод тестирования производительности и стресс-тестирования центральных сервисов идентификации облачных систем на примере Openstack Keystone | Аннотация PDF (Rus) |
| И. В. Богомолов, А. В. Алексиянц, А. В. Шер, О. Д. Борисенко, А. И. Аветисян | ||
| Том 34, № 4 (2022) | Метод улучшения качества речи с использованием модифицированного кодирующего-декодирующего пирамидального трансформера | Аннотация PDF (Rus) |
| Андрей Александрович ЛЕПЕНДИН, Рауф Салаватович НАСРЕТДИНОВ, Илья Дмитриевич ИЛЬЯШЕНКО | ||
| Том 32, № 4 (2020) | Методика выявления центров компетенций авиационной науки на основе публикационной и патентной активности | Аннотация PDF (Rus) |
| Виктор Геннадьевич БЕЛЕНКОВ, Владимир Игоревич БУДЗКО, Дмитрий Алексеевич ДЕВЯТКИН, Анна Владимировна КАН, Иван Сергеевич МИХАЙЛИН, Илья Владимирович СОЧЕНКОВ, Илья Александрович ТИХОМИРОВ, Василий Сергеевич ШАПКИН | ||
| Том 30, № 5 (2018) | Методика и средства разработки и верификации формальных fUML моделей требований и архитектуры сложных программно-технических систем | Аннотация PDF (Rus) |
| А. В. Самонов, Г. Н. Самонова | ||
| Том 29, № 4 (2017) | Методика параметризованной верификации протоколов когерентности памяти | Аннотация PDF (Eng) |
| В. С. Буренков | ||
| Том 37, № 1: январь-февраль | Методика поиска уязвимостей в программном обеспечении, написанном на нескольких языках программирования | Аннотация PDF (Rus) |
| Борис Аронович ПОЗИН, Полина Андреевна БОРОДУШКИНА, Дмитрий Антонович КОРОТКОВ, Михаил Александрович ФЕДОРОВ, Айнур Фуатович МУРАТОВ | ||
| Том 29, № 6 (2017) | Методика решения задач аэроупругости для лопасти ветроустановки с использованием СПО | Аннотация PDF (Rus) |
| П. С. Лукашин, В. Г. Мельникова, С. В. Стрижак, Г. А. Щеглов | ||
| Том 33, № 5 (2021) | Методика сбора обучающего набора данных для модели обнаружения компьютерных атак | Аннотация PDF (Rus) |
| Александр Игоревич ГЕТЬМАН, Максим Николаевич ГОРЮНОВ, Андрей Георгиевич МАЦКЕВИЧ, Дмитрий Александрович РЫБОЛОВЛЕВ | ||
| Том 37, № 6: часть 2. ноябрь-декабрь | Методология создания большого русскоязычного набора данных для обнаружения пресуицидальных и антисуицидальных сигналов в текстах социальных сетей | Аннотация PDF (Eng) |
| Игорь Олегович БУЯНОВ, Дарья Валентиновна ЯСЬКОВА, Данил Сергеевич СЕРЕНКО, Данил Николаевич ШКЕРЕДА, Андрей Дмитриевич ЯСЬКОВ, Илья Владимирович СОЧЕНКОВ | ||
| Том 30, № 1 (2018) | Методы анализа вредоносного программного обеспечения под ОС Android | Аннотация PDF (Eng) |
| С. М. Старолетов | ||
| Том 30, № 6 (2018) | Методы анализа информационных потоков в сети Интернет | Аннотация PDF (Rus) |
| А. А. Аветисян, М. Д. Дробышевский, Д. Ю. Турдаков | ||
| Том 30, № 1 (2018) | Методы деанонимизации пользователей биткоин | Аннотация PDF (Eng) |
| С. М. Авдошин, А. В. Лазаренко | ||
| 451 - 495 из 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
