Сортировать по:
| Выпуск | Название | |
| Том 29, № 6 (2017) | Автоматизация разработки моделей устройств и вычислительных машин для QEMU | Аннотация PDF (Rus) похожие документы |
| В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян | ||
| "... Разработка виртуальных устройств и машин для QEMU - трудоёмкий процесс. С целью поддержки ..." | ||
| Том 31, № 5 (2019) | Автоматизированное тестирование фронтенда транслятора TCG для Qemu | Аннотация PDF (Rus) похожие документы |
| Дмитрий Сергеевич Колтунов, Василий Юрьевич Ефимов, Вартан Андроникович Падарян | ||
| "... Implementing a new target architecture in Qemu involves creation of a dynamic binary translator ..." | ||
| Том 27, № 2 (2015) | Об особенностях детерминированного воспроизведения при минимальном наборе устройств | Аннотация PDF (Rus) похожие документы |
| В. Ю. Ефимов, К. А. Батузов, В. А. Падарян | ||
| "... describes the implementation of deterministic replay of IA-32 based boards in QEMU. Another implementation ..." | ||
| Том 22 (2012) | Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU | Аннотация PDF (Rus) похожие документы |
| К. Батузов, П. Довгалюк, В. Кошелев, В. Падарян | ||
| "... симуляторе QEMU, которые отличаются тем, какие компоненты виртуальной машины включаются в воспроизведение ..." | ||
| Том 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) похожие документы |
| Владислав Михайлович СТЕПАНОВ, Павел Михайлович ДОВГАЛЮК, Наталья Игоревна ФУРСОВА | ||
| "... В инструментах анализа снимков памяти и интроспекции виртуальной машины большое внимание уделяется ..." | ||
| Том 20 (2011) | Оптимизация динамической двоичной трансляции | Аннотация PDF (Rus) похожие документы |
| Кирилл Батузов, Алексей Меркулов | ||
| "... translation. We improve lookup of existing translation block in translation cache in QEMU, evaluate impact ..." | ||
| Том 26, № 1 (2014) | Применение программных эмуляторов в задачах анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
| П. М. Довгалюк, В. А. Макаров, В. А. Падарян, М. С. Романеев, Н. И. Фурсова | ||
| "... a description of deterministic replay implemented in the QEMU emulator to supply the stated functionalities. ..." | ||
| Том 26, № 2 (2014) | Внесение неисправностей в программу с использованием детерминированного воспроизведения | Аннотация PDF (Rus) похожие документы |
| П. М. Довгалюк, Ю. В. Маркин | ||
| "... кода тестами, способности системы реагировать на некорректные данные или механизма обработки исключений ..." | ||
| Том 26, № 2 (2014) | Описание аппаратных конфигураций гостевых систем в эмуляторе QEMU в виде отдельных текстовых файлов | Аннотация PDF (Rus) похожие документы |
| О. В. Горемыкин | ||
| "... QEMU is an open-source full system emulator based on the dynamic binary translation approach. QEMU ..." | ||
| Том 30, № 4 (2018) | Совмещение ACSL спецификаций с машинным кодом | Аннотация похожие документы |
| П. А. Путро | ||
| "... эту проблему путём доказательства корректности сгенерированного машинного кода методами дедуктивной ..." | ||
| Том 31, № 6 (2019) | Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода | Аннотация PDF (Rus) похожие документы |
| Александр Борисович Бугеря, Василий Юрьевич Ефимов, Иван Иванович Кулагин, Вартан Андроникович Падарян, Михаил Александрович Соловьев, Андрей Юрьевич Тихонов | ||
| "... of an analyzed algorithm. A QEMU Developer Toolkit (QDT) is introduced, offering support for the domain specific ..." | ||
| Том 30, № 5 (2018) | Отслеживание операций с файловой системой ext3 в эмуляторе QEMU | Аннотация PDF (Rus) похожие документы |
| В. М. Степанов, П. М. Довгалюк, Д. Н. Полетаев | ||
| "... , create, delete and rename operations, and a module for QEMU, which monitors operations in the ext3 file ..." | ||
| Том 28, № 6 (2016) | О некоторых ограничениях полносистемного анализа помеченных данных « | Аннотация PDF (Rus) похожие документы |
| М. А. Климушенкова, М. Г. Бакулин, В. А. Падарян, П. М. Довгалюк, Н. И. Фурсова, И. А. Васильев | ||
| "... approach for i386 platform upon the multi-platform simulator QEMU. Our approach uses instrumentation ..." | ||
| Том 31, № 3 (2019) | Использование инвариантов функции высокого уровня для дедуктивной верификации машинного кода | Аннотация похожие документы |
| Павел Андреевич Путро | ||
| "... корректной генерации машинного кода компилятором. На данный момент разработчикам таких систем приходится ..." | ||
| Том 31, № 6 (2019) | Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода | Аннотация PDF (Rus) похожие документы |
| Михаил Александрович Соловьев, Максим Геннадьевич Бакулин, Сергей Сергеевич Макаров, Дмитрий Валерьевич Манушин, Вартан Андроникович Падарян | ||
| "... Программный инструментарий для работы с бинарным кодом востребован не только разработчиками ..." | ||
| Том 30, № 3 (2018) | Конфигурируемый трассировщик системных вызовов в эмуляторе QEMU | Аннотация похожие документы |
| А. В. Иванов, П. М. Довгалюк, В. А. Макаров | ||
| "... Разработчики программ часто сталкиваются с проблемой анализа работы различных приложений. Для этого ..." | ||
| Том 30, № 3 (2018) | Скрытая отладка программ отладчиком WinDbg в эмуляторе Qemu | Аннотация похожие документы |
| М. А. Абакумов, П. М. Довгалюк | ||
| "... . Therefore, it is possible to connect to the guest system running in the QEMU emulator. Interaction between ..." | ||
| Том 30, № 3 (2018) | Применение глубокого машинного обучения к синтезу цепочки вызовов C# | Аннотация похожие документы |
| А. Е. Чебыкин, Я. А. Кириленко | ||
| "... соответствующие Application Programming Interfaces (APIs). Однако чтобы воспользоваться ими, разработчик должен ..." | ||
| Том 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 ..." | ||
| Том 28, № 5 (2016) | Задача глобального распределения регистров во время динамической двоичной трансляции | Аннотация PDF (Rus) похожие документы |
| К. А. Батузов | ||
| "... Распределение регистров оказывает существенное влияние на производительность генерируемого кода. В ..." | ||
| Том 33, № 5 (2021) | Динамический анализ IoT-систем на основе полносистемной эмуляции в QEMU | Аннотация PDF (Rus) похожие документы |
| Роман Дмитриевич КОВАЛЕНКО, Алексей Николаевич МАКАРОВ | ||
| "... emulation in QEMU. ELF was based on the following aspects: performing software testing and analysis of real ..." | ||
| Том 27, № 6 (2015) | Использование ABI для интроспекции виртуальных машин | Аннотация PDF (Rus) похожие документы |
| Н. И. Фурсова, П. М. Довгалюк, И. А. Васильев | ||
| "... knowledge about its internal structure. Our system is based on QEMU emulator and has a modular structure ..." | ||
| Том 30, № 3 (2018) | Построение модульного программного обеспечения на основе однородной компонентой модели | Аннотация похожие документы |
| К. А. Маллачиев, А. В. Хорошилов | ||
| "... , разработчиками драйверов устройств и т.д. Такие ОС спроектированы так, чтобы иметь возможность запускаться на ..." | ||
| Том 32, № 3 (2020) | Архитектура системы дедуктивной верификации машинного кода | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ | ||
| "... В последние годы ИСП РАН разрабатывает систему дедуктивной верификации машинного (бинарного) кода ..." | ||
| Том 30, № 2 (2018) | Автоматизированная генерация декодеров машинных команд | Аннотация PDF (Rus) похожие документы |
| Н. Ю. Фокина, М. А. Соловьев | ||
| "... В работе предложен метод автоматизированной генерации декодеров машинных команд широкого класса ..." | ||
| Том 33, № 6 (2021) | Технический долг в жизненном цикле разработки ПО: запахи кода | Аннотация PDF (Rus) похожие документы |
| Владимир Владимирович КАЧАНОВ, Михаил Кириллович ЕРМАКОВ, Георгий Александрович ПАНКРАТЕНКО, Александр Вячеславович СПИРИДОНОВ, Александр Сергеевич ВОЛКОВ, Сергей Игоревич МАРКОВ | ||
| "... Данная статья посвящена обзору наиболее популярных запахов кода, одного из компонентов ..." | ||
| Том 22 (2012) | Перспективы виртуализации высокопроизводительных систем архитектуры x64 | Аннотация PDF (Rus) похожие документы |
| А. О. Кудрявцев, В. К. Кошелев, А. И. Аветисян | ||
| "... inside multiple virtual machines are discussed. We consider KVM/QEMU and Palacios systems and use HPC ..." | ||
| Том 23 (2012) | Динамический анализ обфусцированных приложений с диспетчеризацией или виртуализацией кода | Аннотация PDF (Rus) похожие документы |
| М. Г. Бакулин, С. С. Гайсарян, Ш. Ф. Курмангалеев, И. Н. Ледовских, В. А. Падарян, С. М. Щевьева | ||
| "... распутывания бинарного кода независимо разрабатывались двумя коллективами ИСП РАН. Помимо того, для ..." | ||
| Том 35, № 5 (2023) | Извлечение именованных сущностей из рецензий к исходному коду | Аннотация PDF (Rus) похожие документы |
| Владимир Владимирович КАЧАНОВ, Ариана Сергеевна ХИТРОВА, Сергей Игоревич МАРКОВ | ||
| "... В данной статье рассматривается задача извлечения именованных сущностей из рецензий исходного кода ..." | ||
| Том 35, № 3 (2023) | Фреймворк для анализа использования машинных инструкций | Аннотация похожие документы |
| Данила Евгеньевич ПЕЧЕНЕВ, Яков Александрович КИРИЛЕНКО, Ольга Андреевна АФОНИНА | ||
| "... использовании различных машинных инструкций или их групп в машинном коде программ. В данной работе описывается ..." | ||
| Том 31, № 1 (2019) | Анализ характера изменений программ и поиск неисправленных фрагментов кода | Аннотация PDF (Rus) похожие документы |
| Марьям Сероповна Арутюнян, Григорий Сергеевич Иванов, Вааг Геворгович Варданян, Айк Каренович Асланян, Арутюн Ишханович Аветисян, Шамиль Фаимович Курмангалеев | ||
| "... Разработчики программного обеспечения часто прибегают к заимствованию кода – как внутри одного ..." | ||
| Том 34, № 4 (2022) | Большие трансформеры для генерации кода | Аннотация похожие документы |
| Герман Аренович АРУТЮНОВ, Сергей Михайлович АВДОШИН | ||
| "... следует выделить способность обучаться за счет использования моделей машинного и глубинного обучения. В ..." | ||
| Том 28, № 2 (2016) | Разработка отладчика для операционной системы реального времени | Аннотация похожие документы |
| А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин | ||
| "... present our solution that works both in emulator QEMU, which we use to emulate environment for our system ..." | ||
| Том 35, № 5 (2023) | Открытая система хранения и обработки набора данных комбинационных схем | Аннотация похожие документы |
| Данил Александрович МЯЧИН, Виктория Павловна ПУГАЧ, Степан Сергеевич АВДЕЮК, Владимир Викторович ЗУНИН, Александр Юрьевич РОМАНОВ | ||
| "... . В этой статье представлено программное обеспечение с открытым исходным кодом для генерации ..." | ||
| Том 33, № 3 (2021) | Какие стили архитектуры программного обеспечения популярны? | Аннотация похожие документы |
| Алексей Александрович МИЦЮК, Николай Арсенович ЖАМГАРЯН | ||
| "... разработчиков проектов с открытым исходным кодом, опубликованных коммерческими компаниями и некоммерческими ..." | ||
| Том 31, № 6 (2019) | Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ | Аннотация PDF (Rus) похожие документы |
| Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян | ||
| "... инструментах повышения стабильности и безопасности их продукта. Используемые разработчиками закрытые библиотеки ..." | ||
| Том 28, № 5 (2016) | Платформенно-независимый и масштабируемый инструмент поиска клонов кода в бинарных файлах | Аннотация PDF (Rus) похожие документы |
| А. К. Асланян, Ш. Ф. Курмангалеев, В. Г. Варданян, М. С. Арутюнян, С. С. Саргсян | ||
| "... При разработке программного обеспечения разработчики часто прибегают к копированию того или иного ..." | ||
| Том 32, № 1 (2020) | Кэширование машинного кода в динамическом компиляторе SQL-запросов для СУБД PostgreSQL | Аннотация PDF (Rus) похожие документы |
| Михаил Вячеславович Пантилимонов, Рубен Артурович Бучацкий, Роман Александрович Жуйков | ||
| "... машинного кода. Чтобы оправдать расходы, затрачиваемые на динамическую компиляцию таких запросов, необходимо ..." | ||
| 1 - 39 из 525 результатов | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
