State-Aware Performance Analysis with eXtended Stochastic Probes

DOI10.1007/978-3-540-87412-6_10zbMath1180.68078OpenAlexW2154071973MaRDI QIDQ3543312

Stephen T. Gilmore, A. D. Clark

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)

Related Items (2)

A process algebra framework for multi-scale modelling of biological systems ⋮ Process Algebra with Hooks for Models of Pattern Formation

Uses Software

• PRISM
• ipc

Cites Work

• The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes
• Model-checking continuous-time Markov chains
• Unnamed Item

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