H. Wenske
-
Towards effective user-controlled scheduling for microkernel-based systems
ACM SIGOPS Operating Systems Review