Login / Signup
Geoffrey Plouviez
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Vlsi Implementation
Programmable Logic
Host Computer
Single Chip
Top Venues
Euro-Par Workshops
</>
Publications
</>
Geoffrey Plouviez
,
Emmanuelle Encrenaz
,
Franck Wajsbürt
A Formally Verified Static Hypervisor with Hardware Support for a Many-Core Chip.
Euro-Par Workshops
(2013)