Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Tati, Bharath"'
Publikováno v:
EPTCS 220, 2016, pp. 77-89
This paper presents algorithms for identifying and reducing a dedicated set of controllable transition rates of a state-labelled continuous-time Markov chain model. The purpose of the reduction is to make states to satisfy a given requirement, specif
Externí odkaz:
http://arxiv.org/abs/1608.00658
Publikováno v:
In Performance Evaluation April 2019 130:32-50
