A compositional approach to performance modelling
A compositional approach to performance modelling
Cryptography and network security (2nd ed.): principles and practice
Cryptography and network security (2nd ed.): principles and practice
Probabilistic modelling
Mean-Value Analysis of Closed Multichain Queuing Networks
Journal of the ACM (JACM)
The Distribution of Queuing Network States at Input and Output Instants
Journal of the ACM (JACM)
Performance of Computer Communication Systems: A Model-Based Approach
Performance of Computer Communication Systems: A Model-Based Approach
Exploiting structure in solution: decomposing compositional models
Lectures on formal methods and performance analysis
An Efficient Non-repudiation Protocol
CSFW '97 Proceedings of the 10th IEEE workshop on Computer Security Foundations
Fluid Flow Approximation of PEPA models
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Approximate Solution of a PEPA Model of a Key Distribution Centre
SIPEW '08 Proceedings of the SPEC international workshop on Performance Evaluation: Metrics, Models and Benchmarks
Product-form solution in PEPA via the reversed process
Network performance engineering
TwoEagles: a model transformation tool from architectural descriptions to queueing networks
EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering
Hi-index | 0.00 |
In this paper a class of closed queueing network is modelled in the Markovian process algebra PEPA and solved using the classical Mean Value Analysis (MVA). This approach is attractive as it negates the need to derive the entire state space, and so certain metrics from large models can be obtained with little computational effort. The class of model considered includes models which are not obviously classical closed queueing models. The approach is illustrated with three examples.