Process algebras for collective dynamics
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Structural analysis for stochastic process algebra models
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
Fluid computation of passage-time distributions in large Markov models
Theoretical Computer Science
Fluid limits of queueing networks with batches
ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
Mean-Field analysis of markov models with reward feedback
ASMTA'12 Proceedings of the 19th international conference on Analytical and Stochastic Modeling Techniques and Applications
Don't just go with the flow: cautionary tales of fluid flow approximation
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Don't just go with the flow: cautionary tales of fluid flow approximation
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Continuous approximation of collective system behaviour: A tutorial
Performance Evaluation
Model checking markov population models by central limit approximation
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
Tackling continuous state-space explosion in a Markovian process algebra
Theoretical Computer Science
Efficient optimization of software performance models via parameter-space pruning
Proceedings of the 5th ACM/SPEC international conference on Performance engineering
Hi-index | 0.01 |
The exact performance analysis of large-scale software systems with discrete-state approaches is difficult because of the well-known problem of state-space explosion. This paper considers this problem with regard to the stochastic process algebra PEPA, presenting a deterministic approximation to the underlying Markov chain model based on ordinary differential equations. The accuracy of the approximation is assessed by means of a substantial case study of a distributed multithreaded application.