| Выпуск | Название | |
| Том 28, № 5 (2016) | Оценка критичности программных дефектов в условиях работы современных защитных механизмов | Аннотация PDF (Rus) |
| А. Н. Федотов, В. А. Падарян, В. В. Каушан, Ш. Ф. Курмангалеев, А. В. Вишняков, А. Р. Нурмухаметов | ||
| Том 37, № 2 (2025) | Оценка неопределенности в задаче регрессии при байесовской регуляризации решения | Аннотация PDF (Rus) |
| Антон Сергеевич НУЖНЫЙ, Елена Александровна САВЕЛЬЕВА | ||
| Том 33, № 2 (2021) | Оценка пользовательских историй на основе декомпозиции сложности с использованием байесовских сетей | Аннотация PDF (Rus) |
| Майра ДУРАН, Рейес ХУАРЕС-РАМИРЕС, Саманта ХИМЕНЕС, Клаудия ТОНА | ||
| Том 34, № 3 (2022) | Оценка пригодности к использованию нейрокомпьютерных интерфейсов: анализ состояния дел | Аннотация PDF (Eng) |
| Йоселин Нохеми ОРТЕГА-ХИХОН, Кармен МЕЗУРА-ГОДОЙ | ||
| Том 35, № 1 (2023) | Оценка программного проекта с использованием методов гладких кривых и методов выбора переменных и их регуляризации с использованием базы данных клиновидной формы | Аннотация PDF (Eng) |
| Франсиско ВАЛЬДЕС-СУТО, Лизбет НАРАНХО-АЛЬБАРРАН | ||
| Том 21 (2011) | Оценка производительности программного обеспечения в виртуализованном окружении на основе атомарных тестов | Аннотация PDF (Rus) |
| П. А. Клеменков | ||
| Том 21 (2011) | Оценка Производительности Протокола Реализации Snapshot Isolation | Аннотация PDF (Rus) |
| Д. Н. Василик | ||
| Том 34, № 5 (2022) | Оценка сверху числа активных таймеров в сетях Петри с временными дугами с помощью динамических систем точек на графах | Аннотация PDF (Eng) |
| Леонид Владимирович ДВОРЯНСКИЙ | ||
| Том 26, № 5 (2014) | Оценка сложности крупноблочных облачных вычислений, использующих арифметику повышенной точности | Аннотация PDF (Rus) |
| С. С. Толстых, В. Е. Подольский | ||
| Том 34, № 1 (2022) | Оценка уровня защищенности недоверенного программного обеспечения на основе технологии TrustZone | Аннотация PDF (Eng) |
| Дмитрий Олегович МАРКИН, Сергей Михайлович МАКЕЕВ, Чунг Тхай ХО | ||
| Том 25 (2013) | Оценка эффективности минимизации ограничений запросов к СУБД | Аннотация PDF (Rus) |
| Н. А. Мендкович, С. Д. Кузнецов | ||
| Том 34, № 6 (2022) | Оценка языковой способности нейронных моделей на материале предикативного согласования в русском языке | Аннотация PDF (Rus) |
| Ксения Андреевна СТУДЕНИКИНА | ||
| Том 35, № 6 (2023) | Оценки сложности программного обеспечения на основе косвенных связей | Аннотация PDF (Rus) |
| Хосе НАВАС-СУ, Антонио ГОНСАЛЕС-ТОРРЕС | ||
| Том 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 (2025) | Параметрическое исследование эффективности исполнения единичной секции маслоохладителя | Аннотация 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) |
| А. Г. Назаров, М. А. Климушенкова, П. М. Довгалюк, В. А. Макаров | ||
| 703 - 741 из 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
