"Towards a Scalable Microkernel Personality for Multicore Processors."

Jilong Kuang, Daniel G. Waddington, Chen Tian (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics