| Выпуск | Название | |
| Том 34, № 3 (2022) | Виртуальные площадки в алгоритме излучательности | Аннотация PDF (Rus) |
| Александр Станиславович ЩЕРБАКОВ, Владимир Александрович ФРОЛОВ, Владимир Александрович ГАЛАКТИОНОВ | ||
| Том 31, № 2 (2019) | Виртуальный Эрудит для решения задачи о рюкзаке: обучение автоматическому распределению ресурсов | Аннотация PDF (Eng) |
| Рензо Массобрио, Бернаре Дорронзоро Диаз, Серджо Энрике Несмачнов Кановас | ||
| Том 34, № 6 (2022) | Влияние относительного продольного расстояния на динамическое поведение двух взаимодействующих судов при встречном волнении | Аннотация PDF (Eng) |
| Рами АЛИ | ||
| Том 35, № 1 (2023) | Влияние пандемии COVID-19 на психофизическое состояние разработчиков программного обеспечения и новые тенденции в области гибких навыков при работе из дома | Аннотация PDF (Eng) |
| Рейес ХУАРЕС-РАМИРЕС, Кристиан НАВАРРО-КОТА, Гильермо ЛИСЕА, Саманта ХИМЕНЕС, Вероника ТАПИА-ИБАРРА, Сезар Артуро ГЕРРА ГАРСИА, Гектор Херардо ПЕРЕС-ГОНСАЛЕС | ||
| Том 35, № 1 (2023) | Влияние ролей Белбина на дизайн базы данных: исследовательский эксперимент | Аннотация PDF (Eng) |
| Рауль Антонио АГИЛАР ВЕРА, Адриана ПЕНЬЯ, Хулио Сезар ДИАС-МЕНДОЗА, Хуан Пабло УКАН ПЕЧ | ||
| Том 34, № 6 (2022) | Влияние трансформаций на успешность состязательных атак для классификаторов изображений Clipped BagNet и ResNet | Аннотация PDF (Rus) |
| Екатерина Олеговна КУРДЕНКОВА, Мария Сергеевна ЧЕРЕПНИНА, Анна Сергеевна ЧИСТЯКОВА, Константин Владимирович АРХИПЕНКО | ||
| Том 30, № 1 (2018) | Влияние частичности и адаптивности на сложность задачи идентификации состояний автомата | Аннотация PDF (Eng) |
| Х. Йенигун, Н. Евтушенко, Н. Кушик, Х Лопез | ||
| Том 31, № 6 (2019) | Влияние численной диссипации на расчетную точность метода моделирования крупных вихрей с пристенным моделированием | Аннотация PDF (Eng) |
| Тимофей Дмитриевич Муха | ||
| Том 26, № 2 (2014) | Внесение неисправностей в программу с использованием детерминированного воспроизведения | Аннотация PDF (Rus) |
| П. М. Довгалюк, Ю. В. Маркин | ||
| Том 32, № 6 (2020) | Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнения | Аннотация PDF (Rus) |
| Алексей Евгеньевич БОРОДИН, Ирина Александровна ДУДИНА | ||
| Том 28, № 3 (2016) | Возможности гибридного метода аппроксимации конвективных потоков при моделировании течений сжимаемых сред | Аннотация PDF (Rus) |
| М. В. Крапошин | ||
| Том 33, № 6 (2021) | Возможности и ограничения инструментов верификации моделей программ | Аннотация PDF (Eng) |
| Евгений Михайлович НОВИКОВ | ||
| Том 29, № 2 (2017) | Возможности статической верификации монолитного ядра операционных систем | Аннотация PDF (Rus) |
| Е. М. Новиков | ||
| Том 33, № 6 (2021) | Возникновение контрастных структур для галактического магнитного поля: теоретические оценки и моделирование на видеокартах | Аннотация PDF (Rus) |
| Евгений Александрович МИХАЙЛОВ, Татьяна Тимуровна ХАСАЕВА, Игорь Олегович ТЕПЛЯКОВ | ||
| Том 30, № 3 (2018) | Вопросы индустриального применения синхронизационных контрактов при динамическом поиске гонок в Java-программах | Аннотация PDF (Rus) |
| В. Ю. Трифанов | ||
| Том 22 (2012) | Восстановление структуры бинарных данных по трассам программ | Аннотация PDF (Rus) |
| А. И. Аветисян, А. И. Гетьман | ||
| Том 36, № 3 (2024) | Восстановление текстового слоя PDF документов со сложным фоном | Аннотация PDF (Rus) |
| Михаил Викторович ЗАГОРОДНИКОВ, Андрей Анатольевич МИХАЙЛОВ | ||
| Том 19 (2010) | Восстановление формата данных | Аннотация PDF (Rus) |
| А. И. Гетьман, Ю. В. Маркин, В. А. Падарян, Е. И. Щетинин | ||
| Том 32, № 4 (2020) | Временные причинно-упорядоченные процессы временных сетей Петри со «слабой» семантикой | Аннотация PDF (Eng) |
| Ирина Бонавентуровна ВИРБИЦКАЙТЕ, Алексей Юрьевич ЗУБАРЕВ | ||
| Том 37, № 4: часть 2. июль-август | Выбор ракурсов с помощью обратного рендеринга геометрических моделей для реконструкции материалов | Аннотация PDF (Rus) |
| Вадим Владимирович САНЖАРОВ, Владимир Александрович ФРОЛОВ, Владимир Александрович ГАЛАКТИОНОВ | ||
| Том 24 (2013) | Вывод типов для языка Python | Аннотация PDF (Rus) |
| И. Е. Бронштейн | ||
| Том 35, № 4 (2023) | Вызовы в реализации систем глубокого анализа сетевого трафика методом полного протокольного декодирования | Аннотация PDF (Rus) |
| Роман Евгеньевич ПОНОМАРЕНКО, Владислав Игоревич ЕГОРОВ, Александр Игоревич ГЕТЬМАН | ||
| Том 33, № 2 (2021) | Выполнимость мю-исчисления с арифметическими ограничениями | Аннотация PDF (Rus) |
| Йенсен ЛИМОН-ПРИЕГО, Исмаэль Эверардо БАРСЕНАС-ПАТИНЬО, Эдгард Иван БЕНЕТЕС-ГЕРРЕРО, Гильермо Хильберто МОЛЕРО-КАСТИЛЬО, Алехандро ВЕЛАСКЕС-МЕНА | ||
| Том 28, № 1 (2016) | Высокопроизводительное численное моделирование стратифицированных течений около клина в OpenFOAM | Аннотация PDF (Rus) |
| Н. Ф. Димитриева, Ю. Д. Чашечкин | ||
| Том 33, № 3 (2021) | Высокопроизводительный распределенный веб-скрапер | Аннотация PDF (Eng) |
| Денис Сергеевич ЭЙЗЕНАХ, Антон Сергеевич РАМЕЙКОВ, Игорь Валерьевич НИКИФОРОВ | ||
| Том 36, № 4 (2024) | Высокоскоростной метод перевода чисел из системы остаточных классов в позиционную систему счисления | Аннотация PDF (Eng) |
| Владислав Вячеславович ЛУЦЕНКО, Михаил Григорьевич БАБЕНКО, Мунис Мусинович ХАМИДОВ | ||
| Том 28, № 5 (2016) | Вычисление входных данных для достижения определенной функции в программе методом итеративного динамического анализа | Аннотация PDF (Rus) |
| А. Ю. Герасимов, Л. В. Круглов | ||
| Том 31, № 4 (2019) | Вычисление приоритетов срабатывания переходов для живых сетей Петри | Аннотация PDF (Eng) |
| Кирилл Геннадьевич Серебренников | ||
| Том 35, № 3 (2023) | Выявление REDoS cитуаций в регулярных выражениях структуры «домино» | Аннотация PDF (Eng) |
| Антонина Николаевна НЕПЕЙВОДА, Юлия Андреевна БЕЛИКОВА, Кирилл Константинович ШЕВЧЕНКО, Михаил Романович ТЕРЮХА, Данила Павлович КНЯЗИХИН, Александр Дмитриевич ДЕЛЬМАН, Анна Сергеевна ТЕРЕНТЬЕВА | ||
| Том 33, № 1 (2021) | Выявление неисправностей в группах мобильных роботов с использованием скользящих наблюдателей | Аннотация PDF (Rus) |
| Олег Юрьевич СЕРГИЕНКО, Алексей Нилович ЖИРАБОК | ||
| Том 36, № 4 (2024) | Выявление ошибок в программном модуле Pandas с помощью статического анализатора Svace | Аннотация PDF (Eng) |
| Мария Анатольевна ЛАПИНА, Максим Иванович ХОДАКОВ, Софья Кирилловна ГРОБОВА | ||
| Том 34, № 1 (2022) | Выявление функциональных требований в документации программного интерфейса приложения для функционального тестирования | Аннотация PDF (Eng) |
| Евгений Анатольевич ГЕРЛИЦ, Денис Степанович КИЛЬДИШЕВ, Алексей Владимирович ХОРОШИЛОВ | ||
| Том 31, № 2 (2019) | Выявление характерных особенностей программ для борьбы с компьютерным пиратством на основе интеллектуального анализа графов | Аннотация PDF (Rus) |
| Сохаил Сарвар, Зия Уль Кайум, Мухаммад Сафьян, Муддессар Икбал, Ясир Махмуд | ||
| Том 35, № 3 (2023) | Генератор дерева PSI с возможностью записи для мультиязыковой платформы IDE | Аннотация PDF (Eng) |
| Александр Сергеевич БОЖНЮК, Александр Александрович ЗАХАРОВ, Николай Владимирович ТРОПИН, Михаил Валериевич ВОЛКОВ | ||
| Том 28, № 6 (2016) | Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK | Аннотация PDF (Rus) |
| А. С. Камкин, А. М. Коцыняк, А. С. Проценко, А. Д. Татарников, М. М. Чупилко | ||
| Том 36, № 4 (2024) | Генерация временных рядов с пространственными взаимосвязями | Аннотация PDF (Eng) |
| Алена Михайловна КРОПАЧЕВА, Дмитрий Викторович ГИРДЮК, Илларион Лаврентьевич ИОВ, Антон Юрьевич ПЕРШИН | ||
| Том 28, № 3 (2016) | Генерация динамических ключей и подписей с зависимостью от времени | Аннотация PDF (Eng) |
| А. С. Кирьянцев, И. А. Стефанова | ||
| Том 35, № 2 (2023) | Генерация изображений рукописного текста на русском языке | Аннотация PDF (Rus) |
| Анастасия Олеговна БОГАТЕНКОВА, Оксана Владимировна БЕЛЯЕВА, Андрей Игоревич ПЕРМИНОВ | ||
| Том 32, № 3 (2020) | Генерация кодов для вещественной арифметики в архитектуре MIPS | Аннотация PDF (Eng) |
| Иван Сергеевич АРХИПОВ | ||
| Том 33, № 3 (2021) | Генерация сетей Петри с помощью структурных трансформаций, сохраняющих поведенческие свойства | Аннотация PDF (Eng) |
| Роман Александрович НЕСТЕРОВ, Семен Юрьевич САВЕЛЬЕВ | ||
| Том 29, № 4 (2017) | Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей | Аннотация PDF (Eng) |
| М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов | ||
| 165 - 205 из 1270 результатов | << < 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 > >> | |
Список названий
Популярные статьи
Том 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
