Сортировать по:
Выпуск | Название | |
Том 26, № 2 (2014) | Описание аппаратных конфигураций гостевых систем в эмуляторе QEMU в виде отдельных текстовых файлов | Аннотация PDF (Rus) похожие документы |
О. В. Горемыкин | ||
"... , IDE controllers, sound and USB components, and other). Guest system hardware configuration initialized ..." | ||
Том 31, № 5 (2019) | Интроспекция конфигурации периферийных устройств эмулятора QEMU | Аннотация PDF (Rus) похожие документы |
Наталья Игоревна Фурсова, Павел Михайлович Довгалюк | ||
"... QEMU is a widely used and fairly accurate emulator capable of emulating dozens of guest systems ..." | ||
Том 36, № 3 (2024) | Декларативный подход к задаче интроспекции виртуальной машины | Аннотация PDF (Rus) похожие документы |
Владислав Михайлович СТЕПАНОВ, Павел Михайлович ДОВГАЛЮК, Наталья Игоревна ФУРСОВА | ||
"... structures field offsets is called an OS profile. Methods of generating such profiles are based on guest ..." | ||
Том 31, № 5 (2019) | Автоматизированное тестирование фронтенда транслятора TCG для Qemu | Аннотация PDF (Rus) похожие документы |
Дмитрий Сергеевич Колтунов, Василий Юрьевич Ефимов, Вартан Андроникович Падарян | ||
"... Implementing a new target architecture in Qemu involves creation of a dynamic binary translator ..." | ||
Том 22 (2012) | Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU | Аннотация PDF (Rus) похожие документы |
К. Батузов, П. Довгалюк, В. Кошелев, В. Падарян | ||
"... replaying guest OS and applications without modifications. Deterministic replay is intended for debugging ..." | ||
Том 30, № 3 (2018) | Конфигурируемый трассировщик системных вызовов в эмуляторе QEMU | Аннотация похожие документы |
А. В. Иванов, П. М. Довгалюк, В. А. Макаров | ||
"... . The model description is a configuration file that can be changed depending on the needs of the operating ..." | ||
Том 30, № 3 (2018) | Скрытая отладка программ отладчиком WinDbg в эмуляторе Qemu | Аннотация похожие документы |
М. А. Абакумов, П. М. Довгалюк | ||
"... . Therefore, it is possible to connect to the guest system running in the QEMU emulator. Interaction between ..." | ||
Том 34, № 4 (2022) | Настройка критериев планировщика СУБД с учётом динамической компиляции | Аннотация PDF (Rus) похожие документы |
Егор Викторович ДОЛГОДВОРОВ, Рубен Артурович БУЧАЦКИЙ, Михаил Вячеславович ПАНТИЛИМОНОВ, Дмитрий Михайлович МЕЛЬНИК | ||
"... the most efficient query execution plan based on hardware characteristics and the execution model ..." | ||
Том 26, № 2 (2014) | Внесение неисправностей в программу с использованием детерминированного воспроизведения | Аннотация PDF (Rus) похожие документы |
П. М. Довгалюк, Ю. В. Маркин | ||
"... , and hardware timers. During replay we read these events from the log and put them back into the simulator ..." | ||
Том 28, № 5 (2016) | Автоматическое обнаружение использования неинициализированных значений в рамках полносистемной эмуляции | Аннотация PDF (Rus) похожие документы |
Н. А. Белов | ||
"... in the guest system of x86 architecture in full-system emulator QEMU. System consists of few instructions ..." | ||
Том 28, № 6 (2016) | О некоторых ограничениях полносистемного анализа помеченных данных « | Аннотация PDF (Rus) похожие документы |
М. А. Климушенкова, М. Г. Бакулин, В. А. Падарян, П. М. Довгалюк, Н. И. Фурсова, И. А. Васильев | ||
"... approach for i386 platform upon the multi-platform simulator QEMU. Our approach uses instrumentation ..." | ||
Том 28, № 5 (2016) | Задача глобального распределения регистров во время динамической двоичной трансляции | Аннотация PDF (Rus) похожие документы |
К. А. Батузов | ||
Том 22 (2012) | Задача локального распределения регистров во время динамической двоичной трансляции | Аннотация PDF (Rus) похожие документы |
Кирилл Батузов | ||
"... QEMU is a generic machine emulator based on a dynamic binary translation approach. This paper ..." | ||
Том 27, № 2 (2015) | Об особенностях детерминированного воспроизведения при минимальном наборе устройств | Аннотация PDF (Rus) похожие документы |
В. Ю. Ефимов, К. А. Батузов, В. А. Падарян | ||
"... describes the implementation of deterministic replay of IA-32 based boards in QEMU. Another implementation ..." | ||
Том 27, № 2 (2015) | Методы повышения производительности обратной отладки | Аннотация PDF (Rus) похожие документы |
М. А. Климушенкова, П. М. Довгалюк | ||
"... implementation of software reverse debugging using deterministic replay based on the QEMU emulator. We present ..." | ||
Том 20 (2011) | Оптимизация динамической двоичной трансляции | Аннотация PDF (Rus) похожие документы |
Кирилл Батузов, Алексей Меркулов | ||
"... translation. We improve lookup of existing translation block in translation cache in QEMU, evaluate impact ..." | ||
Том 30, № 5 (2018) | Отслеживание операций с файловой системой ext3 в эмуляторе QEMU | Аннотация PDF (Rus) похожие документы |
В. М. Степанов, П. М. Довгалюк, Д. Н. Полетаев | ||
"... , create, delete and rename operations, and a module for QEMU, which monitors operations in the ext3 file ..." | ||
Том 33, № 5 (2021) | Формальные правила продукции объектной нотации для данных, определяемых EXPRESS схемой | Аннотация PDF (Rus) похожие документы |
Виталий Адольфович СЕМЕНОВ, Семен Васильевич АРИШИН, Георгий Витальевич СЕМЕНОВ | ||
"... , with the development and widespread adoption of Web technologies, the JSON language is getting increasingly popular due ..." | ||
Том 33, № 5 (2021) | Динамический анализ IoT-систем на основе полносистемной эмуляции в QEMU | Аннотация PDF (Rus) похожие документы |
Роман Дмитриевич КОВАЛЕНКО, Алексей Николаевич МАКАРОВ | ||
"... emulation in QEMU. ELF was based on the following aspects: performing software testing and analysis of real ..." | ||
Том 28, № 6 (2016) | Моделирование семейств программных систем | Аннотация PDF (Rus) похожие документы |
Е. М. Лаврищева, А. К. Петренко | ||
"... (sometimes a lot) configurations due to different hardware and software environments, where they are intended ..." | ||
Том 29, № 6 (2017) | Автоматизация разработки моделей устройств и вычислительных машин для QEMU | Аннотация PDF (Rus) похожие документы |
В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян | ||
"... Разработка виртуальных устройств и машин для QEMU - трудоёмкий процесс. С целью поддержки ..." | ||
Том 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) похожие документы |
Александр Викторович ШМИД | ||
Том 29, № 4 (2017) | Статическая верификация конфигураций ядра Linux | Аннотация похожие документы |
С. В. Козин, В. С. Мутилин | ||
"... of all configurations. We offer to check the operating system with special wrapper for tools analyzing ..." | ||
Том 28, № 2 (2016) | Разработка отладчика для операционной системы реального времени | Аннотация похожие документы |
А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин | ||
"... present our solution that works both in emulator QEMU, which we use to emulate environment for our system ..." | ||
Том 23 (2012) | Комбинаторная генерация программных конфигураций ОС | Аннотация PDF (Rus) похожие документы |
В. В. Кулямин | ||
"... tion of covering arrays, that is ensuring coverage of all pairs, triple, etc. of configuration ..." | ||
Том 30, № 6 (2018) | Конфигурационная сборка варианта ядра Linux для прикладных систем | Аннотация PDF (Rus) похожие документы |
С. В. Козин | ||
"... ,000 configuration variables and a large variety of functional system elements that handle the processing of various ..." | ||
Том 18 (2010) | Автоматизация системного тестирования моделей аппаратуры на основе формальных спецификаций | Аннотация PDF (Rus) похожие документы |
М. М. Чупилко | ||
"... This paper touches upon the problem of the system testing of interconnected hardware modules when ..." | ||
Том 29, № 4 (2017) | Cтохастические методы анализа комплексных программно-аппаратных систем | Аннотация похожие документы |
А. А. Карнов, С. В. Зеленов | ||
"... In this paper we consider Markov analysis of models of complex software and hardware systems ..." | ||
Том 34, № 5 (2022) | Сравнение инструментов высокоуровневого синтеза и конструирования цифровой аппаратуры | Аннотация PDF (Rus) похожие документы |
Александр Сергеевич КАМКИН, Михаил Михайлович ЧУПИЛКО, Михаил Сергеевич ЛЕБЕДЕВ, Сергей Александрович СМОЛОВ, Георги ГАЙДАДЖИЕВ | ||
"... or hardware construction tools. Nowadays, there are many frameworks available, both open-source and commercial ..." | ||
Том 20 (2011) | Использование аппаратной виртуализации в контексте информационной безопасности | Аннотация PDF (Rus) похожие документы |
Д. В. Силаков | ||
"... The paper describes possible ways of using hardware-assisted virtualization for solving different ..." | ||
Том 31, № 5 (2019) | Методы оценки надежности программных и технических систем | Аннотация PDF (Rus) похожие документы |
Екатерина Михайловна Лаврищева, Сергей Вадимович Зеленов, Николай Витальевич Пакулин | ||
"... and safety of software and hardware systems in the processes of their life cycle, as well as collecting ..." | ||
Том 29, № 5 (2017) | Моделирование программно-аппаратных систем и анализ их безопасности | Аннотация PDF (Rus) похожие документы |
С. В. Зеленов, С. А. Зеленова | ||
"... Hardware-software systems are widely used now and must be safe and reliable. Manual analysis ..." | ||
Том 35, № 2 (2023) | Разработка подхода к сквозному тестированию приложения для управления конфигурацией виртуальной инфраструктуры предприятия | Аннотация похожие документы |
Евгений Вадимович ГЕРАСЬКИН, Никита Владимирович ВОИНОВ | ||
"... The article is devoted to end-to-end testing of the application for managing the configuration ..." | ||
Том 34, № 1 (2022) | Исследование применимости аппаратной компрессии данных в межпроцессорных каналах связи процессоров с архитектурой Эльбрус | Аннотация PDF (Rus) похожие документы |
Александр Викторович СУРЧЕНКО | ||
"... , where bandwidth is significantly less than in processor data buses. Hardware data compression can ..." | ||
Том 34, № 3 (2022) | Модификация алгоритма обнаружения и локализации ошибки в системе остаточных классов | Аннотация PDF (Rus) похожие документы |
Андрей Владимирович ГЛАДКОВ, Виктор Андреевич КУЧУКОВ, Михаил Григорьевич БАБЕНКО, Андрей Николаевич ЧЕРНЫХ, Виктор Васильевич БЕРЕЖНОЙ, Александр Юльевич ДРОЗДОВ | ||
"... Synthesis Solution. It significantly reduces the area of the hardware implementation increasing the packing ..." | ||
Том 29, № 1 (2017) | Обзор методов и средств генерации тестовых программ для микропроцессоров | Аннотация PDF (Rus) похожие документы |
А. Д. Татарников | ||
Том 20 (2011) | Механизмы поддержки функционального тестирования моделей аппаратуры на разных уровнях абстракции | Аннотация PDF (Rus) похожие документы |
А. C. Камкин, М. M. Чупилко | ||
Том 28, № 1 (2016) | Равномерное распределение нагрузки аппаратно-программного ядра в UNIX-системах | Аннотация PDF (Rus) похожие документы |
Е. В. Пальчевский, А. Р. Халиков | ||
"... to the interaction of hardware and software core to ensure the stability of the physical server. The algorithms ..." | ||
1 - 39 из 149 результатов | 1 2 3 4 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)