| Выпуск | Название | |
| Том 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: май-июнь | Опыт отраслевого применения программного обеспечения с открытым исходным кодом при аэродинамическом проектировании и проверочном моделировании обтекания летательных аппаратов | Аннотация PDF (Rus) |
| Андрей Леонидович ПАВЛЕВИЧ | ||
| Том 34, № 3 (2022) | Организация безопасного запроса к базе данных на облаке | Аннотация PDF (Rus) |
| Сергей Анатольевич МАРТИШИН, Марина Валерьевна ХРАПЧЕНКО, Александр Владимирович ШОКУРОВ | ||
| Том 35, № 5 (2023) | Организация конфиденциальных запросов к облаку | Аннотация PDF (Rus) |
| Николай Павлович ВАРНОВСКИЙ, Сергей Анатольевич МАРТИШИН, Марина Валерьевна ХРАПЧЕНКО, Александр Владимирович ШОКУРОВ | ||
| Том 30, № 2 (2018) | Организация полностью самопроверяемой схемы встроенного контроля на основе метода логического дополнения до равновесного кода «2 из 4» | Аннотация PDF (Rus) |
| Д. В. Ефанов, В. В. Сапожников, Вл. В. Сапожников, Д. В. Пивоваров | ||
| Том 37, № 1: январь-февраль | Организация статического анализа на абстрактных синтаксических деревьях с помощью конечных автоматов | Аннотация 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) |
| Елена Олеговна ТАРАСЕНКО | ||
| Том 28, № 5 (2016) | Оценка критичности программных дефектов в условиях работы современных защитных механизмов | Аннотация PDF (Rus) |
| А. Н. Федотов, В. А. Падарян, В. В. Каушан, Ш. Ф. Курмангалеев, А. В. Вишняков, А. Р. Нурмухаметов | ||
| Том 37, № 2: март-апрель | Оценка неопределенности в задаче регрессии при байесовской регуляризации решения | Аннотация 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) |
| Хосе НАВАС-СУ, Антонио ГОНСАЛЕС-ТОРРЕС | ||
| 698 - 738 из 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
