Сортировать по:
| Выпуск | Название | |
| Том 29, № 2 (2017) | Развитие ядра операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков | ||
| "... Existing research analyzing evolution of the Linux kernel considers the kernel together ..." | ||
| Том 23 (2012) | Тестирование драйверов файловых систем в ОС Linux | Аннотация PDF (Rus) похожие документы |
| А. В. Цыварев, В. А. Мартиросян | ||
| "... are implemented as kernel modules, which works in the same address space as kernel core. For that reason ..." | ||
| Том 26, № 2 (2014) | Конфигурируемая система статической верификации модулей ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. К. Петренко, А. В. Хорошилов | ||
| "... modules of different OSs. It suggests a new method for static verification of Linux kernel modules ..." | ||
| Том 30, № 6 (2018) | Статическая верификация ошибок использования памяти в модулях ядра ОС Linux | Аннотация похожие документы |
| А. А. Васильев | ||
| "... Memory errors in Linux kernel drivers are a kind of serious bugs that can lead to dangerous ..." | ||
| Том 27, № 5 (2015) | Использование симуляции сбоев при тестировании компонентов ядра ОС Linux | Аннотация PDF (Rus) похожие документы |
| А. В. Цыварев, А. В. Хорошилов | ||
| "... fault injection in Linux kernel. The main goal is to test if kernel components correctly handle abnormal ..." | ||
| Том 28, № 6 (2016) | Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракций | Аннотация PDF (Rus) похожие документы |
| П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов | ||
| "... of CPAchecker framework. The tool was evaluated on Linux kernel modules and it has detected several actual data ..." | ||
| Том 29, № 4 (2017) | Статическая верификация конфигураций ядра Linux | Аннотация похожие документы |
| С. В. Козин, В. С. Мутилин | ||
| "... The Linux kernel is often used as a real world case study to demonstrate novel software product ..." | ||
| Том 33, № 6 (2021) | Мониторинг и тестирование модулей операционных систем на основе абстрактных моделей поведения системы | Аннотация PDF (Rus) похожие документы |
| Денис Валентинович ЕФРЕМОВ, Виктория Владимировна КОПАЧ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Александр Константинович ПЕТРЕНКО, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ | ||
| "... of OS. The method described was used successfully in testing and monitoring of Linux OS core components ..." | ||
| Том 30, № 3 (2018) | Эмуляция ввода-вывода оборудования с отображением в ОЗУ внутри ядер операционных систем | Аннотация похожие документы |
| В. Ю. Чепцов, А. В. Хорошилов | ||
| "... , and additional requirements for the host hardware. In this paper we extend this approach to the kernel ..." | ||
| Том 32, № 3 (2020) | Трассировка сетевых пакетов в ядре Linux с использованием eBPF | Аннотация похожие документы |
| Марк Германович КОВАЛЕВ | ||
| "... to troubleshoot such problems, their functionality is limited by the API that Linux kernel provides. Usually ..." | ||
| Том 29, № 6 (2017) | Формальная верификация библиотечных функций ядра Linux | Аннотация PDF (Rus) похожие документы |
| Д. В. Ефремов, М. У. Мандрыкин | ||
| "... The paper presents result of a study on deductive verification of 26 Linux kernel library functions ..." | ||
| Том 30, № 6 (2018) | Конфигурационная сборка варианта ядра Linux для прикладных систем | Аннотация PDF (Rus) похожие документы |
| С. В. Козин | ||
| "... The Linux operating system is a modern open operating system containing more than 10 ..." | ||
| Том 35, № 3 (2023) | Анализ актуальных ошибок в ядре Linux путем кластеризации сообщений об исправлениях в git-репозитории | Аннотация похожие документы |
| Сергей Михайлович СТАРОЛЕТОВ, Никита Александрович СТАРОВОЙТОВ, Николай Андреевич ГОЛОВНЕВ | ||
| "... subsystems. As a result, we show a summary of bug fixes in such parts of the Linux kernel as kernel, sched ..." | ||
| Том 22 (2012) | Анализ типовых ошибок в драйверах операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
| "... Fast evolution of the Linux operating system kernel and drivers, developed by a big programmers ..." | ||
| Том 31, № 5 (2019) | Анализ корректности синхронизации компонентов ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| Павел Сергеевич Андрианов | ||
| Том 24 (2013) | Построение спецификаций программных интерфейсов в открытой системе покомпонентной верификации ядра Linux | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков | ||
| "... . To apply successfully existing tools for the Linux kernel one needs to perform componentwise verification ..." | ||
| Том 23 (2012) | Верификация драйверов операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| Д. Бейер, А. К. Петренко | ||
| "... Linux driver verification is a large application area for software verification methods ..." | ||
| Том 29, № 6 (2017) | Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, Е. М. Новиков | ||
| "... verification of loadable modules of the Linux kernel. Developers of automated static verification tool ..." | ||
| Том 25 (2013) | Моделирование окружения драйверов устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
| "... In static device driver verification of Linux operating system it is necessary to take into account ..." | ||
| Том 29, № 2 (2017) | Возможности статической верификации монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков | ||
| "... The most of modern widely used operating systems have monolithic kernels since this architecture ..." | ||
| Том 34, № 4 (2022) | Подходы, направленные на повышение эффективности фаззинг-тестирования компонентов защищенной ОС | Аннотация PDF (Rus) похожие документы |
| Виктория Вячеславовна ЕГОРОВА, Алексей Сергеевич ПАНОВ, Владимир Юрьевич ТЕЛЕЖНИКОВ, Петр Николаевич ДЕВЯНИН | ||
| "... for kernel and for user-space software. On the other hand, on these amounts of program code, static code ..." | ||
| Том 37, № 2 (2025) | Проектирование и развитие механизма мандатного контроля целостности в операционной системе Astra Linux | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Алексей Александрович СТАРОСТИН, Денис Сергеевич ПАНОВ, Семен Владимирович УСАЧЕВ | ||
| "... Mandatory integrity control (MIC) is the security foundation of the Astra Linux operating system ..." | ||
| Том 29, № 3 (2017) | Комбинация методов статической верификации композиции требований | Аннотация PDF (Rus) похожие документы |
| В. О. Мордань | ||
| "... their advantages on Linux kernel modules in comparison with using of each verification method separately. ..." | ||
| Том 33, № 5 (2021) | Динамический анализ IoT-систем на основе полносистемной эмуляции в QEMU | Аннотация PDF (Rus) похожие документы |
| Роман Дмитриевич КОВАЛЕНКО, Алексей Николаевич МАКАРОВ | ||
| "... on the basis of Linux kernels. ELF environment is designed for dynamic analysis of devices based on full-system ..." | ||
| Том 27, № 5 (2015) | Метод легковесного статического анализа для поиска состояний гонок | Аннотация PDF (Rus) похожие документы |
| П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов | ||
| "... . It takes into account the specifics of operating system kernels, such as complex parallelism and kernel ..." | ||
| Том 30, № 6 (2018) | Минимальный базис модуля сизигий старших членов | Аннотация PDF (Rus) похожие документы |
| А. В. Шокуров | ||
| "... of generators of K[X]-module S-polynomials. There is a natural problem of finding such a minimal system ..." | ||
| Том 34, № 4 (2022) | Инструмент динамического анализа IoT-систем ELF с поддержкой символьных вычислений | Аннотация PDF (Rus) похожие документы |
| Роман Дмитриевич КОВАЛЕНКО, Алексей Николаевич МАКАРОВ | ||
| "... of IoT systems based on Linux kernels, describes how to integrate S2E full-system symbolic execution ..." | ||
| Том 30, № 3 (2018) | Скрытая отладка программ отладчиком WinDbg в эмуляторе Qemu | Аннотация похожие документы |
| М. А. Абакумов, П. М. Довгалюк | ||
| "... service in the kernel. Thus, the debugger client tries to connect to the WinDbg server, but module ..." | ||
| Том 32, № 1 (2020) | Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич Девянин, Виктор Вячеславович Кулямин, Александр Константинович Петренко, Алексей Владимирович Хорошилов, Илья Викторович Щепетков | ||
| "... of lower level modules. The model is implemented in a Linux-based operating system using the Linux Security ..." | ||
| Том 27, № 3 (2015) | Подход к верификации модуля прямого доступа к памяти | Аннотация PDF (Rus) похожие документы |
| В. Н. Куцевол, А. Н. Мешков, М. П. Рыжов, П. В. Фролов | ||
| Том 31, № 6 (2019) | Анализ корректности работы с памятью с использованием расширения теории символьных графов предикатами над символьными значениями | Аннотация PDF (Rus) похожие документы |
| Антон Александрович Васильев, Вадим Сергеевич Мутилин | ||
| "... in CPAchecker tool. Practical usage is demonstrated on Linux kernel modules. The practical contribution of our ..." | ||
| Том 37, № 3 (2025) | Исследование специальных наборов модулей системы остаточных классов | Аннотация PDF (Rus) похожие документы |
| Владислав Вячеславович ЛУЦЕНКО, Михаил Дмитриевич КРАВЦОВ, Дмитрий Евгеньевич ГОРЛАЧЕВ, Никита Михайлович МИРНЫЙ | ||
| "... на основе системы остаточных классов. Цель исследования – анализ специальных наборов модулей системы ..." | ||
| Том 22 (2012) | Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
| "... on device drivers from Linux kernel 3.0. Specifics of device drivers verification are discussed ..." | ||
| Том 36, № 4 (2024) | Выявление ошибок в программном модуле Pandas с помощью статического анализатора Svace | Аннотация похожие документы |
| Мария Анатольевна ЛАПИНА, Максим Иванович ХОДАКОВ, Софья Кирилловна ГРОБОВА | ||
| Том 36, № 4 (2024) | К моделированию задачи осаждения твердой частицы в вязкой несжимаемой жидкости методом гидродинамики сглаженных частиц (SPH) | Аннотация PDF (Rus) похожие документы |
| Игорь Иванович ПОТАПОВ, Ольга Владимировна РЕШЕТНИКОВА | ||
| Том 27, № 4 (2015) | О дедуктивной верификации Си программ, работающих с разделяемыми данными | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, А. В. Хорошилов | ||
| "... The paper takes a look at the problem of deductive verification of Linux kernel code ..." | ||
| Том 30, № 3 (2018) | Построение модулей проверки на основе эталонных функциональных моделей при автономной верификации подсистемы связи | Аннотация похожие документы |
| Д. А. Лебедев, И. А. Стотланд | ||
| "... environment with checking module implemented in external functional reference model. We also propose some ..." | ||
| Том 36, № 3 (2024) | Декларативный подход к задаче интроспекции виртуальной машины | Аннотация PDF (Rus) похожие документы |
| Владислав Михайлович СТЕПАНОВ, Павел Михайлович ДОВГАЛЮК, Наталья Игоревна ФУРСОВА | ||
| "... approaches use heuristics based on handling Linux kernel functions that access the fields, the current ..." | ||
| Том 37, № 3 (2025) | Обзор механизмов усиления защищенности операционных систем и пользовательских приложений | Аннотация PDF (Rus) похожие документы |
| Денис Валентинович ЕФРЕМОВ, Александр Константинович ПЕТРЕНКО, Борис Аронович ПОЗИН, Виталий Адольфович СЕМЕНОВ | ||
| "... mechanisms in modern operating systems, particularly in the Linux kernel. This work is intended ..." | ||
| 1 - 39 из 167 результатов | 1 2 3 4 5 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
