Michael Schöbel Andreas Polze Kernel-mode scheduling server for CPU partitioning: a case study using the Windows research kernel. 1700-1704 2008 SAC http://doi.acm.org/10.1145/1363686.1364091 conf/sac/2008 db/conf/sac/sac2008.html#SchobelP08