A Performance Evaluation of Rump Kernels as a Multi-server OS Building Block on seL4.

Kevin Elphinstone Amirreza Zarrabi Kent McLeod Gernot Heiser

Published in: APSys (2017)

Keyphrases

building blocks
operating system
kernel function
support vector
kernel methods
feature space
string kernels
svm classification
database manager
multiple kernel learning
virtual machine
software components
data center
support vector machine
query processing
gaussian kernels
multiple kernel
matrix valued
data sets