Login / Signup
E. Carrascosa
Publication Activity (10 Years)
Years Active: 2014-2016
Publications (10 Years): 1
Top Topics
Sparse Kernel
High Robustness
Computation Intensive
Cell Processor
Top Venues
CLUSTER
SIGBED Rev.
</>
Publications
</>
S. Grixti
,
Nicholas Sammut
,
M. Hernek
,
E. Carrascosa
,
Miguel Masmano
,
Alfons Crespo
Separation Kernel Robustness Testing: The XtratuM Case Study.
CLUSTER
(2016)
E. Carrascosa
,
Javier Coronel
,
Miguel Masmano
,
Patricia Balbastre
,
Alfons Crespo
XtratuM hypervisor redesign for LEON4 multicore processor.
SIGBED Rev.
11 (2) (2014)