a randomized scheduler with probabilistic guarantees published presentations and documents on DocSlides.