Сортировать по:
| Выпуск | Название | |
| Том 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 ..." | ||
| Том 22 (2012) | Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU | Аннотация PDF (Rus) похожие документы |
| К. Батузов, П. Довгалюк, В. Кошелев, В. Падарян | ||
| "... In the paper we evaluate two approaches to full-system deterministic replay. Both of them allow ..." | ||
| Том 26, № 2 (2014) | Внесение неисправностей в программу с использованием детерминированного воспроизведения | Аннотация PDF (Rus) похожие документы |
| П. М. Довгалюк, Ю. В. Маркин | ||
| "... This paper presents method of improving software fault injection by using deterministic replay ..." | ||
| Том 26, № 1 (2014) | Применение программных эмуляторов в задачах анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
| П. М. Довгалюк, В. А. Макаров, В. А. Падарян, М. С. Романеев, Н. И. Фурсова | ||
| "... a description of deterministic replay implemented in the QEMU emulator to supply the stated functionalities. ..." | ||
| Том 31, № 5 (2019) | Интроспекция конфигурации периферийных устройств эмулятора QEMU | Аннотация PDF (Rus) похожие документы |
| Наталья Игоревна Фурсова, Павел Михайлович Довгалюк | ||
| "... and in deterministic replay mode, interacting with the machine through a QEMU monitor. ..." | ||
| Том 31, № 5 (2019) | Автоматизированное тестирование фронтенда транслятора TCG для Qemu | Аннотация PDF (Rus) похожие документы |
| Дмитрий Сергеевич Колтунов, Василий Юрьевич Ефимов, Вартан Андроникович Падарян | ||
| "... . This paper is devoted to testing a target architecture implementation in Qemu when the necessary oracle ..." | ||
| Том 30, № 3 (2018) | Конфигурируемый трассировщик системных вызовов в эмуляторе QEMU | Аннотация похожие документы |
| А. В. Иванов, П. М. Довгалюк, В. А. Макаров | ||
| "... discusses the implementation of a tracer that allows you to analyze programs based on system calls ..." | ||
| Том 30, № 5 (2018) | Отслеживание операций с файловой системой ext3 в эмуляторе QEMU | Аннотация PDF (Rus) похожие документы |
| В. М. Степанов, П. М. Довгалюк, Д. Н. Полетаев | ||
| "... manner but requires a separate implementation for each file system. An important problem for implementing ..." | ||
| Том 21 (2011) | Детерминированное воспроизведение процесса выполнения программ в виртуальной машине | Аннотация PDF (Rus) похожие документы |
| Павел Довгалюк | ||
| "... in future for implementation of different mechanisms of dynamic program analysis and reverse debugging. ..." | ||
| Том 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 ..." | ||
| Том 26, № 2 (2014) | Описание аппаратных конфигураций гостевых систем в эмуляторе QEMU в виде отдельных текстовых файлов | Аннотация PDF (Rus) похожие документы |
| О. В. Горемыкин | ||
| "... QEMU is an open-source full system emulator based on the dynamic binary translation approach. QEMU ..." | ||
| Том 24 (2013) | Разработка и реализация облачной системы для решения высокопроизводительных задач | Аннотация PDF (Rus) похожие документы |
| А. О. Кудрявцев, В. К. Кошелев, А. О. Избышев, И. А. Дудина, Ш. Ф. Курмангалеев, А. И. Аветисян, В. П. Иванников, В. Е. Велихов, Е. А. Рябинкин | ||
| "... and implementation of a cloud system that possesses a small enough overhead level to allow it to be practically used ..." | ||
| Том 27, № 6 (2015) | Проверяющие эксперименты с ненаблюдаемым древовидными автоматами | Аннотация PDF (Rus) похожие документы |
| Н. Г. Кушик | ||
| "... . The fault model is considered to be a ‘white box’ where all possible implementations are explicitly ..." | ||
| Том 28, № 6 (2016) | О некоторых ограничениях полносистемного анализа помеченных данных « | Аннотация PDF (Rus) похожие документы |
| М. А. Климушенкова, М. Г. Бакулин, В. А. Падарян, П. М. Довгалюк, Н. И. Фурсова, И. А. Васильев | ||
| "... approach for i386 platform upon the multi-platform simulator QEMU. Our approach uses instrumentation ..." | ||
| Том 36, № 3 (2024) | Декларативный подход к задаче интроспекции виртуальной машины | Аннотация PDF (Rus) похожие документы |
| Владислав Михайлович СТЕПАНОВ, Павел Михайлович ДОВГАЛЮК, Наталья Игоревна ФУРСОВА | ||
| Том 30, № 3 (2018) | Скрытая отладка программ отладчиком WinDbg в эмуляторе Qemu | Аннотация похожие документы |
| М. А. Абакумов, П. М. Довгалюк | ||
| "... . Therefore, it is possible to connect to the guest system running in the QEMU emulator. Interaction between ..." | ||
| Том 28, № 5 (2016) | Задача глобального распределения регистров во время динамической двоичной трансляции | Аннотация PDF (Rus) похожие документы |
| К. А. Батузов | ||
| Том 22 (2012) | Задача локального распределения регистров во время динамической двоичной трансляции | Аннотация PDF (Rus) похожие документы |
| Кирилл Батузов | ||
| "... QEMU is a generic machine emulator based on a dynamic binary translation approach. This paper ..." | ||
| Том 20 (2011) | Оптимизация динамической двоичной трансляции | Аннотация PDF (Rus) похожие документы |
| Кирилл Батузов, Алексей Меркулов | ||
| "... translation. We improve lookup of existing translation block in translation cache in QEMU, evaluate impact ..." | ||
| Том 33, № 5 (2021) | Динамический анализ IoT-систем на основе полносистемной эмуляции в QEMU | Аннотация PDF (Rus) похожие документы |
| Роман Дмитриевич КОВАЛЕНКО, Алексей Николаевич МАКАРОВ | ||
| "... emulation in QEMU. ELF was based on the following aspects: performing software testing and analysis of real ..." | ||
| Том 29, № 6 (2017) | Автоматизация разработки моделей устройств и вычислительных машин для QEMU | Аннотация PDF (Rus) похожие документы |
| В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян | ||
| "... Разработка виртуальных устройств и машин для QEMU - трудоёмкий процесс. С целью поддержки ..." | ||
| Том 30, № 3 (2018) | К проверке строго детерминированного поведения временных конечных автоматов | Аннотация похожие документы |
| Е. М. Винарский, В. А. Захаров | ||
| "... to the machine. A TFSM is called strictly deterministic if every input timed word activates no more than one ..." | ||
| Том 32, № 1 (2020) | Эффективные реализации алгоритмов тематического моделирования | Аннотация PDF (Rus) похожие документы |
| Мурат Азаматович Апишев | ||
| "... Topic modeling is an area of natural language processing that has been actively developed ..." | ||
| Том 28, № 2 (2016) | Разработка отладчика для операционной системы реального времени | Аннотация похожие документы |
| А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин | ||
| "... present our solution that works both in emulator QEMU, which we use to emulate environment for our system ..." | ||
| Том 31, № 6 (2019) | Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода | Аннотация PDF (Rus) похожие документы |
| Александр Борисович Бугеря, Василий Юрьевич Ефимов, Иван Иванович Кулагин, Вартан Андроникович Падарян, Михаил Александрович Соловьев, Андрей Юрьевич Тихонов | ||
| "... of an analyzed algorithm. A QEMU Developer Toolkit (QDT) is introduced, offering support for the domain specific ..." | ||
| Том 30, № 1 (2018) | Применение AVX512-векторизации для увеличения производительности генератора псевдослучайных чисел | Аннотация PDF (Rus) похожие документы |
| М. С. Гуськова, Л. Ю. Бараш, Л. Н. Щур | ||
| "... to generate random numbers. GPRS uses deterministic algorithms to calculate numbers, but the sequence obtained ..." | ||
| Том 24 (2013) | О методах деобфускации программ | Аннотация PDF (Rus) похожие документы |
| Ш. Ф. Курмангалеев, К. Ю. Долгорукова, В. В. Савченко, А. Р. Нурмухаметов, Р. А. Матевосян, В. П. Корчагин | ||
| "... the obfuscation techniques being widely used for protecting implementations. The regular disassembly tool mostly ..." | ||
| Том 18 (2010) | Система моделирования Grid: реализация и возможности применения | Аннотация PDF (Rus) похожие документы |
| Д. А. Грушин, А. И. Поспелов | ||
| Том 30, № 2 (2018) | Распараллеливание реализаций сугубо последовательных алгоритмов | Аннотация PDF (Rus) похожие документы |
| А. Б. Бугеря, Е. С. Ким, М. А. Соловьев | ||
| "... execution time is unacceptably high. Various parallelization methods for software implementations ..." | ||
| Том 30, № 1 (2018) | Влияние частичности и адаптивности на сложность задачи идентификации состояний автомата | Аннотация похожие документы |
| Х. Йенигун, Н. Евтушенко, Н. Кушик, Х Лопез | ||
| "... State identification is a long standing problem in the area of Finite State Machine (FSM) based ..." | ||
| Том 32, № 2 (2020) | Применение технологии машинного обучения для анализа вероятности выигрыша тендера на выполнение проекта | Аннотация похожие документы |
| Никита Борисович КУЛЬТИН, Данила Никитич КУЛЬТИН, Роман Владимирович БАУЭР | ||
| "... in order to support the decision to participate in the tender for the implementation of the project ..." | ||
| Том 33, № 1 (2021) | Безопасная реализация виртуальной сети на плоскости данных SDN | Аннотация PDF (Rus) похожие документы |
| Игорь Борисович БУРДОНОВ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ | ||
| "... The paper continues the investigations on the implementation of virtual networks on the SDN data ..." | ||
| Том 36, № 6 (2024) | Тематический синтез разработки, ориентированной на поведение: аналитический подход | Аннотация похожие документы |
| Виктор Мануэль АРРЕДОНДО-РЕЙЕС, Саул ДОМИНГЕС-ИСИДРО, Ангел Хуан САНЧЕС-ГАРСИЯ, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС | ||
| "... and implementation. The findings emphasize BDD's role in bridging the gap between technical and non-technical ..." | ||
| Том 26, № 6 (2014) | Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции | Аннотация PDF (Rus) похожие документы |
| Антон Ермаков | ||
| "... ) and the latter means that a reliable reset is assumed in an implementation under test in order to glue test ..." | ||
| Том 20 (2011) | Использование аппаратной виртуализации в контексте информационной безопасности | Аннотация PDF (Rus) похожие документы |
| Д. В. Силаков | ||
| Том 28, № 3 (2016) | Применение ПЛИС для расчета деполимеризации микротрубочки методом броуновской динамики | Аннотация PDF (Rus) похожие документы |
| Ю. А. Румянцев, П. Н. Захаров, Н. А. Абрашитова, А. В. Шматок, В. О. Рыжих, Н. Б. Гудимчук, Ф. И. Атауллаханов | ||
| "... on Xilinx Virtex-7 FPGA using high level synthesis tool Vivado HLS. FPGA implementation is compared ..." | ||
| Том 34, № 3 (2022) | Реализация распределённых и параллельных вычислений в сети SDN | Аннотация PDF (Rus) похожие документы |
| Игорь Борисович БУРДОНОВ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ | ||
| Том 35, № 2 (2023) | Разработка и реализация средства диагностики сетей Ethernet | Аннотация PDF (Rus) похожие документы |
| Григорий Павлович ОХРИМЕНКО, Сергей Юрьевич МОКШИН, Алексей Олегович ИГНАТЬЕВ | ||
| 1 - 39 из 404 результатов | 1 2 3 4 5 6 7 8 9 10 11 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
