Tackling Large State Spaces in Performance Modelling

DOI10.1007/978-3-540-72522-0_8zbMath1323.68054OpenAlexW1581584209MaRDI QIDQ3084593

William J. Knottenbelt, Jeremy T. Bradley

Publication date: 25 March 2011

Published in: Formal Methods for Performance Evaluation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-72522-0_8

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items

The Exit Time Finite State Projection Scheme: Bounding Exit Distributions and Occupation Measures of Continuous-Time Markov Chains

Uses Software

• SPADES
• PVM
• CGS
• PEPA
• hMETIS
• Parkway