Verification-Purpose Operating System for Microprocessor System-Level Functions.
Lingkan GongJingfen LuPublished in: IEEE Des. Test Comput. (2010)
Keyphrases
- operating system
- application level
- computer systems
- microsoft windows
- functional verification
- high assurance
- virtual machine
- multi tasking
- high speed
- memory management
- virtual memory
- query processing
- command line
- distributed systems
- discretionary access control
- operating environment
- address space
- windows xp
- multi threaded
- processor core
- parallel algorithm
- model checking
- open source