PicoDriver: fast-path device drivers for multi-kernel operating systems.

Balazs Gerofi Aram Santogidis Dominique Martinet Yutaka Ishikawa

Published in: HPDC (2018)

Keyphrases

operating system
multi kernel
computer systems
operating environment
multiple kernel learning
virtual machine
gaussian kernels
distributed systems
graph embedding
machine learning
learning algorithm
application programs
virtual memory
multi tasking