Construction of a Highly Dependable Operating System.

Jorrit N. Herder Herbert Bos Ben Gras Philip Homburg Andrew S. Tanenbaum

Published in: EDCC (2006)

Keyphrases

operating system
computer systems
distributed systems
microsoft windows
virtual machine
memory management
windows xp
application level
virtual memory
database systems
data processing
fault tolerant
application programs
multi threaded
address space
linux kernel