The Design of the Venus Operating System.

Barbara H. Liskov

Published in: SOSP (1971)

Keyphrases

high speed
operating system
computer systems
memory management
operating environment
virtual machine
windows xp
high assurance
multi tasking
design process
case study
application level
user interface
efficient implementation
multi threaded
microsoft windows
data management
query processing
databases