2011 | OriginalPaper | Buchkapitel
Performance Evaluation of Schedulers in a Probabilistic Setting
verfasst von : Jean-Francois Kempf, Marius Bozga, Oded Maler
Erschienen in: Formal Modeling and Analysis of Timed Systems
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.