An Efficient Verification Method for Microprocessors Based on the Virtual Machine.

Jianfeng An Xiaoya Fan Shengbing Zhang Danghui Wang

Published in: ICESS (2004)

Keyphrases

virtual machine
verification method
operating system
temporal logic
model checking
data center
distributed computing
computing resources
virtual memory
cloud computing environment
computing power
low latency
databases
multi tasking
java card
load balancing
cloud computing