The Fine Art of Scheduling