Performance Evaluation of Schedulers in a Probabilistic Setting

  • Jean-Francois Kempf
  • Marius Bozga
  • Oded Maler
Conference paper

DOI: 10.1007/978-3-642-24310-3_1

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6919)
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

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Jean-Francois Kempf
    • 1
  • Marius Bozga
    • 1
  • Oded Maler
    • 1
  1. 1.CNRS-VERIMAGUniversity of GrenobleFrance

Personalised recommendations