Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 32, № 1 (2020) Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы Аннотация  PDF (Rus)  похожие документы
Петр Николаевич Девянин, Виктор Вячеславович Кулямин, Александр Константинович Петренко, Алексей Владимирович Хорошилов, Илья Викторович Щепетков
"... of lower level modules. The model is implemented in a Linux-based operating system using the Linux Security ..."
 
Том 27, № 5 (2015) Использование симуляции сбоев при тестировании компонентов ядра ОС Linux Аннотация  PDF (Rus)  похожие документы
А. В. Цыварев, А. В. Хорошилов
"... fault injection in Linux kernel. The main goal is to test if kernel components correctly handle abnormal ..."
 
Том 23 (2012) Тестирование драйверов файловых систем в ОС Linux Аннотация  PDF (Rus)  похожие документы
А. В. Цыварев, В. А. Мартиросян
"... The paper investigates issues of Linux file system driver testing. Linux file system drivers ..."
 
Том 32, № 3 (2020) Трассировка сетевых пакетов в ядре Linux с использованием eBPF Аннотация  похожие документы
Марк Германович КОВАЛЕВ
"... to troubleshoot such problems, their functionality is limited by the API that Linux kernel provides. Usually ..."
 
Том 29, № 4 (2017) Статическая верификация конфигураций ядра Linux Аннотация  похожие документы
С. В. Козин, В. С. Мутилин
"... The Linux kernel is often used as a real world case study to demonstrate novel software product ..."
 
Том 22 (2012) Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux Аннотация  PDF (Rus)  похожие документы
М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов
"... on device drivers from Linux kernel 3.0. Specifics of device drivers verification are discussed ..."
 
Том 31, № 5 (2019) Анализ корректности синхронизации компонентов ядра операционных систем Аннотация  PDF (Rus)  похожие документы
Павел Сергеевич Андрианов
 
Том 30, № 6 (2018) Конфигурационная сборка варианта ядра Linux для прикладных систем Аннотация  PDF (Rus)  похожие документы
С. В. Козин
"... The Linux operating system is a modern open operating system containing more than 10 ..."
 
Том 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 ..."
 
1 - 10 из 10 результатов

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)