Tackling large state spaces in performance modelling

DOI10.1007/978-3-540-72522-0_8MaRDI QIDQ3084593zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 1786480
• Validation of Stochastic Systems
• Model-checking large structured Markov chains.
• Distributed disk-based algorithms for model checking very large Markov chains
• Hypergraph-based parallel computation of passage time densities in large semi-Markov models

Cited in

(5)

• Hypergraph-based parallel computation of passage time densities in large semi-Markov models
• State-Aware Performance Analysis with eXtended Stochastic Probes
• scientific article; zbMATH DE number 1786480 (Why is no real title available?)
• The exit time finite state projection scheme: bounding exit distributions and occupation measures of continuous-time Markov chains
• Validation of Stochastic Systems

Describes a project that uses

Uses Software

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

This page was built for publication: Tackling large state spaces in performance modelling

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