Performance evaluation of schedulers in a probabilistic setting

DOI10.1007/978-3-642-24310-3_1zbMATH Open1348.68023OpenAlexW197144273MaRDI QIDQ3172839FDOQ3172839

Marius Bozga, Oded Maler, Jean-Francois Kempf

Publication date: 7 October 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-24310-3_1

Recommendations

• As soon as probable: optimal scheduling under stochastic uncertainty
• scientific article; zbMATH DE number 1956584
• scientific article
• Probabilistic Bounds on the Performance of List Scheduling
• Probabilistic single processor scheduling

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Cites Work

• Uppaal in a nutshell
• Title not available (Why is that?)
• A theory of timed automata
• Title not available (Why is that?)
• Title not available (Why is that?)
• Introduction to Discrete Event Systems
• Symbolic model checking for real-time systems
• Title not available (Why is that?)
• Unfoldings: A partial-order approach to model checking.
• Title not available (Why is that?)
• Timed regular expressions
• A partial order semantics approach to the clock explosion problem of timed automata
• Scheduling with timed automata
• On Interleaving in Timed Automata
• Symbolic Analysis for GSMP Models with One Stateful Clock
• Hybrid Systems: Computation and Control
• Calculating Probabilities of Real-Time Test Cases
• Title not available (Why is that?)
• Partial Order Path Technique for Checking Parallel Timed Automata

Cited In (3)

• Title not available (Why is that?)
• Decoupled fitness criteria for reactive systems
• A probabilistic analysis of multiprocessor list scheduling: the erlang case

Uses Software

• Kronos
• IF-2.0
• Uppaal
• UMDES

This page was built for publication: Performance evaluation of schedulers in a probabilistic setting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3172839)