| Выпуск | Название | |
| Том 25 (2013) | Оптимальное упорядочение конфликтующих объектов и задача коммивояжера | Аннотация PDF (Rus) |
| А. В. Воеводин, С. А. Косяченко | ||
| Том 37, № 3 (2025) | Оптимизации генерации иерархических уровней детализации для масштабных полигональных сцен | Аннотация PDF (Rus) |
| Василий Николаевич ШУТКИН, Никита Константинович МОРОЗКИН, Виталий Адольфович СЕМЕНОВ, Олег Анатольевич ТАРЛАПАН | ||
| Том 33, № 3 (2021) | Оптимизации расположения данных для компилятора LCC для архитектуры Эльбрус | Аннотация PDF (Eng) |
| Виктор Евгеньевич ШАМПАРОВ, Мурад Искендер-оглы НЕЙМАН-ЗАДЕ | ||
| Том 35, № 5 (2023) | Оптимизация алгоритма деления чисел в системе остаточных классов на основе функции ядра Акушского | Аннотация PDF (Rus) |
| Владислав Вячеславович ЛУЦЕНКО, Михаил Григорьевич БАБЕНКО, Андрей Николаевич ЧЕРНЫХ, Мария Анатольевна ЛАПИНА | ||
| Том 20 (2011) | Оптимизация динамической двоичной трансляции | Аннотация PDF (Rus) |
| Кирилл Батузов, Алексей Меркулов | ||
| Том 28, № 1 (2016) | Оптимизация динамической загрузки библиотек на архитектуре ARM | Аннотация PDF (Rus) |
| Е. А. Кудряшов, Д. М. Мельник, А. В. Монаков | ||
| Том 30, № 1 (2018) | Оптимизация доступа к страницам памяти в системах, использующих программную реализацию глобального страничного кеша | Аннотация PDF (Rus) |
| Е. И. Гусев | ||
| Том 22 (2012) | Оптимизация задачи проверки выполнимости булевских ограничений при помощи кэширования промежуточных результатов | Аннотация PDF (Rus) |
| С. П. Вартанов, Д. В. Сидоров | ||
| Том 37, № 3 (2025) | Оптимизация конфиденциальных запросов к базе данных на облаке | Аннотация PDF (Rus) |
| Николай Павлович ВАРНОВСКИЙ, Сергей Анатольевич МАРТИШИН, Марина Валерьевна ХРАПЧЕНКО, Александр Владимирович ШОКУРОВ | ||
| Том 26, № 3 (2014) | Оптимизация метода решения линейных систем уравнений в OpenFOAM для платформы MPI + CUDA | Аннотация PDF (Rus) |
| А. В. Монаков, В. А. Платонов | ||
| Том 26, № 1 (2014) | Оптимизация приложений для заданных статических компиляторов и целевых архитектур: методы и инструменты | Аннотация PDF (Rus) |
| Дмитрий Мельник, Шамиль Курмангалеев, Арутюн Аветисян, Андрей Белеванцев, Дмитрий Плотников, Мамикон Варданян | ||
| Том 33, № 5 (2021) | Оптимизация программ на ProVerif для криптографических протоколов выработки общего ключа | Аннотация PDF (Rus) |
| Евгений Максимович ВИНАРСКИЙ, Алексей Васильевич ДЕМАКОВ | ||
| Том 22 (2012) | Оптимизация расчётов в пакете OpenFOAM на GPU | Аннотация PDF (Rus) |
| А. В. Монаков | ||
| Том 28, № 5 (2016) | Оптимизация читаемости тестов порождаемых при символьных вычислениях | Аннотация PDF (Rus) |
| И. А. Якимов, А. С. Кузнецов | ||
| Том 34, № 6 (2022) | Опция «Phonology» платформы LingvoDoc как способ верификации (на материале сосьвинского диалекта мансийского языка) | Аннотация PDF (Rus) |
| Наталья Андреевна КОШЕЛЮК | ||
| Том 24 (2013) | Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей | Аннотация PDF (Rus) |
| В. П. Иванников, А. К. Петренко, В. В. Кулямин, А. В. Максимов | ||
| Том 37, № 3 (2025) | Опыт отраслевого применения программного обеспечения с открытым исходным кодом при аэродинамическом проектировании и проверочном моделировании обтекания летательных аппаратов | Аннотация PDF (Rus) |
| Андрей Леонидович ПАВЛЕВИЧ | ||
| Том 34, № 3 (2022) | Организация безопасного запроса к базе данных на облаке | Аннотация PDF (Rus) |
| Сергей Анатольевич МАРТИШИН, Марина Валерьевна ХРАПЧЕНКО, Александр Владимирович ШОКУРОВ | ||
| Том 35, № 5 (2023) | Организация конфиденциальных запросов к облаку | Аннотация PDF (Rus) |
| Николай Павлович ВАРНОВСКИЙ, Сергей Анатольевич МАРТИШИН, Марина Валерьевна ХРАПЧЕНКО, Александр Владимирович ШОКУРОВ | ||
| Том 30, № 2 (2018) | Организация полностью самопроверяемой схемы встроенного контроля на основе метода логического дополнения до равновесного кода «2 из 4» | Аннотация PDF (Rus) |
| Д. В. Ефанов, В. В. Сапожников, Вл. В. Сапожников, Д. В. Пивоваров | ||
| Том 37, № 1 (2025) | Организация статического анализа на абстрактных синтаксических деревьях с помощью конечных автоматов | Аннотация PDF (Rus) |
| Валерий Николаевич ИГНАТЬЕВ | ||
| Том 31, № 2 (2019) | Ориентированное на данные планирование с применением отказоустойчивого метода динамической кластеризации для поддержки потоков научных работ в облаках | Аннотация PDF (Rus) |
| Зульфикар Ахмад, Али Имран Джехангири, Мехрин Ифтихар, Ариф Икбал Умер, Ибрар Афзал | ||
| Том 28, № 1 (2016) | Основанный на резюме метод реализации произвольных контекстно-чувствительных проверок при анализе исходного кода посредством символьного выполнения | Аннотация PDF (Rus) |
| А. В. Дергачёв, А. В. Сидорин | ||
| Том 36, № 1 (2024) | Основы квантовых вычислений и их связь с разработкой программного обеспечения | Аннотация PDF (Eng) |
| Рейес ХУАРЕС-РАМИРЕС, Чристиан Ксавьер НАВАРРО-КОТА, Саманта ХИМЕНЕС, Алан Давид РАМИРЕС-НОРЬЕГА, Ма Вероника ТАПИЯ-ИБАРРА, Сесар Артуро ГЕРРА-ГАРСИЯ, Эктор Херардо ПЕРЕС-ГОНСАЛЕС, Карлос Альберто ФЕРНАНДЕС-И-ФЕРНАНДЕС | ||
| Том 29, № 1 (2017) | Особенности построения расчетной схемы для моделирования динамики стабилизатора расхода в пакете OpenFOAM | Аннотация PDF (Rus) |
| В. Г. Мельникова, О. С. Коцур, Г. А. Щеглов | ||
| Том 34, № 5 (2022) | Особенности построения сетки для моделирования процесса обледенения треугольного крыла сложной формы | Аннотация PDF (Rus) |
| Константин Борисович КОШЕЛЕВ, Андрей Владимирович ОСИПОВ, Сергей Владимирович СТРИЖАК | ||
| Том 33, № 5 (2021) | Особенности реализации эффективного алгоритма параллельных вычислений для моделирования обледенения стреловидного крыла с профилем GLC-305 | Аннотация PDF (Rus) |
| Константин Борисович КОШЕЛЕВ, Андрей Владимирович ОСИПОВ, Сергей Владимирович СТРИЖАК | ||
| Том 24 (2013) | Особенности табличных выражений SQL и их соответствие с концепциями реляционной модели данных | Аннотация PDF (Rus) |
| И. В. Блудов | ||
| Том 35, № 2 (2023) | Особенности численного моделирования работы воздушно-тепловой завесы в OpenFOAM | Аннотация PDF (Rus) |
| Сергей ГРИГОРЬЕВ, Мария Равилевна КОРОЛЕВА, Ольга Владимировна МИЩЕНКОВА | ||
| Том 36, № 1 (2024) | От простого взаимодействия к персонализированному обучению: исследование взаимодействий пользователя с объектом в интеллектуальном окружении | Аннотация PDF (Eng) |
| Хосе-Гильермо ЭРНАНДЕС-КАЛЬДЕРОН, Эдгар Иван БЕНИТЕС-ГЕРРЕРО, Хосе Рафаэль РОХАНО-КАСЕРЕС, Кармен МЕСУРА-ГОДОЙ | ||
| Том 35, № 5 (2023) | Открытая система хранения и обработки набора данных комбинационных схем | Аннотация PDF (Eng) |
| Данил Александрович МЯЧИН, Виктория Павловна ПУГАЧ, Степан Сергеевич АВДЕЮК, Владимир Викторович ЗУНИН, Александр Юрьевич РОМАНОВ | ||
| Том 36, № 5 (2024) | Открытое промежуточное представление специализированных потоковых вычислителей, основанное на MLIR | Аннотация PDF (Rus) |
| Александр Сергеевич КАМКИН, Михаил Юрьевич ЛИТВИНОВ, Иван Александрович ГРИГОРОВ | ||
| Том 35, № 3 (2023) | Отладчик декларативного DSL для разработки телекоммуникационных систем | Аннотация PDF (Eng) |
| Тарас Михайлович СКАЖЕНИК, Дмитрий Владимирович КОЗНОВ | ||
| Том 29, № 4 (2017) | Отладчик для операционной системы реального времени: проблемы мультиплатформенности | Аннотация PDF (Eng) |
| А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин | ||
| Том 32, № 4 (2020) | Отладчик параллельных программ для ОС Linux | Аннотация PDF (Rus) |
| Алексей Борисович КИСЕЛЕВ, Сергей Николаевич КИСЕЛЕВ | ||
| Том 30, № 5 (2018) | Отслеживание операций с файловой системой ext3 в эмуляторе QEMU | Аннотация PDF (Rus) |
| В. М. Степанов, П. М. Довгалюк, Д. Н. Полетаев | ||
| Том 33, № 4 (2021) | Оценка влияния различных неархитектурных изменений предсказательной модели на качество классификации ЭКГ | Аннотация PDF (Rus) |
| Владислав Валерьевич АНАНЬЕВ, Сергей Николаевич СКОРИК, Всеволод Владиславович ШАКЛЕИН, Арам Арутюнович АВЕТИСЯН, Юрий Эмильевич ТЕРЕГУЛОВ, Денис Юрьевич ТУРДАКОВ, Вадим ГЛИНЕР, Асcаф ШУСТЕР, Евгений Андреевич КАРПУЛЕВИЧ | ||
| Том 32, № 2 (2020) | Оценка качества требований к программному обеспечению с применением метода GQM и инструментов обработки естественного языка | Аннотация PDF (Eng) |
| Евгений Валерьевич ТИМОЩУК | ||
| Том 36, № 5 (2024) | Оценка коэффициента вертикальной диффузии газа в уплотняемых грунтах средствами математического моделирования | Аннотация PDF (Eng) |
| Елена Олеговна ТАРАСЕНКО | ||
| 664 - 702 из 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
