Partitioning based operating system: a formal model.
Lei LuoMing-Yuan ZhuPublished in: ACM SIGOPS Oper. Syst. Rev. (2003)
Keyphrases
- formal model
- operating system
- computer systems
- virtual machine
- microsoft windows
- distributed systems
- windows xp
- virtual memory
- linux kernel
- security patterns
- address space
- command line
- multi threaded
- memory management
- application level
- multi tasking
- application programmer
- information systems
- security properties
- data partitioning
- object oriented
- data analysis
- case study