Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 27, № 2 (2015) Об особенностях детерминированного воспроизведения при минимальном наборе устройств Аннотация  PDF (Rus)  похожие документы
В. Ю. Ефимов, К. А. Батузов, В. А. Падарян
"... describes the implementation of deterministic replay of IA-32 based boards in QEMU. Another implementation ..."
 
Том 31, № 5 (2019) Интроспекция конфигурации периферийных устройств эмулятора QEMU Аннотация  PDF (Rus)  похожие документы
Наталья Игоревна Фурсова, Павел Михайлович Довгалюк
"... describes obtaining information about the devices of the QEMU emulator through the QEMU Machine Protocol ..."
 
Том 26, № 1 (2014) Применение программных эмуляторов в задачах анализа бинарного кода Аннотация  PDF (Rus)  похожие документы
П. М. Довгалюк, В. А. Макаров, В. А. Падарян, М. С. Романеев, Н. И. Фурсова
"... a description of deterministic replay implemented in the QEMU emulator to supply the stated functionalities. ..."
 
Том 22 (2012) Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU Аннотация  PDF (Rus)  похожие документы
К. Батузов, П. Довгалюк, В. Кошелев, В. Падарян
"... replay whole virtual machine for devices’ drivers debugging; relatively low number of changes within ..."
 
Том 29, № 6 (2017) Автоматизация разработки моделей устройств и вычислительных машин для QEMU Аннотация  PDF (Rus)  похожие документы
В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян
"... Разработка виртуальных устройств и машин для QEMU - трудоёмкий процесс. С целью поддержки ..."
 
Том 30, № 5 (2018) Отслеживание операций с файловой системой ext3 в эмуляторе QEMU Аннотация  PDF (Rus)  похожие документы
В. М. Степанов, П. М. Довгалюк, Д. Н. Полетаев
"... accesses in the emulator. This method allows obtaining information about file operations in the OS-agnostic ..."
 
Том 30, № 3 (2018) Конфигурируемый трассировщик системных вызовов в эмуляторе QEMU Аннотация  похожие документы
А. В. Иванов, П. М. Довгалюк, В. А. Макаров
 
Том 28, № 6 (2016) О некоторых ограничениях полносистемного анализа помеченных данных « Аннотация  PDF (Rus)  похожие документы
М. А. Климушенкова, М. Г. Бакулин, В. А. Падарян, П. М. Довгалюк, Н. И. Фурсова, И. А. Васильев
"... approach for i386 platform upon the multi-platform simulator QEMU. Our approach uses instrumentation ..."
 
Том 27, № 2 (2015) Методы повышения производительности обратной отладки Аннотация  PDF (Rus)  похожие документы
М. А. Климушенкова, П. М. Довгалюк
"... implementation of software reverse debugging using deterministic replay based on the QEMU emulator. We present ..."
 
Том 30, № 3 (2018) Скрытая отладка программ отладчиком WinDbg в эмуляторе Qemu Аннотация  похожие документы
М. А. Абакумов, П. М. Довгалюк
"... . Therefore, it is possible to connect to the guest system running in the QEMU emulator. Interaction between ..."
 
Том 26, № 2 (2014) Описание аппаратных конфигураций гостевых систем в эмуляторе QEMU в виде отдельных текстовых файлов Аннотация  PDF (Rus)  похожие документы
О. В. Горемыкин
"... QEMU is an open-source full system emulator based on the dynamic binary translation approach. QEMU ..."
 
Том 26, № 2 (2014) Внесение неисправностей в программу с использованием детерминированного воспроизведения Аннотация  PDF (Rus)  похожие документы
П. М. Довгалюк, Ю. В. Маркин
"... This paper presents method of improving software fault injection by using deterministic replay ..."
 
Том 22 (2012) Задача локального распределения регистров во время динамической двоичной трансляции Аннотация  PDF (Rus)  похожие документы
Кирилл Батузов
"... QEMU is a generic machine emulator based on a dynamic binary translation approach. This paper ..."
 
