Сортировать по:
| Выпуск | Название | |
| Том 29, № 4 (2017) | Отладчик для операционной системы реального времени: проблемы мультиплатформенности | Аннотация похожие документы |
| А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин | ||
| "... In this paper, we present our work in developing a debugger for multiplatform real-time operating ..." | ||
| Том 28, № 2 (2016) | Разработка отладчика для операционной системы реального времени | Аннотация похожие документы |
| А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин | ||
| "... In this paper, we report on the work in progress on the debugger project for real-time operating ..." | ||
| Том 35, № 3 (2023) | Отладчик декларативного DSL для разработки телекоммуникационных систем | Аннотация похожие документы |
| Тарас Михайлович СКАЖЕНИК, Дмитрий Владимирович КОЗНОВ | ||
| "... . In the current paper, we present a debugger for DevM — a declarative DSL intended for support device management ..." | ||
| Том 32, № 4 (2020) | Отладчик параллельных программ для ОС Linux | Аннотация PDF (Rus) похожие документы |
| Алексей Борисович КИСЕЛЕВ, Сергей Николаевич КИСЕЛЕВ | ||
| "... The paper presents a debugger for parallel programs in С/C++, or FORTRAN, which are executed ..." | ||
| Том 30, № 3 (2018) | Конфигурируемый трассировщик системных вызовов в эмуляторе QEMU | Аннотация похожие документы |
| А. В. Иванов, П. М. Довгалюк, В. А. Макаров | ||
| "... to implementing the debugger. The same problem arises with the architecture of the processor, under which ..." | ||
| Том 30, № 3 (2018) | Скрытая отладка программ отладчиком WinDbg в эмуляторе Qemu | Аннотация похожие документы |
| М. А. Абакумов, П. М. Довгалюк | ||
| "... debugger has the possibility of connecting to a remote debug service (Kdsrv.exe) in the Windows kernel ..." | ||
| Том 33, № 5 (2021) | Разработка компилятора для стековой процессорной архитектуры TF16 на основе LLVM | Аннотация PDF (Rus) похожие документы |
| Леонид Владленович СКВОРЦОВ, Роман Вячеславович БАЕВ, Ксения Юрьевна ДОЛГОРУКОВА, Евгений Юрьевич ШАРЫГИН | ||
| "... for new architectures, such as disassembler, linker and debugger. Two compiler versions were developed ..." | ||
| Том 31, № 4 (2019) | Средства трассировки ОС РВ семейства «Багет» | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Годунов, Федор Николаевич Чемерев | ||
| "... of this software is to search for «ordinary» software errors (which traditional debuggers cannot handle) and real ..." | ||
| Том 28, № 2 (2016) | Устройство и архитектура операционной системы реального времени | Аннотация похожие документы |
| К. М. Маллачиев, Н. В. Пакулин, А. В. Хорошилов | ||
| "... Modular Avionics (IMA) architecture for airborne systems. This architecture is based on interconnection ..." | ||
| Том 19 (2010) | Моделирование операционной семантики машинных инструкций | Аннотация PDF (Rus) похожие документы |
| В. А. Падарян, М. А. Соловьев, А. И. Кононов | ||
| "... for various target architectures. Feature of this model is that it is intended for reverse transformation ..." | ||
| Том 29, № 4 (2017) | Использование модульного подхода во встраиваемых операционных системах | Аннотация похожие документы |
| К. А. Маллачиев, Н. В. Пакулин, А. В. Хорошилов, Д. В. Буздалов | ||
| "... . Control computers may differ in the architecture of the CPU, the structure of communication channels ..." | ||
| Том 29, № 2 (2017) | Возможности статической верификации монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков | ||
| "... The most of modern widely used operating systems have monolithic kernels since this architecture ..." | ||
| Том 32, № 3 (2020) | Подходы к отладке и обеспечению качества статического анализатора | Аннотация похожие документы |
| Максим Александрович МЕНЬШИКОВ | ||
| "... methods such as debugger usage, instrumentation, and logging make developers concentrate on specific minor ..." | ||
| Том 26, № 2 (2014) | Конфигурируемая система статической верификации модулей ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. К. Петренко, А. В. Хорошилов | ||
| "... for checking kernel components of other OSs. It describes an architecture of a configurable toolset for static ..." | ||
| Том 32, № 5 (2020) | Практика и перспективы применения семейства эмуляторов архитектур мейнфреймов IBM | Аннотация PDF (Rus) похожие документы |
| Александр Викторович ШМИД | ||
| "... This article describes the family of emulators for IBM mainframe architectures, their development ..." | ||
| Том 27, № 2 (2015) | Методы повышения производительности обратной отладки | Аннотация PDF (Rus) похожие документы |
| М. А. Климушенкова, П. М. Довгалюк | ||
| "... debugger which allows using reverse-continue, reverse-nexti, reverse-stepi and reverse-finish commands ..." | ||
| Том 29, № 3 (2017) | Сертифицируемая бортовая операционная система реального времени JetOS для российских проектов воздушных судов | Аннотация PDF (Rus) похожие документы |
| Ю. А. Солоделов, Н. К. Горелиц | ||
| "... real-time operating system, which is designed in order to support several hardware architectures ..." | ||
| Том 32, № 5 (2020) | Реализация маркирования в подсистеме печати ОС семейства Windows на основе виртуального XPS-принтера | Аннотация PDF (Rus) похожие документы |
| Сергей Викторович КОЗЛОВ, Сергей Александрович КОПЫЛОВ, Борис Владимирович КОНДРАТЬЕВ, Дмитрий Олегович ОБЫДЕНКОВ | ||
| "... systems is given. The architecture of a virtual XPS printer driver has been developed. The process ..." | ||
| Том 30, № 3 (2018) | Извлечение архитектурной информации из исходного кода ARINC 653 совместимых приложений с использованием алгоритма CEGAR | Аннотация похожие документы |
| С. Л. Лесовой | ||
| "... systems. By using a model-based approach it is possible to build an architecture model from the existing ..." | ||
| Том 27, № 1 (2015) | Применение статической бинарной инструментации с целью проведения динамического анализа программ для платформы ARM | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, С. П. Вартанов | ||
| "... instrumentation for ELF executable and shared library files specifically targeting the ARM architecture. We ..." | ||
| Том 26, № 1 (2014) | Тестирование операционных систем | Аннотация PDF (Rus) похожие документы |
| Е. А. Герлиц, В. В. Кулямин, А. В. Максимов, А. К. Петренко, А. В. Хорошилов, А. В. Цыварев | ||
| "... Работа операционной системы лежит в основе функционирования любой компьютерной системы. Сбои и ..." | ||
| Том 30, № 6 (2018) | Компонентная верификация операционных систем | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин, А. К. Петренко, А. В. Хорошилов | ||
| "... промышленно используемых операционных систем (ОС). Таковыми считаются не системы, разработанные в целях ..." | ||
| Том 27, № 2 (2015) | Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, С. П. Вартанов | ||
| "... machine which allow generating extra statistics and data to be intercepted by a debugger client ..." | ||
| Том 23 (2012) | Верификация драйверов операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| Д. Бейер, А. К. Петренко | ||
| Том 29, № 2 (2017) | Развитие ядра операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков | ||
| "... Существующие исследования, которые посвящены анализу развития ядра операционной системы Linux ..." | ||
| Том 25 (2013) | Моделирование окружения драйверов устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
| "... При статической верификации драйверов устройств операционной системы Linux необходимо учитывать ..." | ||
| Том 20 (2011) | Архитектура Linux Driver Verification | Аннотация PDF (Rus) похожие документы |
| В. С. Мутилин, Е. М. Новиков, А. В. Страх, А. В. Хорошилов, П. Е. Швед | ||
| "... tool for Linux device drivers. An architecture of a verification system implementing the requirements ..." | ||
| Том 30, № 4 (2018) | Библиотека программирования гетерогенных архитектур | Аннотация похожие документы |
| Г. В. Киргизов, Я. А. Кириленко | ||
| "... Embedded platforms with heterogeneous architecture, considered in this paper, consist of one ..." | ||
| Том 28, № 3 (2016) | Верификация и анализ вариабельных операционных систем | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин, Е. М. Лаврищева, В. С. Мутилин, А. К. Петренко | ||
| "... В данной работе рассматриваются проблемы верификации и анализа сложных операционных систем с учетом ..." | ||
| Том 31, № 5 (2019) | Анализ корректности синхронизации компонентов ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| Павел Сергеевич Андрианов | ||
| Том 36, № 3 (2024) | Платформа автоматизации фаззинг-тестирования компонентов операционной системы | Аннотация PDF (Rus) похожие документы |
| Егор Петрович СУРАЕВ, Виктория Вячеславовна ЕГОРОВА, Алексей Сергеевич ПАНОВ | ||
| Том 33, № 3 (2021) | Какие стили архитектуры программного обеспечения популярны? | Аннотация похожие документы |
| Алексей Александрович МИЦЮК, Николай Арсенович ЖАМГАРЯН | ||
| "... One can meet the software architecture style's notion in the software engineering literature ..." | ||
| Том 36, № 6 (2024) | Предметно-ориентированное проектирование в микросервисной архитектуре | Аннотация похожие документы |
| Хосуэ САНГАБРИЭЛЬ-АЛАРКОН, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС, Ксавьер ЛИМОН, М. Карен КОРТЕС-ВЕРДИН | ||
| "... found benefits and challenges in the use of DDD in Microservices Architecture which are translated ..." | ||
| Том 28, № 6 (2016) | Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракций | Аннотация PDF (Rus) похожие документы |
| П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов | ||
| "... апробирован на модулях ядра операционной системы Linux, что позволило обнаружить несколько состояний гонок ..." | ||
| Том 32, № 1 (2020) | Модель мандатного контроля целостности в операционной системе KasperskyOS | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Буренков, Дмитрий Александрович Кулагин | ||
| "... Существующие модели мандатного контроля целостности в операционных системах накладывают ..." | ||
| Том 26, № 1 (2014) | Применение программных эмуляторов в задачах анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
| П. М. Довгалюк, В. А. Макаров, В. А. Падарян, М. С. Романеев, Н. И. Фурсова | ||
| "... of binary code: as a machine instruction tracer, and as a smart interactive debugger. We provide ..." | ||
| Том 32, № 2 (2020) | Исследование технологии RISC-V | Аннотация PDF (Rus) похожие документы |
| Владимир Александрович ФРОЛОВ, Владимир Александрович ГАЛАКТИОНОВ, Вадим Владимирович САНЖАРОВ | ||
| "... An Instruction Set Architecture (ISA) is the core around which the rest of the CPU is built ..." | ||
| Том 29, № 5 (2017) | Техника плоских схем для тестирования встроенных операционных систем | Аннотация похожие документы |
| В. В. Никифоров, С. Н. Баранов | ||
| "... под управлением встроенной операционной системы реального времени (ОС). Надежность ОС чрезвычайно ..." | ||
| Том 29, № 5 (2017) | Проектирование моделей вариабельности для программных, операционных систем и их семейств | Аннотация похожие документы |
| Е. М. Лаврищева, В. С. Мутилин, А. Г. Рыжов | ||
| "... определению МХ и созданию на их основе вариантов программных систем (ПС), операционных систем (ОС) и их ..." | ||
| 1 - 39 из 255 результатов | 1 2 3 4 5 6 7 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
