Back to Search
Start Over
Scalable Differential Analysis of Process Algebra Models.
- Source :
-
IEEE Transactions on Software Engineering . Jan2012, Vol. 38 Issue 1, p205-219. 0p. 1 Diagram, 6 Charts, 1 Graph. - Publication Year :
- 2012
-
Abstract
- 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. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 00985589
- Volume :
- 38
- Issue :
- 1
- Database :
- Academic Search Index
- Journal :
- IEEE Transactions on Software Engineering
- Publication Type :
- Academic Journal
- Accession number :
- 71538634
- Full Text :
- https://doi.org/10.1109/TSE.2010.82