| Выпуск | Название | |
| Том 26, № 5 (2014) | Пакетное симметричное полностью гомоморфное шифрование на основе матричных полиномов | Аннотация PDF (Rus) |
| Ф. Б. Буртыка | ||
| Том 28, № 2 (2016) | Параллельная обработка и визуализация для результатов моделирования методом молекулярной динамики | Аннотация PDF (Eng) |
| Д. В. Пузырьков, В. О. Подрыга, С. В. Поляков | ||
| Том 35, № 6 (2023) | Параллельная реализация алгоритма исправления нарушений антенных правил в маршруте OpenLane | Аннотация PDF (Rus) |
| Дмитрий Александрович БУЛАХ, Андрей Владимирович КОРШУНОВ | ||
| Том 28, № 6 (2016) | Параллельное вычисление модулярности для направленных взвешенных графов с пересекающимися сообществами | Аннотация PDF (Eng) |
| Михаил Дробышевский, Антон Коршунов, Денис Турдаков | ||
| Том 26, № 6 (2014) | Параллельные вычисления автоматами на прямом и обратном остовах графа | Аннотация PDF (Rus) |
| Игорь Бурдонов, Александр Косачев, Виктор Кулямин | ||
| Том 35, № 2 (2023) | Параллельные вычисления в задачах восстановления искаженных изображений в пространственно-спектральной форме | Аннотация PDF (Eng) |
| Борис Васильевич КОСТРОВ, Наталья Николаевна ГРИНЧЕНКО, Ангелина Алексеевна ВЬЮГИНА, Светлана Николаевна БАРАНОВА | ||
| Том 27, № 2 (2015) | Параллельные вычисления на динамически меняющемся графе | Аннотация PDF (Rus) |
| Игорь Бурдонов, Александр Косачев | ||
| Том 35, № 2 (2023) | Параметрические исследования течений в микросоплах | Аннотация PDF (Rus) |
| Екатерина Александровна МИТРЮКОВА | ||
| Том 37, № 2: март-апрель | Параметрическое исследование эффективности исполнения единичной секции маслоохладителя | Аннотация PDF (Rus) |
| Алена Алексеевна ЧЕРНОВА, Айгуль Расимовна ШИГАПОВА | ||
| Том 33, № 1 (2021) | Паттерны микросервисной архитектуры: многопрофильный обзор литературы | Аннотация PDF (Rus) |
| Хосе Али ВАЛЬДИВИЯ, Алонсо ЛОРА-ГОНСАЛЕС, Ксавье ЛИМОН, Карен КОРТЕС-ВЕРДИН, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС | ||
| Том 34, № 2 (2022) | Паттерны проектирования для аналитической платформы, основанной на знаниях | Аннотация PDF (Eng) |
| Виктор Сергеевич ЗАЯКИН, Людмила Николаевна ЛЯДОВА, Евгений Андреевич РАБЧЕВСКИЙ | ||
| Том 28, № 1 (2016) | Перекрытие коммуникаций и вычислений в итерационных методах решения систем линейных уравнений на GPU | Аннотация PDF (Rus) |
| В. А. Платонов, А. В. Монаков | ||
| Том 26, № 2 (2014) | Перспективные схемы пространственно-временной индексации для визуального моделирования масштабных индустриальных проектов | Аннотация PDF (Rus) |
| В. А. Золотов, В. А. Семенов | ||
| Том 22 (2012) | Перспективы виртуализации высокопроизводительных систем архитектуры x64 | Аннотация PDF (Rus) |
| А. О. Кудрявцев, В. К. Кошелев, А. И. Аветисян | ||
| Том 36, № 3 (2024) | Перспективы использования доверенной информационной аналитической системы на базе платформы Талисман с применением методов искусственного интеллекта для повышения эффективности эксплуатации сложных аппаратных систем | Аннотация PDF (Rus) |
| Филипп Аркадьевич КОЛОКОЛЬНИКОВ, Владимир Владимирович ОРЛОВ, Денис Юрьевич ТУРДАКОВ | ||
| Том 34, № 6 (2022) | Перспективы исследований татарского языка на платформе LingvoDoc | Аннотация PDF (Eng) |
| Фануза Шакуровна НУРИЕВА, Гульшат Раисовна ГАЛИУЛЛИНА, Айрат Фаикович ЮСУПОВ | ||
| Том 22 (2012) | Планирование команд и конвейеризация циклов на современных архитектурах | Аннотация PDF (Rus) |
| Арутюн Аветисян | ||
| Том 20 (2011) | Планирование строго периодических задач в системах реального времени | Аннотация PDF (Rus) |
| С. В. Зеленов | ||
| Том 36, № 3 (2024) | Платформа автоматизации фаззинг-тестирования компонентов операционной системы | Аннотация PDF (Rus) |
| Егор Петрович СУРАЕВ, Виктория Вячеславовна ЕГОРОВА, Алексей Сергеевич ПАНОВ | ||
| Том 32, № 2 (2020) | Платформа автоматического фаззинга программного интерфейса приложений | Аннотация PDF (Rus) |
| Севак Сеникович САРГСЯН, Ваагн Геворгович ВАРДАНЯН, Дживан Андраникович АКОПЯН, Анна Мартиросовна АГАБАЛЯН, Матевос Саргисович МЕГРАБЯН, Шамиль Фаимович КУРМАНГАЛЕЕВ, Александр Юрьевич ГЕРАСИМОВ, Михаил Кириллович ЕРМАКОВ, Сергей Павлович ВАРТАНОВ | ||
| Том 36, № 3 (2024) | Платформа для сбора дерматоскопических изображений новообразований пациентов | Аннотация PDF (Rus) |
| Александр Васильевич КОЗАЧОК, Андрей Андреевич СПИРИН, Кирилл Вячеславович ЕЛЕЦКИЙ, Елена Сергеевна КОЗАЧОК | ||
| Том 30, № 5 (2018) | Платформа межпроцедурного статического анализа бинарного кода | Аннотация PDF (Rus) |
| А. К. Асланян | ||
| Том 34, № 3 (2022) | Платформа мобильного обучения, ориентированная на мониторинг и настройку обучения: оценка удобства использования на основе лабораторного исследования | Аннотация PDF (Eng) |
| Эрминио ДЕЛЬ АНХЕЛЬ-ФЛОРЕС, Эдуардо ЛОПЕС-ДОМИНГЕС, Есения ЭРНАНДЕС-ВЕЛАСКЕС, Сауль ДОМИНГЕС-ИСИДРО, Мария Ауксилио МЕДИНА-НИЭТО, Хорхе ДЕ ЛА КАЛЬЕХА | ||
| Том 28, № 5 (2016) | Платформенно-независимый и масштабируемый инструмент поиска клонов кода в бинарных файлах | Аннотация PDF (Rus) |
| А. К. Асланян, Ш. Ф. Курмангалеев, В. Г. Варданян, М. С. Арутюнян, С. С. Саргсян | ||
| Том 34, № 6 (2022) | Повышение точности статического анализа за счет учета значений полей класса, имеющих единственное константное значение | Аннотация PDF (Rus) |
| Вадим Сергеевич КАРЦЕВ, Валерий Николаевич ИГНАТЬЕВ | ||
| Том 23 (2012) | Повышение уровня представления трасс выполнения программ | Аннотация PDF (Rus) |
| А. Г. Назаров, М. А. Климушенкова, П. М. Довгалюк, В. А. Макаров | ||
| Том 31, № 5 (2019) | Повышение эффективность фаззинга с помощью интервальных мутаций | Аннотация PDF (Eng) |
| Севак Сеникович Саргсян, Дживан Андраникович Акопян, Оганес Мушегович Мовсисян, Матевос Саргисович Меграбян, Ваагн Телемакович Сирунян, Шамиль Фаимович Курмангалеев | ||
| Том 36, № 3 (2024) | Поддержка Visual Basic .NET в статическом анализаторе SharpChecker | Аннотация PDF (Eng) |
| Вадим Сергеевич КАРЦЕВ, Валерий Николаевич ИГНАТЬЕВ | ||
| Том 28, № 3 (2016) | Поддержка выполнения проектов, ориентированных на данные, в современных предприятиях | Аннотация PDF (Eng) |
| А. Р. Топчян | ||
| Том 21 (2011) | Поддержка команд с условным выполнением в селективном планировщике команд | Аннотация PDF (Rus) |
| Дмитрий Мельник, Александр Монаков | ||
| Том 28, № 4 (2016) | Поддержка стандарта OpenMP 4.0 для архитектуры NVIDIA PTX в компиляторе GCC | Аннотация PDF (Rus) |
| А. В. Монаков, В. А. Иванишин | ||
| Том 32, № 2 (2020) | Подход автоматизации мониторинга дисковых носителей для системы оркестрации контейнеров Kubernetes | Аннотация PDF (Eng) |
| Анастасия Сергеевна ШЕМЯКИНСКАЯ, Игорь Валерьевич НИКИФОРОВ | ||
| Том 34, № 2 (2022) | Подход автоматического управления объектным хранилищем с помощью Operator SDK и Custom Resource Definition | Аннотация PDF (Eng) |
| Кирилл Максимович СТОНОЖЕНКО, Игорь Валерьевич НИКИФОРОВ, Сергей Михайлович УСТИНОВ | ||
| Том 23 (2012) | Подход для проведения рефакторинга «Выделение функции» в инструменте Klocwork Insight | Аннотация PDF (Rus) |
| Н. Л. Луговской | ||
| Том 30, № 5 (2018) | Подход к анализу исполняемого кода на основе восстановления программной архитектуры | Аннотация PDF (Rus) |
| Д. С. Кононов | ||
| Том 27, № 3 (2015) | Подход к верификации модуля прямого доступа к памяти | Аннотация PDF (Rus) |
| В. Н. Куцевол, А. Н. Мешков, М. П. Рыжов, П. В. Фролов | ||
| Том 22 (2012) | Подход к восстановлению потока управления запутанной программы | Аннотация PDF (Rus) |
| И. Н. Ледовских, М. Г. Бакулин | ||
| Том 27, № 3 (2015) | Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов | Аннотация PDF (Rus) |
| И. . Мельниченко, А. . Камкин, С. . Смолов | ||
| Том 34, № 2 (2022) | Подход к генерации тестовых программ для верификации когерентности памяти микропроцессоров «Эльбрус» | Аннотация PDF (Eng) |
| Владимир Андреевич АГАФОНОВ, Павел Викторович ФРОЛОВ, Алексей Николаевич МЕШКОВ | ||
| Том 36, № 2 (2024) | Подход к исследованию учебных планов, основанный на данных | Аннотация PDF (Eng) |
| Юри НАСУ, Михаил Сергеевич ДРОБИНИН, Марк Станиславович ЕФАНОВ, Вячеслав Владимирович ЛАНИН | ||
| Том 28, № 2 (2016) | Подход к обнаружению анти-паттернов в сервис-ориентированных системах | Аннотация PDF (Eng) |
| А. С. Югов | ||
| 739 - 779 из 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
