Functional Performance Specification with Stochastic Probes
From MaRDI portal
Publication:3613666
DOI10.1007/11777830_3zbMath1185.68103OpenAlexW2112263892MaRDI QIDQ3613666
Jeremy T. Bradley, Ashok Argent-Katwala
Publication date: 12 March 2009
Published in: Formal Methods and Stochastic Models for Performance Evaluation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11777830_3
Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (1)
Uses Software
This page was built for publication: Functional Performance Specification with Stochastic Probes