Functional Performance Specification with Stochastic Probes

DOI10.1007/11777830_3MaRDI QIDQ3613666zbMATH OpenOpenAlexFDO

Authors Ashok Argent-Katwala, Jeremy T. Bradley

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

Mathematics Subject Classification ID

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)

Recommendations

• State-Aware Performance Analysis with eXtended Stochastic Probes
• scientific article; zbMATH DE number 836614
• A Compositional Approach to Performance Modelling
• scientific article; zbMATH DE number 1538068
• Specifications in stochastic process algebra for a robot control problem

Cited in

(4)

• An integrated framework for the performance analysis of asynchronous communicating stochastic processes
• PEPA queues: capturing customer behaviour in queueing networks
• State-Aware Performance Analysis with eXtended Stochastic Probes
• scientific article; zbMATH DE number 1538068 (Why is no real title available?)

Describes a project that uses

Uses Software

• ipc

This page was built for publication: Functional Performance Specification with Stochastic Probes

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