Tribastone, Mirco Relating layered queueing networks and process algebra models. In: Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering - WOSP/SIPEW '10. ACM, pp. 183-194. ISBN 978-1-60558-563-5 (2010)
Full text not available from this repository.Abstract
This paper presents a process-algebraic interpretation of the Layered Queueing Network model. The semantics of layered multi-class servers, resource contention, multiplicity of threads and processors are mapped into a model described in the stochastic process algebra PEPA. The accuracy of the translation is validated through a case study of a distributed computer system and the numerical results are used to discuss the relative strengths and weaknesses of the different forms of analysis available in both approaches, i.e., simulation, mean-value analysis, and differential approximation.
| Item Type: | Book Section |
|---|---|
| Identification Number: | 10.1145/1712605.1712634 |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Research Area: | Computer Science and Applications |
| Depositing User: | Ms T. Iannizzi |
| Date Deposited: | 09 Feb 2015 09:22 |
| Last Modified: | 09 Feb 2015 09:22 |
| URI: | http://eprints.imtlucca.it/id/eprint/2573 |
Actions (login required)
 |
Edit Item |
