| Выпуск | Название | |
| Том 30, № 1 (2018) | Тесты на константные неисправности как веб-сервис | Аннотация PDF (Eng) |
| Н. А. Шаляпина, А. А. Зайцев, С. В. Батрацкий, М. Л. Громов | ||
| Том 27, № 6 (2015) | Техника инструментирования кода и оптимизация кодовых строк при моделировании фазовых переходов на языке программирования C++ | Аннотация PDF (Rus) |
| Е. В. Пальчевский, А. Р. Халиков | ||
| Том 29, № 5 (2017) | Техника плоских схем для тестирования встроенных операционных систем | Аннотация PDF (Eng) |
| В. В. Никифоров, С. Н. Баранов | ||
| Том 36, № 6 (2024) | Технические и социальные навыки, необходимые для квантовых вычислений | Аннотация PDF (Rus) |
| Рейес ХУАРЕС-РАМИРЕС, Саманта ХИМЕНЕС, Кристиан Ксавьер НАВАРРО-КОТА, Сезар ГУЕРРА-ГАРСИЯ, Эктор Херардо ПЕРЕС-ГОНСАЛЕС, Карлос Альберто ФЕРНАНДЕС-И-ФЕРНАНДЕС, Хавьер ОРТИС-ЭРНАНДЕС, Карина КАНСИНО | ||
| Том 33, № 6 (2021) | Технический долг в жизненном цикле разработки ПО: запахи кода | Аннотация PDF (Rus) |
| Владимир Владимирович КАЧАНОВ, Михаил Кириллович ЕРМАКОВ, Георгий Александрович ПАНКРАТЕНКО, Александр Вячеславович СПИРИДОНОВ, Александр Сергеевич ВОЛКОВ, Сергей Игоревич МАРКОВ | ||
| Том 32, № 1 (2020) | Технологии автоматического тестирования программных комплексов реалистичной компьютерной графики | Аннотация PDF (Rus) |
| Евгений Юрьевич Денисов, Алексей Геннадьевич Волобой, Елисей Дмитриевич Бирюков, Михаил Сергеевич Копылов, Ирина Александровна Калугина | ||
| Том 31, № 4 (2019) | Технология и методы отложенного синтеза 4K-стереороликов для сложных динамических виртуальных сцен | Аннотация PDF (Rus) |
| Петр Юрьевич Тимохин, Михаил Васильевич Михайлюк, Евгений Михайлович Вожегов, Клим Денисович Пантелей | ||
| Том 29, № 6 (2017) | Технология обработки изображений для гидравлических приложений | Аннотация PDF (Eng) |
| Дж. Теллез-Альварез, М. Гомез, Б. Руссо | ||
| Том 35, № 4 (2023) | Технология синтеза программных комплексов с гибридной визуализацией Vulkan-OpenGL | Аннотация PDF (Rus) |
| Петр Юрьевич ТИМОХИН, Михаил Васильевич МИХАЙЛЮК | ||
| Том 18 (2010) | Технология создания гетерогенных трасс, их анализа и генерации из них отчётов | Аннотация PDF (Rus) |
| С. Г. Грошев | ||
| Том 28, № 2 (2016) | Технология создания семейства приложений на основе анализа предметной области | Аннотация PDF (Eng) |
| А. А. Гудошникова, Ю. В. Литвинов | ||
| Том 35, № 2 (2023) | Типизированные неизвестные значения: шаг к решению проблемы представления отсутствующей информации в реляционных базах данных | Аннотация PDF (Rus) |
| Сергей Дмитриевич КУЗНЕЦОВ | ||
| Том 31, № 3 (2019) | Толерантный синтаксический анализ с использованием модифицированных алгоритмов LL(1) и LR(1) со встроенной обработкой символа «Any» | Аннотация PDF (Eng) |
| Алексей Валерьевич Головешкин | ||
| Том 30, № 4 (2018) | Толерантный синтаксический анализ с использованием специального символа «Any»: алгоритм и практическое применение | Аннотация PDF (Eng) |
| А. В. Головешкин, С. С. Михалкович | ||
| Том 36, № 3 (2024) | Точный метод отслеживания объектов в реальном времени для устройств с ограниченными ресурсами | Аннотация PDF (Eng) |
| Армен САРДАРЯН, Вардан СААКЯН, Ваагн МЕЛКОНЯН, Севак САРГСЯН | ||
| Том 20 (2011) | Транзакционные параллельные СУБД: новая волна | Аннотация PDF (Rus) |
| С. Д. Кузнецов | ||
| Том 33, № 3 (2021) | Транскрипция исторических записей актов гражданского состояния с использованием экстремального модельно-управляемого подхода | Аннотация PDF (Eng) |
| Раффлезия ХАН, Александр ШИВЕК, Сиара БРЕТНАХ, Тициана МАРГАРИА | ||
| Том 28, № 4 (2016) | Трансляция вложенных сетей Петри в классические сети Петри для верификации разверток | Аннотация PDF (Rus) |
| В. О. Ермакова, И. А. Ломазова | ||
| Том 32, № 3 (2020) | Трассировка сетевых пакетов в ядре Linux с использованием eBPF | Аннотация PDF (Eng) |
| Марк Германович КОВАЛЕВ | ||
| Том 29, № 1 (2017) | Трёхмерное моделирование схода лавинных потоков средствами пакета OpenFOAM | Аннотация PDF (Rus) |
| Д. И. Романова | ||
| Том 29, № 6 (2017) | Трехмерный численный анализ прорыва плотины с использованием OpenFOAM | Аннотация PDF (Eng) |
| Э. Санчес-Кордеро, М. Гомез, Э. Блейд | ||
| Том 29, № 2 (2017) | Турбулентная конвекция термоэлектричеством в охладительно-нагревательном устройстве | Аннотация PDF (Eng) |
| Х. М. Редондо, Дж. Д. Теллес-Альварес, Х. М. Санчес | ||
| Том 34, № 5 (2022) | Турбулентные течения газа в каналах различных форм поперечного сечения с массоподводом | Аннотация PDF (Rus) |
| Борис Яковлевич БЕНДЕРСКИЙ, Алена Алексеевна ЧЕРНОВА | ||
| Том 27, № 3 (2015) | Удаленное обслуживание системных вызовов в микроядерном гипервизоре | Аннотация PDF (Rus) |
| К. Маллачиев, Н. Пакулин | ||
| Том 26, № 4 (2014) | Улучшение качества разбиения графа с помощью многоуровневой оптимизации | Аннотация PDF (Rus) |
| Р. К. Пастухов, А. В. Коршунов, Д. Ю. Турдаков, С. Д. Кузнецов | ||
| Том 31, № 1 (2019) | Улучшение ранее известной верхней оценки для задачи Multiple Strip Packing и вероятностный анализ алгоритма для большого числа полос | Аннотация PDF (Rus) |
| Денис Олегович Лазарев, Николай Николаевич Кузюрин | ||
| Том 26, № 5 (2014) | Улучшенная атака по известным открытым текстам на гомоморфную криптосистему Доминго-Феррера | Аннотация PDF (Rus) |
| А. В. Трепачева | ||
| Том 23 (2012) | Унификация программ | Аннотация PDF (Rus) |
| Т. А. Новикова, В. А. Захаров | ||
| Том 27, № 3 (2015) | Унифицированная модель тестирования инструментов разработки объектно-ориентированных приложений | Аннотация PDF (Rus) |
| Павел Петрович Олейник | ||
| Том 34, № 3 (2022) | Унифицированная система типов для современного языка программирования общего назначения | Аннотация PDF (Eng) |
| Алексей Валерьевич КАНАТОВ, Евгений Александрович ЗУЕВ | ||
| Том 19 (2010) | Упаковка прямоугольников в полосу модифицированным методом Нелдера-Мида с использованием генетического алгоритма | Аннотация PDF (Rus) |
| С. А. Мартишин, М. В. Храпченко | ||
| Том 29, № 2 (2017) | Управление данными: 25 лет прогнозов | Аннотация PDF (Rus) |
| С. Д. Кузнецов | ||
| Том 31, № 1 (2019) | Управление требованиями к ответственным системам. Обзор решений | Аннотация PDF (Rus) |
| Алексей Владимирович Хорошилов, Наталья Кирилловна Горелиц, Денис Степанович Кильдишев | ||
| Том 33, № 5 (2021) | Управление требованиями при обучении профессиональных руководителей проектов | Аннотация PDF (Eng) |
| Ванесса Атенеа ВАРГАС-ПЕРЕС, Лаура Сильвия ВАРГАС-ПЕРЕС, Агустин Франсиско ГУТЬЕРРЕС-ТОРНЕС, Ана Мария СОТО-ЭРНАНДЕС, Эдгардо Мануэль ФЕЛИПЕ-РИВЕРОН | ||
| Том 33, № 6 (2021) | Упрощенные кинетические модели горения метана для расширения возможностей пакета OpenFOAM и физико-химических библиотек | Аннотация PDF (Rus) |
| Дмитрий Сергеевич КОНОНОВ, Владимир Юрьевич ГИДАСПОВ, Сергей Владимирович СТРИЖАК | ||
| Том 28, № 5 (2016) | Ускорение оптимизации программ во время связывания | Аннотация PDF (Rus) |
| К. Ю. Долгорукова, С. В. Аришин | ||
| Том 27, № 3 (2015) | Ускорение создания профилей для трехмерного векторного видео с помощью GPGPU | Аннотация PDF (Rus) |
| А. А. Цыганов | ||
| Том 35, № 6 (2023) | Усовершенствование модели оценки нефункциональных требований, классифицирующей диапазоны одинакового размера с помощью алгоритма k-ближайших соседей | Аннотация PDF (Rus) |
| Франсиско ВАЛЬДЕС-СОУТО, Хорхе ВАЛЕРИАНО-АССЕМ, Даниэль ТОРРЕС-РОБЛЕДО | ||
| Том 37, № 2 (2025) | Усовершенствованный поиск архитектур в автоматическом решении задач графового машинного обучения: расширение и динамическая приоритизация пространства поиска для повышения эффективности | Аннотация PDF (Rus) |
| Фёдор Михайлович БАЛАБАНОВ, Кирилл Сергеевич ЛУКЬЯНОВ | ||
| 1132 - 1170 из 1237 результатов | << < 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
