Core algorithms of the Maui scheduler
Utilization and predictability in scheduling the IBM SP2 with backfilling