Papers tagged operating systems
- A Performance Evaluation of Rump Kernels as a Multi-server OS Building Block on seL4
- A Persistent System in Real Use - Experiences of the First 13 Years -
- Communicating Sequential Processes
- Comparing the Robustness of POSIX Operating Systems
- Computers
- Decoupling Cores, Kernels, and Operating Systems
- Document archive
- Exokernel: An Operating System Architecture for Application-Level Resource Management
- Exterminate All Operating System Abstractions
- HermitCore: A Unikernel for Extreme Scale Computing
- Hints for Computer System Design
- Improving IPC by Kernel Design
- llamaOS: A Solution for Virtualized High-Performance Computing Clusters
- Making Programs Forget: Enforcing Lifetime For Sensitive Data
- My VM is Lighter (and Safer) than your Container
- OSv—Optimizing the Operating System for Virtual Machines
- Rump Kernels No OS? No Problem!
- The Clive Operating System
- The rump kernel: A tool for driver development and a toolkit for applications
- The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors
- The Slab Allocator: An Object-Caching Kernel Memory Allocator
- The Slab Allocator: An Object-Caching Kernel Memory Allocator
- Two Years of Experience with a µ-Kernel Based OS