seL4 Microkernel for virtualization use-cases: Potential directions towards a standard VMM.

Everton de Matos Markku Ahvenjärvi

Published in: CoRR (2022)

Keyphrases

virtual machine
database
databases
decision trees
query processing
cloud computing
data sets
neural network
search engine
computer vision
image processing
multiscale
high availability