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

Balazs Gerofi, Aram Santogidis, Dominique Martinet, Yutaka Ishikawa

Browse the full HPDC paper archive.