Verifying the Implementation of an Operating System Scheduler.

Moritz Kleine Björn Bartels Thomas Göthel Sabine Glesner

Published in: TASE (2009)

Keyphrases

operating system
memory management
computer systems
microsoft windows
windows xp
virtual machine
interprocess communication
operating environment
command line
high assurance
multi tasking
linux kernel
application level
efficient implementation
windows nt
databases
response time
data structure