Modeling Operating Systems Schedulers with Multi-Stack-Queue Grammars.

Luca Breveglieri Stefano Crespi-Reghizzi Alessandra Cherubini

Published in: FCT (1999)

Keyphrases

operating system
computer systems
virtual machine
memory management
distributed systems
information systems
application level
application programs
linux kernel
windows xp
database
object oriented
security mechanisms
multi threaded
virtual memory
microsoft windows