Том 34, № 5 (2022) Natch: Определение поверхности атаки программ с помощью отслеживания помеченных данных и интроспекции виртуальных машин Аннотация  PDF (Rus)  похожие документы
Павел Михайлович ДОВГАЛЮК, Мария Анатольевна КЛИМУШЕНКОВА, Наталья Игоревна ФУРСОВА, Владислав Михайлович СТЕПАНОВ, Иван Александрович ВАСИЛЬЕВ, Аркадий Алексеевич ИВАНОВ, Алексей Владимирович ИВАНОВ, Максим Геннадьевич БАКУЛИН, Данила Игоревич ЕГОРОВ
"... and virtual machines introspection. Natch is built on the basis of the full-system QEMU emulator, so it allows ..."
 
Том 32, № 5 (2020) Практика и перспективы применения семейства эмуляторов архитектур мейнфреймов IBM Аннотация  PDF (Rus)  похожие документы
Александр Викторович ШМИД
"... This article describes the family of emulators for IBM mainframe architectures, their development ..."
 
Том 31, № 5 (2019) Автоматизированное тестирование фронтенда транслятора TCG для Qemu Аннотация  PDF (Rus)  похожие документы
Дмитрий Сергеевич Колтунов, Василий Юрьевич Ефимов, Вартан Андроникович Падарян
"... Implementing a new target architecture in Qemu involves creation of a dynamic binary translator ..."
 
Том 27, № 6 (2015) Использование ABI для интроспекции виртуальных машин Аннотация  PDF (Rus)  похожие документы
Н. И. Фурсова, П. М. Довгалюк, И. А. Васильев
"... knowledge about its internal structure. Our system is based on QEMU emulator and has a modular structure ..."
 
Том 28, № 5 (2016) Задача глобального распределения регистров во время динамической двоичной трансляции Аннотация  PDF (Rus)  похожие документы
К. А. Батузов
 
Том 36, № 3 (2024) Декларативный подход к задаче интроспекции виртуальной машины Аннотация  PDF (Rus)  похожие документы
Владислав Михайлович СТЕПАНОВ, Павел Михайлович ДОВГАЛЮК, Наталья Игоревна ФУРСОВА
"... The prominent problem in memory dump analysis and virtual machine introspection approaches ..."
 
Том 28, № 5 (2016) Автоматическое обнаружение использования неинициализированных значений в рамках полносистемной эмуляции Аннотация  PDF (Rus)  похожие документы
Н. А. Белов
"... in the guest system of x86 architecture in full-system emulator QEMU. System consists of few instructions ..."
 
Том 20 (2011) Оптимизация динамической двоичной трансляции Аннотация  PDF (Rus)  похожие документы
Кирилл Батузов, Алексей Меркулов
"... of register allocation algorithm on program performance in QEMU, implement simple machine independent ..."
 
Том 30, № 3 (2018) Эмуляция ввода-вывода оборудования с отображением в ОЗУ внутри ядер операционных систем Аннотация  похожие документы
В. Ю. Чепцов, А. В. Хорошилов
"... virtual machine software is to put the entire operating system under a hypervisor and build the emulator ..."
 
Том 28, № 2 (2016) Разработка отладчика для операционной системы реального времени Аннотация  похожие документы
А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин
"... present our solution that works both in emulator QEMU, which we use to emulate environment for our system ..."
 
Том 29, № 4 (2017) Отладчик для операционной системы реального времени: проблемы мультиплатформенности Аннотация  похожие документы
А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин
"... , the debugger must support work within emulators, because it can expand developers’ capabilities and increase ..."
 
Том 23 (2012) Динамический анализ обфусцированных приложений с диспетчеризацией или виртуализацией кода Аннотация  PDF (Rus)  похожие документы
М. Г. Бакулин, С. С. Гайсарян, Ш. Ф. Курмангалеев, И. Н. Ледовских, В. А. Падарян, С. М. Щевьева
"... counter used by virtual machine emulator and reconstructs the application control flow. This paper ..."
 
Том 33, № 5 (2021) Динамический анализ IoT-систем на основе полносистемной эмуляции в QEMU Аннотация  PDF (Rus)  похожие документы
Роман Дмитриевич КОВАЛЕНКО, Алексей Николаевич МАКАРОВ
"... emulation in QEMU. ELF was based on the following aspects: performing software testing and analysis of real ..."
 
