Kernel-mode scheduling server for CPU partitioning: a case study using the Windows research kernel.

Michael SchöbelAndreas Polze
Published in: SAC (2008)