| Выпуск | Название | |
| Том 32, № 1 (2020) | Разработка алгоритма распознавания движений человека методами компьютерного зрения в задаче нормирования рабочего времени | Аннотация PDF (Rus) |
| Сергей Евгеньевич Штехин, Денис Константинович Карачев, Юстина Алексеевна Иванова | ||
| Том 36, № 3 (2024) | Разработка алгоритма формирования команд ИТ-проектов на основе данных цифрового следа студентов | Аннотация PDF (Rus) |
| Антонина Владимировна МЕЛЬНИКОВА, Марина Сергеевна ВОРОБЬЕВА, Елизавета Владимировна ЕГОРОВА, Елизавета Дмитриевна ЧЕКАНОВА | ||
| Том 36, № 4 (2024) | Разработка безопасного компилятора на основе Clang | Аннотация PDF (Rus) |
| Павел Дмитриевич ДУНАЕВ, Артем Александрович СИНКЕВИЧ, Артемий Максимович ГРАНАТ, Инна Александровна БАТРАЕВА, Сергей Владимирович МИРОНОВ, Никита Юрьевич ШУГАЛЕЙ | ||
| Том 36, № 5 (2024) | Разработка вредоносного набора данных для защиты больших языковых моделей от атак | Аннотация PDF (Rus) |
| Ирина Сергеевна АЛЕКСЕЕВСКАЯ, Константин Владимирович АРХИПЕНКО, Денис Юрьевич ТУРДАКОВ | ||
| Том 35, № 5 (2023) | Разработка доверенных средств проектирования ИС в базисе гетерогенных ПЛИС | Аннотация PDF (Rus) |
| Сергей Витальевич ГАВРИЛОВ, Даниил Александрович ЖЕЛЕЗНИКОВ, Мария Андреевна ЗАПЛЕТИНА, Иван Викторович ТИУНОВ, Василий Михайлович ХВАТОВ, Рустам Жамболатович ЧОЧАЕВ, Дмитрий Борисович ШОКАРЕВ | ||
| Том 36, № 6 (2024) | Разработка и применение сервис-ориентированных научных приложений в инструментальном комплексе FDE-SWFs | Аннотация PDF (Rus) |
| Александр Геннадьевич ФЕОКТИСТОВ, Михаил Леонтьевич ВОСКОБОЙНИКОВ, Андрей Николаевич ЧЕРНЫХ | ||
| Том 27, № 6 (2015) | Разработка и реализация метода масштабирования по памяти для систем межмодульных оптимизаций и статического анализа на основе LLVM | Аннотация PDF (Rus) |
| К. Ю. Долгорукова | ||
| Том 35, № 3 (2023) | Разработка и реализация метода цифровой стеганографии на основе встраивания псевдоинформации | Аннотация PDF (Eng) |
| Ирина Геннадьевна ГВОЗДЕВА, Артем Сергеевич ГРОМОВ, Ольга Михайловна ГВОЗДЕВА | ||
| Том 24 (2013) | Разработка и реализация облачного планировщика, учитывающего топологию коммуникационной среды при высокопроизводительных вычислениях | Аннотация PDF (Rus) |
| И. А. Дудина, А. О. Кудрявцев, С. С. Гайсарян | ||
| Том 24 (2013) | Разработка и реализация облачной системы для решения высокопроизводительных задач | Аннотация PDF (Rus) |
| А. О. Кудрявцев, В. К. Кошелев, А. О. Избышев, И. А. Дудина, Ш. Ф. Курмангалеев, А. И. Аветисян, В. П. Иванников, В. Е. Велихов, Е. А. Рябинкин | ||
| Том 35, № 2 (2023) | Разработка и реализация средства диагностики сетей Ethernet | Аннотация PDF (Rus) |
| Григорий Павлович ОХРИМЕНКО, Сергей Юрьевич МОКШИН, Алексей Олегович ИГНАТЬЕВ | ||
| Том 35, № 1 (2023) | Разработка и реализация средства тестирования на устойчивость хранимых данных для приложений, основанных на файловых системах | Аннотация PDF (Rus) |
| Дмитрий Кириллович РОДИОНОВ, Сергей Дмитриевич КУЗНЕЦОВ | ||
| Том 33, № 5 (2021) | Разработка компилятора для стековой процессорной архитектуры TF16 на основе LLVM | Аннотация PDF (Rus) |
| Леонид Владленович СКВОРЦОВ, Роман Вячеславович БАЕВ, Ксения Юрьевна ДОЛГОРУКОВА, Евгений Юрьевич ШАРЫГИН | ||
| Том 32, № 5 (2020) | Разработка компиляторов предметно-ориентированных языков для спецпроцессоров | Аннотация PDF (Rus) |
| Пётр Николаевич СОВЕТОВ | ||
| Том 26, № 4 (2014) | Разработка масштабируемой программной инфраструктуры для хранения и обработки данных в задачах вычислительной биологии | Аннотация PDF (Rus) |
| О. Д. Борисенко, А. В. Лагута, Д. Ю. Турдаков, С. Д. Кузнецов | ||
| Том 35, № 5 (2023) | Разработка методов автоматизации высокоуровневого моделирования сетей на кристалле | Аннотация PDF (Rus) |
| Александр Александрович АМЕРИКАНОВ, Тимофей Владимирович ТАРЖАНОВ, Ирина Ивановна РОМАНОВА, Александр Юрьевич РОМАНОВ | ||
| Том 28, № 2 (2016) | Разработка отладчика для операционной системы реального времени | Аннотация PDF (Eng) |
| А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин | ||
| Том 21 (2011) | Разработка параллельной СУБД на основе PostgreSQL | Аннотация PDF (Rus) |
| К. С. Пан | ||
| Том 35, № 2 (2023) | Разработка подхода к сквозному тестированию приложения для управления конфигурацией виртуальной инфраструктуры предприятия | Аннотация PDF (Eng) |
| Евгений Вадимович ГЕРАСЬКИН, Никита Владимирович ВОИНОВ | ||
| Том 31, № 4 (2019) | Разработка программного обеспечения квадрокоптера с повышенными требованиями к надёжности на основе партицированной ОС и технологий формальной верификации | Аннотация PDF (Eng) |
| Сергей Михайлович Старолетов, Максим Станиславович Амосов, Кирилл Михайлович Шульга | ||
| Том 31, № 3 (2019) | Разработка программной среды для управления интеллектуальными устройствами в реальном времени | Аннотация PDF (Eng) |
| Тамара Наумович, Лука Баляк, Лазар Живоинович, Филип Филипович | ||
| Том 33, № 6 (2021) | Разработка решателя flagmanFoam для моделирования обледенения летательных аппаратов в условиях натекания мелких капель | Аннотация PDF (Rus) |
| Кирилл Александрович ВАТУТИН, Матвей Викторович КРАПОШИН, Максим Александрович КУДРОВ, Алексей Борисович МИЛЛЕР, Валерия Геннадиевна МЕЛЬНИКОВА, Софья Михайловна САУТКИНА, Алексей Олегович МОРОЗОВ, Александр Алексеевич ШЕВЕЛЕВ | ||
| Том 32, № 4 (2020) | Разработка решателя iceFoam для моделирования процесса обледенения | Аннотация PDF (Rus) |
| Константин Борисович КОШЕЛЕВ, Валерия Геннадиевна МЕЛЬНИКОВА, Сергей Владимирович СТРИЖАК | ||
| Том 35, № 2 (2023) | Разработка системы классификации нормативно-правовых документов на основе метода опорных векторов | Аннотация PDF (Eng) |
| Юри НАСУ, Вячеслав Владимирович ЛАНИН | ||
| Том 37, № 3 (2025) | Разработка системы оценки результатов тестирования когнитивной функции при введении эллипсисов в текстах планиметрических задач | Аннотация PDF (Eng) |
| Ксения Aлександровна НАЙДЁНОВА, Елена Сергеевна БУЛЫКИНА, Татьяна Aлександровна МАРТИРОВА | ||
| Том 18 (2010) | Разработка тестового набора для верификации реализаций протокола безопасности IPsec v2 | Аннотация PDF (Rus) |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| Том 23 (2012) | Разработка тестового набора для верификации реализаций протокола безопасности TLS | Аннотация PDF (Rus) |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| Том 31, № 3 (2019) | Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров | Аннотация PDF (Eng) |
| Павел Викторович Фролов | ||
| Том 31, № 5 (2019) | Разработка языка: OOP or not OOP or better OOP | Аннотация PDF (Rus) |
| Алексей Евгеньевич Недоря | ||
| Том 33, № 6 (2021) | Разрешение неоднозначности на основе псевдоаннотированной коллекции | Аннотация PDF (Eng) |
| Ангелина Сергеевна БОЛЬШИНА, Наталья Валентиновна ЛУКАШЕВИЧ | ||
| Том 27, № 2 (2015) | Разрешимость проблемы эквивалентных преобразований в классе примитивных схем программ | Аннотация PDF (Rus) |
| А. Э. Молчанов | ||
| Том 26, № 4 (2014) | Ранжирование в задаче извлечения ключевых фраз: есть ли польза от использования частотных характеристик слов фраз-претендентов? | Аннотация PDF (Rus) |
| С. В. Попова, И. А. Ходырев | ||
| Том 30, № 2 (2018) | Распараллеливание реализаций сугубо последовательных алгоритмов | Аннотация PDF (Rus) |
| А. Б. Бугеря, Е. С. Ким, М. А. Соловьев | ||
| Том 37, № 3 (2025) | Распределение показателей двойственного числа существительных в селькупском языке (корпусно-ориентированный подход) | Аннотация PDF (Rus) |
| Сергей Васильевич КОВЫЛИН | ||
| Том 32, № 5 (2020) | Распределенная модульная платформа «Цифровая Лаборатория» как среда для проведения научных исследований и разработок НИЦ «Курчатовский Институт» | Аннотация PDF (Rus) |
| Андрей Николаевич ПОЛЯКОВ, Ирина Михайловна ЕНЯГИНА, Дмитрий Сергеевич КОКОВИН | ||
| Том 29, № 5 (2017) | Распределённые алгоритмы на корневых неориентированных графах | Аннотация PDF (Rus) |
| И. Бурдонов, А. Косачев, А. Сортов | ||
| Том 24 (2013) | Распределенные горизонтально масштабируемые решения для управления данными | Аннотация PDF (Rus) |
| С. Д. Кузнецов, А. В. Посконин | ||
| Том 27, № 6 (2015) | Распределенные системы хранения данных: анализ, классификация и варианты выбора | Аннотация PDF (Rus) |
| Александр Тормасов, Анатолий Лысов, Эмиль Мазур | ||
| Том 26, № 5 (2014) | Расчет распада произвольного разрыва в двухскоростном потоке с несжимаемыми компонентами | Аннотация PDF (Rus) |
| Б. Л. Канцырев | ||
| 937 - 975 из 1237 результатов | << < 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
