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