A Virtualized Separation Kernel for Mixed-Criticality Systems.

Richard West Ye Li Eric S. Missimer Matthew Danish

Published in: ACM Trans. Comput. Syst. (2016)

Keyphrases

computing systems
databases
distributed systems
data mining
search engine
computer vision
image segmentation
feature extraction
management system
retrieval systems
kernel methods