State-Aware Performance Analysis with eXtended Stochastic Probes

DOI10.1007/978-3-540-87412-6_10MaRDI QIDQ3543312zbMATH OpenOpenAlexFDO

Authors A. D. Clark, Stephen Gilmore

Publication date 2 December 2008

Published in Computer Performance Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-87412-6_10

Mathematics Subject Classification ID

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

Recommendations

• Functional Performance Specification with Stochastic Probes
• A Compositional Approach to Performance Modelling
• Performance analysis of new stochastic colored Petri nets
• Tackling large state spaces in performance modelling
• Stochastic process algebras

Cites work

• scientific article; zbMATH DE number 1884416 (Why is no real title available?)
• Model-checking continuous-time Markov chains
• The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes

Cited in

(3)

• Functional Performance Specification with Stochastic Probes
• A process algebra framework for multi-scale modelling of biological systems
• Process algebra with hooks for models of pattern formation

Describes a project that uses

Uses Software

• PRISM
• ipc

This page was built for publication: State-Aware Performance Analysis with eXtended Stochastic Probes

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