research
∙
12/23/2015
Mixed-Criticality Scheduling with I/O
This paper addresses the problem of scheduling tasks with different crit...
share
research
∙
10/23/2013
Quest-V: A Virtualized Multikernel for Safety-Critical Real-Time Systems
Modern processors are increasingly featuring multiple cores, as well as ...
research
∙
10/23/2013
Predictable Migration and Communication in the Quest-V Multikernel
Quest-V is a system we have been developing from the ground up, with obj...
research
∙
10/23/2013