Model of the leaky bucket ATM generic flow control mechanism: a case study on solving large cyclic models
The authors describe and solve a Markov model of the leaky bucket ATM generic flow control mechanism. The model has a space cardinality which grows quickly with its parameters and is challenging to solve. Exploiting the cyclic nature of the model, the authors develop a methodology which allows them...
| Autores: | , , , |
|---|---|
| Tipo de recurso: | artículo |
| Fecha de publicación: | 2001 |
| País: | España |
| Institución: | Universitat Politècnica de Catalunya (UPC) |
| Repositorio: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | inglés |
| OAI Identifier: | oai:upcommons.upc.edu:2117/20775 |
| Acceso en línea: | https://hdl.handle.net/2117/20775 |
| Access Level: | acceso abierto |
| Palabra clave: | Markov processes Markov, Processos de Àrees temàtiques de la UPC::Matemàtiques i estadística::Probabilitat |
| Sumario: | The authors describe and solve a Markov model of the leaky bucket ATM generic flow control mechanism. The model has a space cardinality which grows quickly with its parameters and is challenging to solve. Exploiting the cyclic nature of the model, the authors develop a methodology which allows them to efficiently solve instances of the model with 3,905,134 states and 53,869,532 transitions using 29.8 Mbytes of memory and 222 Mbytes of disc storage. The CPU utilisation is high (between 70% and 90%). The methodology is new and can be easily extended to any kind of finite cyclic Markov models. |
|---|