Login / Signup
A Formally Verified Static Hypervisor with Hardware Support for a Many-Core Chip.
Geoffrey Plouviez
Emmanuelle Encrenaz
Franck Wajsbürt
Published in:
Euro-Par Workshops (2013)
Keyphrases
</>
low cost
real time
circuit design
vlsi implementation
hardware and software
single chip
programmable logic
operating system
end users
high speed
computer systems
host computer
virtual machine