Login / Signup
Design and verification of a lightweight reliable virtual machine monitor for a many-core architecture.
Yue-hua Dai
Yi Shi
Yong Qi
Jianbao Ren
Peijian Wang
Published in:
Frontiers Comput. Sci. (2013)
Keyphrases
</>
lightweight
software architecture
design methodology
functional verification
communication infrastructure
formal verification
design principles
architectural design
building blocks
databases
design process
distributed systems
hardware architecture
wireless sensor networks
rfid tags
dos attacks
data analysis