Towards High-Assurance Multiprocessor Virtualisation.
Michael von TessinPublished in: VERIFY@IJCAR (2010)
Keyphrases
- high assurance
- operating system
- fault tolerant
- software systems
- access control
- distributed systems
- database machines
- highly parallel
- multiprocessor systems
- scheduling algorithm
- machine learning
- single processor
- image processing
- optimal assignment
- open source
- query language
- relational databases
- expert systems
- search algorithm
- real world
- multiprocessor architecture