Modeling and Simulation of Operating System Behavior.

Bernd Däne Wolfgang Fengler Falk Berger

Published in: Modelling, Simulation, and Optimization (2003)

Keyphrases

operating system
computer systems
virtual machine
application level
address space
microsoft windows
high assurance
application programs
information systems
case study
database systems
distributed systems
virtual memory
windows xp