| Выпуск | Название | |
| Том 35, № 5 (2023) | Метод мутации сложноструктурированных входных данных при фаззинг-тестировании JavaScript интерпретаторов | Аннотация 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 (2025) | Методика поиска уязвимостей в программном обеспечении, написанном на нескольких языках программирования | Аннотация PDF (Rus) |
| Борис Аронович ПОЗИН, Полина Андреевна БОРОДУШКИНА, Дмитрий Антонович КОРОТКОВ, Михаил Александрович ФЕДОРОВ, Айнур Фуатович МУРАТОВ | ||
| Том 29, № 6 (2017) | Методика решения задач аэроупругости для лопасти ветроустановки с использованием СПО | Аннотация PDF (Rus) |
| П. С. Лукашин, В. Г. Мельникова, С. В. Стрижак, Г. А. Щеглов | ||
| Том 33, № 5 (2021) | Методика сбора обучающего набора данных для модели обнаружения компьютерных атак | Аннотация PDF (Rus) |
| Александр Игоревич ГЕТЬМАН, Максим Николаевич ГОРЮНОВ, Андрей Георгиевич МАЦКЕВИЧ, Дмитрий Александрович РЫБОЛОВЛЕВ | ||
| Том 30, № 1 (2018) | Методы анализа вредоносного программного обеспечения под ОС Android | Аннотация PDF (Eng) |
| С. М. Старолетов | ||
| Том 30, № 6 (2018) | Методы анализа информационных потоков в сети Интернет | Аннотация PDF (Rus) |
| А. А. Аветисян, М. Д. Дробышевский, Д. Ю. Турдаков | ||
| Том 30, № 1 (2018) | Методы деанонимизации пользователей биткоин | Аннотация PDF (Eng) |
| С. М. Авдошин, А. В. Лазаренко | ||
| Том 37, № 3 (2025) | Методы динамической верификации промышленных средств защиты информации на основе формальных моделей управления доступом. | Аннотация PDF (Rus) |
| Александр Константинович ПЕТРЕНКО, Петр Николаевич ДЕВЯНИН, Денис Валентинович ЕФРЕМОВ, Алексей Александрович КАРНОВ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Алексей Владимирович ХОРОШИЛОВ | ||
| Том 26, № 1 (2014) | Методы динамической и предварительной оптимизации программ на языке JаvаSсriрt | Аннотация PDF (Rus) |
| Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий, Ваагн Варданян, Владислав Иванишин, Евгений Шарыгин | ||
| Том 30, № 3 (2018) | Методы защиты децентрализованных автономных организаций от системных отказов и атак | Аннотация PDF (Eng) |
| А. А. Андрюхин | ||
| Том 34, № 4 (2022) | Методы и подходы к автоматическому связыванию сущностей на русском языке | Аннотация PDF (Rus) |
| Анастасия Алексеевна МЕЗЕНЦЕВА, Елена Павловна БРУЧЕС, Татьяна Викторовна БАТУРА | ||
| Том 26, № 1 (2014) | Методы и программные средства, поддерживающие комбинированный анализ бинарного кода | Аннотация PDF (Rus) |
| В. А. Падарян, А. И. Гетьман, М. А. Соловьев, М. Г. Бакулин, А. И. Борзилов, В. В. Каушан, И. Н. Ледовских, Ю. В. Маркин, С. С. Панасенко | ||
| Том 31, № 5 (2019) | Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством программно-технических комплексов» | Аннотация PDF (Rus) |
| Александр Валерьянович Самонов | ||
| Том 31, № 1 (2019) | Методы идентификации человека по походке в видео | Аннотация PDF (Rus) |
| Анна Ильинична Соколова, Антон Сергеевич Конушин | ||
| Том 34, № 5 (2022) | Методы интеллектуального анализа данных для сравнения диалектов английского языка | Аннотация PDF (Eng) |
| Ольга Валерьевна ДОНИНА | ||
| Том 27, № 6 (2015) | Методы коррекции профильной информации в процессе компиляции | Аннотация PDF (Rus) |
| О. А. Четверина | ||
| Том 31, № 5 (2019) | Методы кросс-языкового поиска похожих документов | Аннотация PDF (Eng) |
| Денис Владимирович Зубарев, Илья Владимирович Соченков | ||
| Том 33, № 5 (2021) | Методы маркирования текстовых документов при печати посредством вертикального сдвига и изменения яркости фрагментов слов | Аннотация PDF (Rus) |
| Дмитрий Олегович ОБЫДЕНКОВ, Александр Евгеньевич ФРОЛОВ, Юрий Витальевич МАРКИН, Станислав Александрович ФОМИН, Борис Владимирович КОНДРАТЬЕВ | ||
| Том 34, № 4 (2022) | Методы определения элементов PQRST-комплекса электрокардиограммы | Аннотация PDF (Rus) |
| Ольга Анатольевна МАШКОВА, Всеволод Владиславович ШАКЛЕИН, Юрий Витальевич МАРКИН, Евгений Андреевич КАРПУЛЕВИЧ, Владислав Валерьевич АНАНЬЕВ, Ариана Арменовна АСАТРЯН, Шагане Тиграновна ТИГРАНЯН, Сергей Николаевич СКОРИК, Денис Юрьевич ТУРДАКОВ | ||
| Том 24 (2013) | Методы оптимизации Cи/Cи++ - приложений распространяемых в биткоде LLVM с учетом специфики оборудования | Аннотация PDF (Rus) |
| Ш. Ф. Курмангалеев | ||
| Том 28, № 1 (2016) | Методы оптимизации программ на языке JavaScript, основанные на статистике выполнения программы | Аннотация PDF (Rus) |
| В. Г. Варданян | ||
| Том 31, № 5 (2019) | Методы оценки надежности программных и технических систем | Аннотация PDF (Rus) |
| Екатерина Михайловна Лаврищева, Сергей Вадимович Зеленов, Николай Витальевич Пакулин | ||
| Том 31, № 5 (2019) | Методы оценки популярности новостных материалов на ранних стадиях | Аннотация PDF (Eng) |
| Арам Арутюнович Аветисян, Михаил Дробышевский, Денис Юрьевич Турдаков | ||
| Том 27, № 2 (2015) | Методы повышения производительности обратной отладки | Аннотация PDF (Rus) |
| М. А. Климушенкова, П. М. Довгалюк | ||
| Том 26, № 2 (2014) | Методы пороговой криптографии для защиты облачных вычислений | Аннотация PDF (Rus) |
| Н. П. Варновский, С. А. Мартишин, М. В. Храпченко, А. В. Шокуров | ||
| Том 27, № 4 (2015) | Методы построения социо-демографических профилей пользователей сети Интернет | Аннотация PDF (Rus) |
| А. Г. Гомзин, С. Д. Кузнецов | ||
| Том 27, № 6 (2015) | Методы предварительной оптимизации программ на языке JavaScript | Аннотация PDF (Rus) |
| Роман Жуйков, Евгений Шарыгин | ||
| 441 - 480 из 1254 результатов | << < 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
