| Выпуск | Название | |
| Том 23 (2012) | Унификация программ | Аннотация PDF (Rus) |
| Т. А. Новикова, В. А. Захаров | ||
| Том 27, № 3 (2015) | Унифицированная модель тестирования инструментов разработки объектно-ориентированных приложений | Аннотация PDF (Rus) |
| Павел Петрович Олейник | ||
| Том 34, № 3 (2022) | Унифицированная система типов для современного языка программирования общего назначения | Аннотация PDF (Eng) |
| Алексей Валерьевич КАНАТОВ, Евгений Александрович ЗУЕВ | ||
| Том 19 (2010) | Упаковка прямоугольников в полосу модифицированным методом Нелдера-Мида с использованием генетического алгоритма | Аннотация PDF (Rus) |
| С. А. Мартишин, М. В. Храпченко | ||
| Том 37, № 4: часть 1. июль-август | Управление MDM-проектами | Аннотация PDF (Eng) |
| Сергей Викторович КУЗНЕЦОВ, Дмитрий Владимирович КОЗНОВ, Дмитрий Вадимович ЛУЦИВ | ||
| Том 37, № 4: часть 1. июль-август | Управление батареей электромобиля на основе машинного обучения и ПЛИС | Аннотация 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: март-апрель | Усовершенствованный поиск архитектур в автоматическом решении задач графового машинного обучения: расширение и динамическая приоритизация пространства поиска для повышения эффективности | Аннотация PDF (Rus) |
| Фёдор Михайлович БАЛАБАНОВ, Кирилл Сергеевич ЛУКЬЯНОВ | ||
| Том 28, № 2 (2016) | Устройство и архитектура операционной системы реального времени | Аннотация PDF (Eng) |
| К. М. Маллачиев, Н. В. Пакулин, А. В. Хорошилов | ||
| Том 35, № 3 (2023) | Уточнение предикатной абстракции при раздельном анализе потоков | Аннотация PDF (Eng) |
| Вероника Павловна РУДЕНЧИК, Павел Сергеевич АНДРИАНОВ | ||
| Том 36, № 6 (2024) | Учебная аналитика в высшей школе: десятилетие в систематическом обзоре литературы | Аннотация PDF (Eng) |
| Ангел САЛАС-МАРТИНЕС, Альберто РАМИРЕС-МАРТИНЕЛЬ, Самюэль МАРТИНЕС-РАМОС | ||
| Том 36, № 1 (2024) | Фаззинг полиморфных систем в структурах микросервисов | Аннотация PDF (Rus) |
| Артемий Сергеевич ЮРЬЕВ | ||
| Том 35, № 2 (2023) | Ферма данных: информационная система сбора, хранения и обработки неструктурированных данных из разнородных источников | Аннотация PDF (Rus) |
| Сергей Павлович ЛЕВАШКИН, Константин Николаевич ИВАНОВ, Сергей Владимирович КУШУКОВ | ||
| Том 22 (2012) | Финальные модели спецификации | Аннотация PDF (Rus) |
| Игорь Бурдонов, Александр Косачев | ||
| Том 30, № 5 (2018) | Формализация метамодели системы управления требованиями | Аннотация PDF (Rus) |
| Д. С. Кильдишев, А. В. Хорошилов | ||
| Том 28, № 5 (2016) | Формализация определения ошибок при статическом символьном выполнении | Аннотация PDF (Rus) |
| В. К. Кошелев | ||
| Том 29, № 6 (2017) | Формальная верификация библиотечных функций ядра Linux | Аннотация PDF (Rus) |
| Д. В. Ефремов, М. У. Мандрыкин | ||
| Том 32, № 6 (2020) | Формальная верификация модели мандатного контроля целостности в операционной системе KasperskyOS | Аннотация PDF (Rus) |
| Владимир Сергеевич БУРЕНКОВ | ||
| Том 31, № 6 (2019) | Формальная модель обнаружения программных ошибок с помощью символьного исполнения программ | Аннотация PDF (Rus) |
| Александр Юрьевич Герасимов, Даниил Олегович Куц, Александр Андреевич Новиков | ||
| Том 32, № 6 (2020) | Формальная модель партицированной операционной системы реального времени на Promela | Аннотация PDF (Eng) |
| Сергей Михайлович СТАРОЛЕТОВ | ||
| Том 33, № 5 (2021) | Формальные правила продукции объектной нотации для данных, определяемых EXPRESS схемой | Аннотация PDF (Rus) |
| Виталий Адольфович СЕМЕНОВ, Семен Васильевич АРИШИН, Георгий Витальевич СЕМЕНОВ | ||
| Том 33, № 5 (2021) | Формальный язык первичных спецификаций криптографических протоколов | Аннотация PDF (Rus) |
| Сергей Евгеньевич ПРОКОПЬЕВ | ||
| Том 33, № 5 (2021) | Формирование методологии разработки безопасного системного программного обеспечения на примере операционных систем | Аннотация PDF (Rus) |
| Петр Николаевич ДЕВЯНИН, Владимир Юрьевич ТЕЛЕЖНИКОВ, Алексей Владимирович ХОРОШИЛОВ | ||
| Том 29, № 2 (2017) | Фрактальный анализ растущих городов и его взаимосвязь с распределением центров здоровья | Аннотация PDF (Eng) |
| К. Е. Лейтон-Павес, Х. М. Редондо, А. М. Таркус-Альфонсо, Х. К. Джил-Мартин, Дж. Д. Теллес-Альварес | ||
| Том 37, № 1: январь-февраль | Фреймворк автоматизации тестирования на гонки по данным | Аннотация PDF (Rus) |
| Евгений Анатольевич ГЕРЛИЦ, Вадим Сергеевич МУТИЛИН | ||
| Том 35, № 3 (2023) | Фреймворк для анализа использования машинных инструкций | Аннотация PDF (Eng) |
| Данила Евгеньевич ПЕЧЕНЕВ, Яков Александрович КИРИЛЕНКО, Ольга Андреевна АФОНИНА | ||
| Том 34, № 2 (2022) | Функции потерь для обучения моделей сегментации изображений документов | Аннотация PDF (Rus) |
| Андрей Игоревич ПЕРМИНОВ, Денис Юрьевич ТУРДАКОВ, Оксана Владимировна БЕЛЯЕВА | ||
| Том 36, № 2 (2024) | Функционально-семантический анализ падежных маркеров ваховского хантыйского языка (на материале аннотированных полевых данных в системе ЛингвоДок) | Аннотация PDF (Eng) |
| Виктория Владимировна ВОРОБЬЕВА, Ирина Владимировна НОВИЦКАЯ | ||
| Том 35, № 4 (2023) | Функциональные особенности падежных показателей в ваховском хантыйском языке (на материале базы современных полевых данных на платформе ЛингвоДок) | Аннотация PDF (Rus) |
| Виктория Владимировна ВОРОБЬЕВА, Ирина Владимировна НОВИЦКАЯ | ||
| Том 37, № 2: март-апрель | Характеристики взаимодействия встречных недорасширенных струй из микросопел | Аннотация PDF (Rus) |
| Михаил Александрович КОРЕПАНОВ, Мария Равилевна КОРОЛЕВА, Екатерина Александровна МИТРЮКОВА | ||
| Том 31, № 3 (2019) | Цифровое моделирование технологии производства металлообрабатывающих механических цехов | Аннотация PDF (Eng) |
| Всеволод Павлович Котляров, Алексей Павлович Маслаков, Алексей Андреевич Толстолес | ||
| Том 33, № 1 (2021) | Цифровые двойники в туманных вычислениях: организация обработки данных с сохранением состояния на базе микропотоков работ | Аннотация PDF (Rus) |
| Амир Басим Абдуламир АЛААСАМ, Глеб Игоревич РАДЧЕНКО, Андрей Николаевич ЧЕРНЫХ, Хосе Луис ГОНСАЛЕС-КОМПЕАН | ||
| Том 36, № 2 (2024) | Четырёхмерный ACC анализ | Аннотация PDF (Eng) |
| Назгуль Ибрагимовна МУСТАФИНА, Михаил Александрович ПЛАКСИН, Полина Алексеевна МИКИШЕВА | ||
| Том 35, № 6 (2023) | Численное и экспериментальное исследование гидродинамики теплообменного аппарата | Аннотация PDF (Rus) |
| Елена Сергеевна БАЙМЕТОВА, Екатерина Александровна МИТРЮКОВА | ||
| Том 31, № 6 (2019) | Численное изучение влияния начальных турбулентных параметров на переходный режим над плоским крылом | Аннотация PDF (Eng) |
| Никита Владимирович Тряскин, Рами Али | ||
| 1190 - 1230 из 1270 результатов | << < 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
