| Выпуск | Название | |
| Том 33, № 1 (2021) | Последние тенденции в развитии подводной беспроводной сенсорной сети: систематический обзор литературы | Аннотация PDF (Rus) |
| Аиша ТАРИК, Фарук АЗАМ, Мухаммад Васим АНВАР, Тайиба ЗАХУР, Абдул Вахаб МУЗАФФАР | ||
| Том 37, № 2: март-апрель | Построение гидравлической модели теплообменного аппарата | Аннотация PDF (Rus) |
| Елена Сергеевна БАЙМЕТОВА, Мария Равилевна КОРОЛЕВА | ||
| Том 30, № 3 (2018) | Построение модулей проверки на основе эталонных функциональных моделей при автономной верификации подсистемы связи | Аннотация PDF (Eng) |
| Д. А. Лебедев, И. А. Стотланд | ||
| Том 30, № 3 (2018) | Построение модульного программного обеспечения на основе однородной компонентой модели | Аннотация PDF (Eng) |
| К. А. Маллачиев, А. В. Хорошилов | ||
| Том 33, № 4 (2021) | Построение нейросетевых моделей морфологического и морфемного анализа текста | Аннотация PDF (Rus) |
| Александр Сергеевич САПИН | ||
| Том 23 (2012) | Построение обфусцирующего компилятора на основе инфраструктуры LLVM | Аннотация PDF (Rus) |
| Ш. Ф. Курмангалеев, В. П. Корчагин, В. В. Савченко, С. С. Саргсян | ||
| Том 29, № 6 (2017) | Построение предикатов безопасности для некоторых типов программных дефектов | Аннотация PDF (Rus) |
| А. Н. Федотов, В. В. Каушан, С. С. Гайсарян, Ш. Ф. Курмангалеев | ||
| Том 26, № 6 (2014) | Построение прямого и обратного остовов автоматами на графе | Аннотация PDF (Rus) |
| Игорь Бурдонов, Александр Косачев | ||
| Том 34, № 4 (2022) | Построение распределения данных и генерация кода при распараллеливании на гетерогенный вычислительный кластер | Аннотация PDF (Eng) |
| Александр Сергеевич КОЛГАНОВ, Никита Андреевич КАТАЕВ | ||
| Том 24 (2013) | Построение спецификаций программных интерфейсов в открытой системе покомпонентной верификации ядра Linux | Аннотация PDF (Rus) |
| Е. М. Новиков | ||
| Том 34, № 4 (2022) | Построение требований и архитектуры облачного оркестратора платформенных сервисов | Аннотация PDF (Rus) |
| Никита Алексеевич ЛАЗАРЕВ, Олег Дмитриевич БОРИСЕНКО | ||
| Том 34, № 5 (2022) | Практика и перспективы применения открытых и собственных программных решений в маршруте верификации систем на кристалле | Аннотация PDF (Rus) |
| Антон Витальевич ГАРАЩЕНКО, Дарья Сергеевна ЛАШИНА, Святослав Александрович НИКИТИН, Артём Валерьевич НИКОЛАЕВ, Евгений Андреевич ПРОКОПЬЕВ, Федор Михайлович ПУТРЯ, Булат Намсараевич ЦЫРЕНЖАПОВ | ||
| Том 32, № 5 (2020) | Практика и перспективы применения семейства эмуляторов архитектур мейнфреймов IBM | Аннотация PDF (Rus) |
| Александр Викторович ШМИД | ||
| Том 32, № 6 (2020) | Практическая абстрактная интерпретация бинарного кода | Аннотация PDF (Rus) |
| Михаил Александрович СОЛОВЬЕВ, Максим Геннадьевич БАКУЛИН, Сергей Сергеевич МАКАРОВ, Дмитрий Валерьевич МАНУШИН, Вартан Андроникович ПАДАРЯН | ||
| Том 28, № 2 (2016) | Практический опыт реализации подходов программной и системной инженерии для управления требованиями при разработке программного обеспечения в авиационной отрасли | Аннотация PDF (Eng) |
| И. В. Ковернинский, А. В. Кан, В. Б. Волков, Ю. С. Попов, Н. К. Горелиц | ||
| Том 20 (2011) | Предислоаие | Подробности PDF (Rus) |
| В. П. Иванников | ||
| Том 28, № 5 (2016) | Предисловие | Аннотация PDF (Rus) |
| А. И. Аветисян | ||
| Том 28, № 6 (2016) | Предисловие | Аннотация PDF (Rus) |
| А. И. Аветисян | ||
| Том 27, № 3 (2015) | Предисловие | Аннотация PDF (Rus) |
| А. С. Камкин, А. К. Петренко, А. Н. Терехов | ||
| Том 26, № 1 (2014) | Предисловие | Подробности PDF (Rus) |
| В. П. Иванников | ||
| Том 26, № 4 (2014) | Предисловие | Подробности PDF (Rus) |
| С. Д. Кузнецов | ||
| Том 26, № 5 (2014) | Предисловие | Аннотация PDF (Rus) |
| А. И. Аветисян | ||
| Том 26, № 6 (2014) | Предисловие | Аннотация PDF (Rus) |
| Н. В. Евтушенко, Ана Р. Кавалли, А. К. Петренко | ||
| Том 25 (2013) | Предисловие | Подробности PDF (Rus) |
| В. П. Иванников | ||
| Том 27, № 6 (2015) | Предисловие | Подробности PDF (Rus) |
| В. П. Иванников | ||
| Том 24 (2013) | Предисловие | Подробности PDF (Rus) |
| В. П. Иванников | ||
| Том 23 (2012) | Предисловие | Подробности PDF (Rus) |
| В. П. Иванников | ||
| Том 22 (2012) | Предисловие | Аннотация PDF (Rus) |
| В. П. Иванников | ||
| Том 19 (2010) | Предисловие | Подробности PDF (Rus) |
| В. П. Иванников | ||
| Том 18 (2010) | Предисловие | Подробности PDF (Rus) |
| В. П. Иванников | ||
| Том 31, № 2 (2019) | Предисловие к специальному выпуску «Продвинутые компьютерные методы: от теории к практике» | Аннотация PDF (Eng) |
| Андрей Николаевич Черных, Аллел Хаджали | ||
| Том 36, № 6 (2024) | Предметно-ориентированное проектирование в микросервисной архитектуре | Аннотация PDF (Eng) |
| Хосуэ САНГАБРИЭЛЬ-АЛАРКОН, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС, Ксавьер ЛИМОН, М. Карен КОРТЕС-ВЕРДИН | ||
| Том 33, № 4 (2021) | Предотвращение уязвимостей, возникающих в результате оптимизации кода с неопределенным поведением | Аннотация PDF (Rus) |
| Роман Вячеславович БАЕВ, Леонид Владленович СКВОРЦОВ, Евгений Алексеевич КУДРЯШОВ, Рубен Артурович БУЧАЦКИЙ, Роман Александрович ЖУЙКОВ | ||
| Том 37, № 5: сентябрь-октябрь | Предсказание времени приема-передачи с использованием методов машинного обучения | Аннотация PDF (Eng) |
| Иван Александрович СТЕПАНОВ, Роман Евгеньевич ПОНОМАРЕНКО, Денис Ростиславович ГОЛОВАШ, Антон Юрьевич ПОКИДЬКО, Александр Игоревич ГЕТЬМАН | ||
| Том 37, № 6: часть 1. ноябрь-декабрь | Предсказание истинности предупреждений промышленного статического анализатора с использованием методов машинного обучения | Аннотация PDF (Rus) |
| Ульяна Владимировна ТЯЖКОРОБ, Михаил Владимирович БЕЛЯЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ, Валерий Николаевич ИГНАТЬЕВ | ||
| Том 37, № 2: март-апрель | Предсказание характеристик СБИС по логической схеме с помощью методов машинного обучения | Аннотация PDF (Rus) |
| Михаил Сергеевич ЛЕБЕДЕВ, Дарья Алексеевна ДЫСКИНА, Анастасия Юрьевна ЕРЕМЕНКО, Фёдор Александрович КАБАНОВ, Илья Александрович КОЗМИН, Даниил Михайлович ПЕТРЕНКО, Никита Басуевич ПОУДИАЛ, Андрей Алексеевич СЕРГЕЕВ, Рена Афраил кызы ШИРИНОВА | ||
| Том 28, № 3 (2016) | Преобразование абстрактных поведенческих сценариев в сценарии применимые для тестирования | Аннотация PDF (Eng) |
| П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, Н. В. Воинов, И. А. Селин | ||
| Том 30, № 2 (2018) | Преобразование типизированных функций в реляционную форму | Аннотация PDF (Rus) |
| П. А. Лозов, Д. Ю. Булычев | ||
| Том 27, № 5 (2015) | Приближенный алгоритм для хроматической раскраски двудольных графов за полиномиальное в среднем время | Аннотация PDF (Rus) |
| А. С. Асратян, Н. Н. Кузюрин | ||
| Том 29, № 1 (2017) | Прикладное применение динамического анализа программ, исполняющихся в интерпретирующих средах | Аннотация PDF (Rus) |
| С. П. Вартанов, М. К. Ермаков, А. Ю. Герасимов | ||
| Том 30, № 1 (2018) | Применение AVX512-векторизации для увеличения производительности генератора псевдослучайных чисел | Аннотация PDF (Rus) |
| М. С. Гуськова, Л. Ю. Бараш, Л. Н. Щур | ||
| Том 31, № 5 (2019) | Применение i-векторов для автоматизированного определения уровня близости языков | Аннотация PDF (Rus) |
| Анс-Атаол Улдович Берзинь | ||
| Том 28, № 3 (2016) | Применение MapReduce для проверки соответствия моделей процессов и логов событий | Аннотация PDF (Eng) |
| И. С. Шугуров, А. А. Мицюк | ||
| Том 21 (2011) | Применение алгебры подстановок для унификации программ | Аннотация PDF (Rus) |
| В. А. Захаров, Т. А. Новикова | ||
| Том 35, № 6 (2023) | Применение алгоритмов машинного обучения для предсказания турбулентной вязкости | Аннотация PDF (Rus) |
| Дарья Игоревна РОМАНОВА, Андрей Сергеевич ЕПИХИН, Дарья Юрьевна ИЛЬИНА | ||
| 856 - 900 из 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
