Theory of Multi Core Hypervisor Verification.
Ernie CohenWolfgang J. PaulSabine SchmaltzPublished in: SOFSEM (2013)
Keyphrases
- operating system
- computational model
- information systems
- theoretical framework
- von neumann
- formal verification
- formal methods
- virtual machine
- artificial intelligence
- similarity measure
- case study
- model checking
- information theory
- belief functions
- theoretical basis
- machine learning
- general theory
- data mining
- databases