Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 30, № 3 (2018) Конфигурируемый трассировщик системных вызовов в эмуляторе QEMU Аннотация  похожие документы
А. В. Иванов, П. М. Довгалюк, В. А. Макаров
"... реализовать синтаксический анализатор, которому необходимо распознать входные выражения и посчитать ..."
 
Том 31, № 5 (2019) Повышение эффективность фаззинга с помощью интервальных мутаций Аннотация  похожие документы
Севак Сеникович Саргсян, Дживан Андраникович Акопян, Оганес Мушегович Мовсисян, Матевос Саргисович Меграбян, Ваагн Телемакович Сирунян, Шамиль Фаимович Курмангалеев
"... . Первый плагин предназначен для собирания трасс выполнения. Второй плагин связывает фрагменты входных ..."
 
Том 27, № 6 (2015) Использование ABI для интроспекции виртуальных машин Аннотация  PDF (Rus)  похожие документы
Н. И. Фурсова, П. М. Довгалюк, И. А. Васильев
"... является плагин. Существующие подходы (RTKDSM, DECAF) получают данные из операционной системы с помощью ..."
 
Том 27, № 3 (2015) Программа статистической обработки данных анализатора wireshark и исследование входящего трафика Аннотация  PDF (Rus)  похожие документы
Вениамин Тарасов, Сергей Малахов
"... распределения 2-го порядка интервалов времени входного потока. Конечный результат получен путем решения ..."
 
Том 28, № 6 (2016) О некоторых ограничениях полносистемного анализа помеченных данных « Аннотация  PDF (Rus)  похожие документы
М. А. Климушенкова, М. Г. Бакулин, В. А. Падарян, П. М. Довгалюк, Н. И. Фурсова, И. А. Васильев
"... обеспечиваются тремя встроенными в эмулятор механизмами: детерминированным воспроизведением, плагинами ..."
 
Том 33, № 1 (2021) Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace Аннотация  PDF (Rus)  похожие документы
Алексей Евгеньевич БОРОДИН, Алексей Вячеславович ГОРЕМЫКИН, Сергей Павлович ВАРТАНОВ, Андрей Андреевич БЕЛЕВАНЦЕВ
"... реализованы в виде плагинов по схеме источник-приёмник. В качестве источников используются вызовы библиотечных ..."
 
Том 34, № 2 (2022) Поиск ошибок в бинарном коде методами динамической символьной интерпретации Аннотация  похожие документы
Алексей Вадимович ВИШНЯКОВ, Илай Александрович КОБРИН, Андрей Николаевич ФЕДОТОВ
"... безопасности — условий на входные данные, при выполнении которых будет проявлена ошибка. В этой работе ..."
 
Том 34, № 5 (2022) Способ оценки похожести программ методами машинного обучения Аннотация  PDF (Rus)  похожие документы
Петр Дмитриевич БОРИСОВ, Юрий Владимирович КОСОЛАПОВ
"... входных данных (значения нечетких хеш-функций, значения коэффициентов сжатия), и с помощью алгоритмов ..."
 
Том 34, № 5 (2022) Natch: Определение поверхности атаки программ с помощью отслеживания помеченных данных и интроспекции виртуальных машин Аннотация  PDF (Rus)  похожие документы
Павел Михайлович ДОВГАЛЮК, Мария Анатольевна КЛИМУШЕНКОВА, Наталья Игоревна ФУРСОВА, Владислав Михайлович СТЕПАНОВ, Иван Александрович ВАСИЛЬЕВ, Аркадий Алексеевич ИВАНОВ, Алексей Владимирович ИВАНОВ, Максим Геннадьевич БАКУЛИН, Данила Игоревич ЕГОРОВ
"... , динамических библиотек, функций, отвечающих за обработку входных данных (файлов, сетевых пакетов) во время ..."
 
Том 35, № 6 (2023) Параллельная реализация алгоритма исправления нарушений антенных правил в маршруте OpenLane Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович БУЛАХ, Андрей Владимирович КОРШУНОВ
"... в состав маршрута OpenLane. Было разработано программное обеспечение, которое позволяет на основе входных ..."
 
Том 37, № 4: часть 1. июль-август Применение компьютерного зрения для локализации позвонков на срединных сагиттальных срезах компьютерной томографии Аннотация  PDF (Rus)  похожие документы
Анастасия Романовна ТЕПЛЯКОВА, Роман Владимирович ШЕРШНЕВ
"... для предобработки снимков и постобработки масок сегментации. С целью оценки влияния типов входных ..."
 
1 - 11 из 11 результатов

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)