17 citations · 28 across the 8 of their papers we have counts for
Showing 2013 · cs.OSShow all
3 papers · 2 filters
cs.OS2013
Quest-V: A Virtualized Multikernel for Safety-Critical Real-Time Systems
Richard West, Ye Li, Eric Missimer
Modern processors are increasingly featuring multiple cores, as well as support for hardware virtualization. While these processors are common in desktop and server-class computing…
cs.OS2013
Predictable Migration and Communication in the Quest-V Multikernel
Ye Li, Eric Missimer, Richard West
Quest-V is a system we have been developing from the ground up, with objectives focusing on safety, predictability and efficiency. It is designed to work on emerging multicore proc…
cs.OS2013★ 7 cited
The Quest-V Separation Kernel for Mixed Criticality Systems
Ye Li, Richard West, Eric Missimer
Multi- and many-core processors are becoming increasingly popular in embedded systems. Many of these processors now feature hardware virtualization capabilities, such as the ARM Co…