| Выпуск | Название | |
| Том 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: май-июнь | Разработка системы оценки результатов тестирования когнитивной функции при введении эллипсисов в текстах планиметрических задач | Аннотация 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: май-июнь | Распределение показателей двойственного числа существительных в селькупском языке (корпусно-ориентированный подход) | Аннотация PDF (Rus) |
| Сергей Васильевич КОВЫЛИН | ||
| Том 32, № 5 (2020) | Распределенная модульная платформа «Цифровая Лаборатория» как среда для проведения научных исследований и разработок НИЦ «Курчатовский Институт» | Аннотация PDF (Rus) |
| Андрей Николаевич ПОЛЯКОВ, Ирина Михайловна ЕНЯГИНА, Дмитрий Сергеевич КОКОВИН | ||
| Том 37, № 4: часть 2. июль-август | Распределенная платформа для анализа масштабных данных с использованием биоподобных сенсомоторных алгоритмов | Аннотация PDF (Eng) |
| Данил Петрович ПОТАПОВ, Сергей Михайлович СТАРОЛЕТОВ | ||
| Том 29, № 5 (2017) | Распределённые алгоритмы на корневых неориентированных графах | Аннотация PDF (Rus) |
| И. Бурдонов, А. Косачев, А. Сортов | ||
| Том 24 (2013) | Распределенные горизонтально масштабируемые решения для управления данными | Аннотация PDF (Rus) |
| С. Д. Кузнецов, А. В. Посконин | ||
| Том 27, № 6 (2015) | Распределенные системы хранения данных: анализ, классификация и варианты выбора | Аннотация PDF (Rus) |
| Александр Тормасов, Анатолий Лысов, Эмиль Мазур | ||
| Том 26, № 5 (2014) | Расчет распада произвольного разрыва в двухскоростном потоке с несжимаемыми компонентами | Аннотация PDF (Rus) |
| Б. Л. Канцырев | ||
| Том 24 (2013) | Расчет течений непрерывно стратифицированной жидкости с использованием открытых вычислительных пакетов на базе технологической платформы UniHUB | Аннотация PDF (Rus) |
| Ярослав Викторович Загуменный, Юлий Дмитриевич Чашечкин | ||
| Том 23 (2012) | Расширение модели ParJava для случая кластеров с многоядерными узлами | Аннотация PDF (Rus) |
| М. С. Акопян | ||
| Том 27, № 6 (2015) | Расширение референтной модели облачной вычислительной среды в концепции крупномасштабных научных исследований | Аннотация PDF (Rus) |
| А. В. Скатков, В. И. Шевченко | ||
| Том 37, № 3: май-июнь | Расширенная классификация текста с помощью модели DistilBERT с адаптацией низкого ранга LoRa: сравнительное исследование | Аннотация PDF (Eng) |
| Брис Дональд АБОДО ЭЛУНДУ, Ван ЦЮАНЬЮЙ | ||
| Том 26, № 6 (2014) | Расширенные конечные автоматы с таймаутами для оценки удовлетворенности пользователя ОТТ сервисом | Аннотация PDF (Rus) |
| Д. Ривера, Н. Кушик, К. Фьюензалида, А. Кавалли, Н. Евтушенко | ||
| Том 27, № 3 (2015) | Рациональное проектирование модели, описывающей структуру классов объектов, на основе онтологического анализа данных | Аннотация PDF (Rus) |
| А. Н. Коварцев, В. С. Смирнов, С. В. Смирнов | ||
| Том 37, № 4: часть 1. июль-август | Реализация гибкой системы управления доступом в приложении | Аннотация PDF (Rus) |
| Тимур Игоревич ВАСИЛЬЕВ | ||
| Том 26, № 1 (2014) | Реализация запутывающих преобразований в компиляторной инфраструктуре LLVM | Аннотация PDF (Rus) |
| Виктор Иванников, Шамиль Курмангалеев, Андрей Белеванцев, Алексей Нурмухаметов, Валерий Савченко, Рипсиме Матевосян, Арутюн Аветисян | ||
| Том 33, № 6 (2021) | Реализация искусственных нейронных сетей на ПЛИС с помощью открытых инструментов | Аннотация PDF (Rus) |
| Михаил Сергеевич ЛЕБЕДЕВ, Павел Николаевич БЕЛЕЦКИЙ | ||
| Том 23 (2012) | Реализация конвейеризации циклов и встраивания присваиваний в трансляторе C-to-HDL | Аннотация PDF (Rus) |
| Алексей Меркулов, Андрей Белеванцев | ||
| Том 32, № 5 (2020) | Реализация маркирования в подсистеме печати ОС семейства Windows на основе виртуального XPS-принтера | Аннотация PDF (Rus) |
| Сергей Викторович КОЗЛОВ, Сергей Александрович КОПЫЛОВ, Борис Владимирович КОНДРАТЬЕВ, Дмитрий Олегович ОБЫДЕНКОВ | ||
| Том 28, № 1 (2016) | Реализация параллельных вычислений в программном комплексе «LS-STAG_turb» для моделирования течений вязкой несжимаемой среды на системах с общей памятью | Аннотация PDF (Rus) |
| В. В. Пузикова | ||
| Том 32, № 2 (2020) | Реализация подсистемы памяти в рамках потактово-точного симулятора уровня приложений микропроцессоров архитектуры «Эльбрус» | Аннотация PDF (Eng) |
| Павел Алексеевич ПОРОШИН, Дмитрий Валерьевич ЗНАМЕНСКИЙ, Алексей Николаевич МЕШКОВ | ||
| Том 34, № 3 (2022) | Реализация распределённых и параллельных вычислений в сети SDN | Аннотация PDF (Rus) |
| Игорь Борисович БУРДОНОВ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ | ||
| Том 27, № 5 (2015) | Реализация сервиса для выполнения Apache Spark задач и создания Apache Spark кластеров на основе Openstack Sahara | Аннотация PDF (Rus) |
| А. В. Алексиянц, О. Д. Борисенко, Д. Ю. Турдаков, А. В. Шер, С. Д. Кузнецов | ||
| Том 29, № 6 (2017) | Реализация сервиса для замены Keystone в качестве центрального сервиса идентификации облачной платформы Openstack | Аннотация PDF (Rus) |
| Е. Л. Аксенова, В. В. Швецова, О. Д. Борисенко, И. В. Богомолов | ||
| Том 36, № 4 (2024) | Реализация траекторного профилирования в компиляторе LCC для процессоров Эльбрус | Аннотация PDF (Rus) |
| Виктор Евгеньевич ШАМПАРОВ, Мурад Искендер-оглы НЕЙМАН-ЗАДЕ | ||
| Том 34, № 4 (2022) | Реализация функции долговременного хранения научных данных большого объема в вычислительном центре | Аннотация PDF (Rus) |
| Дмитрий Владимирович ИВАНКОВ | ||
| Том 34, № 2 (2022) | Реализация функций управления задачами и ресурсами высокопроизводительной вычислительной системы в "СПО Супер-ЭВМ" | Аннотация PDF (Rus) |
| Алексей Олегович ИГНАТЬЕВ, Алексей Алексеевич КАЛИНИН, Сергей Юрьевич МОКШИН | ||
| Том 35, № 2 (2023) | Реальное применение методов интерпретации свёрточных нейронных сетей: обнаружение и объяснение ошибок классификатора изображений документов | Аннотация PDF (Eng) |
| Александр Олегович ГОЛОДКОВ, Оксана Владимировна БЕЛЯЕВА, Андрей Игоревич ПЕРМИНОВ | ||
| 985 - 1025 из 1270 результатов | << < 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
