LinSched: The Linux Scheduler Simulator. - John M. Calandrino; Dan P. Baumberger; Tong Li 003; Jessica C. Young; Scott Hahn (PDCCS, 2008)