Using EventB to Create a Virtual Machine Instruction Set Architecture.

Published in: ABZ (2008)

Keyphrases

virtual machine
operating system
computing resources
data center
distributed computing
virtual memory
instruction set architecture
multi tasking
artificial intelligence
general purpose
sensor networks
data model
metadata
application specific
real time
java virtual machine
database