Performance Evaluation of Schedulers in a Probabilistic Setting
- Cite this paper as:
- Kempf JF., Bozga M., Maler O. (2011) Performance Evaluation of Schedulers in a Probabilistic Setting. In: Fahrenberg U., Tripakis S. (eds) Formal Modeling and Analysis of Timed Systems. FORMATS 2011. Lecture Notes in Computer Science, vol 6919. Springer, Berlin, Heidelberg
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.
Unable to display preview. Download preview PDF.