Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper
Query: Design and implementation of multicore support for a highly reliable self-repairing μ-kernel OS
Construction of a Highly Dependable Operating System
Analyzing and improving Linux kernel memory protection: a model checking approach
Rethinking operating system design: asymmetric multiprocessing for security and performance
Cooperation and security isolation of library OSes for multi-process applications
A Lightweight Method for Building Reliable Operating Systems Despite Unreliable Device Drivers Technical Report IRCS-018 , January 2006
Predictable Shared Memory Resources for Multi-Core Real-Time Systems
Bounding memory interference delay in COTS-based multi-core systems
Analyzing multicore dumps to facilitate concurrency bug reproduction
IncludeOS: A Minimal, Resource Efficient Unikernel for Cloud Services
CPU transparent protection of OS kernel and hypervisor integrity with programmable DRAM
Fail-operational in safety-related automotive multi-core systems
Microreboot -- A Technique for Cheap Recovery
KI-Mon ARM: A Hardware-Assisted Event-triggered Monitoring Platform for Mutable Kernel Object
MARSS: a full system simulator for multicore x86 CPUs
The Linux scheduler: a decade of wasted cores
A flexible microcontroller architecture for fail-safe and fail-operational systems
Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines
Generic virtual memory management for operating system kernels
Characterization of linux kernel behavior under errors
PALLOC: DRAM bank-aware memory allocator for performance isolation on multicore platforms
seL4: formal verification of an OS kernel
The OntoNL framework for natural language interface generation and a domain-specific application
Constructing Visual Representations: Investigating the Use of Tangible Tokens
An Architecture to Support Autonomic Slice Networking
A meta-analysis of the relationship of academic performance and Social Network Site use among adolescents and young adults