Том 22 (2012) Перспективы виртуализации высокопроизводительных систем архитектуры x64 Аннотация  PDF (Rus)  похожие документы
А. О. Кудрявцев, В. К. Кошелев, А. И. Аветисян
"... inside multiple virtual machines are discussed. We consider KVM/QEMU and Palacios systems and use HPC ..."
 
Том 24 (2013) Разработка и реализация облачной системы для решения высокопроизводительных задач Аннотация  PDF (Rus)  похожие документы
А. О. Кудрявцев, В. К. Кошелев, А. О. Избышев, И. А. Дудина, Ш. Ф. Курмангалеев, А. И. Аветисян, В. П. Иванников, В. Е. Велихов, Е. А. Рябинкин
"... infrastructure and KVM/QEMU hypervisor. Most components of the original infrastructure were modified to satisfy ..."
 
Том 28, № 4 (2016) Метод оценки эксплуатируемости программных дефектов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов
"... . In case of a successful exploit generation the operability of exploit is checked in program emulator ..."
 
Том 28, № 5 (2016) Оценка критичности программных дефектов в условиях работы современных защитных механизмов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов, В. А. Падарян, В. В. Каушан, Ш. Ф. Курмангалеев, А. В. Вишняков, А. Р. Нурмухаметов
"... interpretation of traces obtained by a full-system emulator. Our method can demonstrate a real exploitability ..."
 
Том 31, № 6 (2019) Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода Аннотация  PDF (Rus)  похожие документы
Александр Борисович Бугеря, Василий Юрьевич Ефимов, Иван Иванович Кулагин, Вартан Андроникович Падарян, Михаил Александрович Соловьев, Андрей Юрьевич Тихонов
"... development life cycle. QDT is especially suited for QEMU virtual machine development, including specialized ..."
 
Том 26, № 6 (2014) Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов Аннотация  PDF (Rus)  похожие документы
М. С. Форостьянова
"... based on tree finite state machines (FSM) is proposed. The first step is the extraction ..."
 
Том 30, № 5 (2018) Получение содержимого удаляемых и изменяемых файлов в среде динамического анализа исполняемых файлов Drakvuf Аннотация  PDF (Rus)  похожие документы
С. Г. Ковалёв
 
Том 28, № 2 (2016) Устройство и архитектура операционной системы реального времени Аннотация  похожие документы
К. М. Маллачиев, Н. В. Пакулин, А. В. Хорошилов
"... for practical usage: POK failed to meet a number of fundamental requirements and was executable in emulator only ..."
 
Том 21 (2011) Детерминированное воспроизведение процесса выполнения программ в виртуальной машине Аннотация  PDF (Rus)  похожие документы
Павел Довгалюк
"... within a virtual machine. This technology enables to debug programs deterministically and may be use ..."
 
Том 26, № 6 (2014) К минимизации автоматов с таймаутами Аннотация  PDF (Rus)  похожие документы
Александр Твардовский
"... This paper addresses the problem of minimizing a Finite State Machine (FSM) augmented with input ..."
 
Том 19 (2010) Моделирование операционной семантики машинных инструкций Аннотация  PDF (Rus)  похожие документы
В. А. Падарян, М. А. Соловьев, А. И. Кононов
"... This paper offers a model which allows describe operational semantics of machine instructions ..."
 
Том 31, № 5 (2019) Примеры использования машинного обучения в кибербезопасности Аннотация  PDF (Rus)  похожие документы
Сергей Михайлович Авдошин, Александр Вячеславович Лазаренко, Наталия Игоревна Чичилева, Павел Андреевич Наумов, Петр Георгиевич Ключарев
"... The problem regarding the use of machine learning in cybersecurity is difficult to solve because ..."
 
Том 30, № 2 (2018) Автоматизированная генерация декодеров машинных команд Аннотация  PDF (Rus)  похожие документы
Н. Ю. Фокина, М. А. Соловьев
"... This paper proposes a method of automated generation of machine instruction decoders for various ..."
 
1 - 39 из 216 результатов 1 2 3 4 5 6 > >> 

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

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