salle A. Turing CE4
22 March 2012 - 14h00
Performance Evaluation of Schedulers in a Probabilistic Setting
by Oded Maler from VERIMAG
Abstract: We show how to evaluate the performance of solutions to finite-horizon scheduling problems where task durations are specified by bounded uniform distributions. Our computational technique, based on computing the volumes of zones, constitutes a contribution to the computational study of scheduling under uncertainty and stochastic systems in general.
Slides of the Presentation.
Joint work with Kim Larsen, Bruce Krogh, Marius Bozga and Jean-Francois Kempf