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