Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/20775

Model of the leaky bucket ATM generic flow control mechanism: a case study on solving large cyclic models
Carrasco, Juan A.; Suñé, Víctor; Mahévas, S; Rubino, G
Universitat Politècnica de Catalunya. Departament d'Enginyeria Electrònica; Universitat Politècnica de Catalunya. QINE - Disseny de Baix Consum, Test, Verificació i Tolerància a Fallades
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.
Àrees temàtiques de la UPC::Matemàtiques i estadística::Probabilitat
Markov processes
Markov, Processos de
Attribution-NonCommercial-NoDerivs 3.0 Spain
http://creativecommons.org/licenses/by-nc-nd/3.0/es/
info:eu-repo/semantics/publishedVersion
Artículo
         

Mostrar el registro completo del ítem