| Выпуск | Название | |
| Том 26, № 4 (2014) | Лингвистический подход к определению суицида | Аннотация PDF (Rus) |
| Л. М. Ермакова, С. А. Ермаков | ||
| Том 36, № 1 (2024) | Личностные и технические навыки студентов-программистов, полученные в университетской компании по разработке программного обеспечения | Аннотация PDF (Eng) |
| Хорхе Рафаэль АГИЛАР СИСНЕРОС, Карлос Альберто ФЕРНАНДЕС-И-ФЕРНАНДЕС | ||
| Том 29, № 5 (2017) | Логика первого порядка для задания требований к безопасному программному коду | Аннотация PDF (Rus) |
| А. В. Козачок | ||
| Том 26, № 6 (2014) | Локализация неисправной компоненты в композиции расширенных автоматов | Аннотация PDF (Rus) |
| Светлана Прокопенко | ||
| Том 33, № 3 (2021) | Локализованное применение частичной типизации | Аннотация PDF (Eng) |
| Виктор Сергеевич КРЫШТАПОВИЧ | ||
| Том 37, № 3 (2025) | Макромоделирование компонентов защиты от электростатического разряда с применением программного обеспечения с открытым исходным кодом | Аннотация PDF (Eng) |
| Вадим Вадимович КУЗНЕЦОВ, Владимир Викторович АНДРЕЕВ, Семён Андреевич ЛОМАКИН | ||
| Том 33, № 4 (2021) | Маркирование текстовых документов на экране монитора посредством изменения яркости фона в областях межстрочных интервалов | Аннотация PDF (Rus) |
| Алексей Юрьевич ЯКУШЕВ, Юрий Витальевич МАРКИН, Станислав Александрович ФОМИН, Дмитрий Олегович ОБЫДЕНКОВ, Борис Владимирович КОНДРАТЬЕВ | ||
| Том 28, № 4 (2016) | Масштабируемые учебно-экспериментальные среды для современных предприятий | Аннотация PDF (Eng) |
| А. Р. Топчян | ||
| Том 27, № 1 (2015) | Масштабируемый инструмент поиска клонов кода на основе семантического анализа программ | Аннотация PDF (Rus) |
| Севак Саргсян, Шамиль Курмангалеев, Андрей Белеванцев, Айк Асланян, Артем Балоян | ||
| Том 26, № 6 (2014) | Масштабируемый метод оценки управления доверием на основе распределенных систем онлайн мониторинга | Аннотация PDF (Rus) |
| Х. Лопез, С. Мааг, Ж. Моралес | ||
| Том 31, № 1 (2019) | Математическая модель, описывающая динамику воздушных потоков в турбинном спирометре | Аннотация PDF (Rus) |
| Евгений Александрович Киселев, Алексей Владимирович Максимов, Сергей Дмитриевич Кургалин, Сергей Алексеевич Зуев | ||
| Том 30, № 6 (2018) | Математическая модель процесса дегазации полимерного покрытия в условиях открытого космоса | Аннотация PDF (Rus) |
| Н. А. Полибина | ||
| Том 29, № 2 (2017) | Математическая формализация задач проектного планирования в расширенной постановке | Аннотация PDF (Rus) |
| А. С. Аничкин, В. А. Семенов | ||
| Том 34, № 6 (2022) | Математические и программные модели задач технического зрения робототехнических комплексов на основе микропроцессоров “Эльбрус” | Аннотация PDF (Rus) |
| Никита Алексеевич БОЧАРОВ, Николай Борисович ПАРАМОНОВ, Олег Анатольевич СЛАВИН, Константин Александрович СУМИНОВ | ||
| Том 33, № 5 (2021) | Математические модели и методы расчета процессов, сопровождающих обледенение летательного аппарата | Аннотация PDF (Rus) |
| Иван Алексеевич АМЕЛЮШКИН, Максим Александрович КУДРОВ, Алексей Олегович МОРОЗОВ, Андрей Сергеевич ЩЕГЛОВ | ||
| Том 34, № 5 (2022) | Математическое моделирование гидродинамических процессов в прибрежной акватории Японского моря | Аннотация PDF (Rus) |
| Елена Владимировна АМОСОВА, Кирилл Сергеевич КУЗНЕЦОВ, Виталий Сергеевич ЛЕМЕШЕВ | ||
| Том 30, № 2 (2018) | Математическое моделирование двумерных течений газа с использованием RKDG-метода на структурированных прямоугольных сетках | Аннотация PDF (Rus) |
| В. Н. Корчагова, И. Н. Фуфаев, С. М. Сауткина, В. В. Лукин | ||
| Том 35, № 3 (2023) | Математическое моделирование и программное обеспечение для расчета режимов очистки гальванических стоков от тяжелых и цветных металлов в аппаратах с проточными трехмерными электродами | Аннотация PDF (Eng) |
| Валентина Владимировна КУЗИНА, Валерий Константинович ВАРЕНЦОВ, Александр Николаевич КОШЕВ, Глеб Михайлович КУПРИЯНКО | ||
| Том 37, № 1 (2025) | Математическое моделирование почвенных процессов с использованием открытого программного обеспечения | Аннотация PDF (Rus) |
| Константин Борисович КОШЕЛЕВ, Андрей Всеволодович КУЛИНСКИЙ, Сергей Владимирович СТРИЖАК | ||
| Том 34, № 6 (2022) | Математическое моделирование процесса течения газа в проточной части турбомолекулярного вакуумного насоса с использованием модели взаимодействия газа с поверхностью Черчиньяни-Лампис | Аннотация PDF (Rus) |
| Ульяна Саидовна ГОРДЕЕВА, Феликс Маратович ШАРИПОВ | ||
| Том 37, № 2 (2025) | Математическое моделирование турбулентного потока жидкости с помощью квазигидродинамических уравнений и модели турбулентности 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 (2025) | Место коми-язьвинского в классификации языков коми на основании фонетических, лексических и морфологических особенностей с помощью программ платформы ЛингвоДок | Аннотация 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) |
| Д. В. Костырев, С. И. Анищенко, М. В. Петрушан | ||
| 391 - 429 из 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
