Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Tati, Bharath Siva Kumar"'
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
This book constitutes the refereed post-proceedings of the 10th European Performance Engineering Workshop, EPEW 2013, held in Venice, Italy, in September 2013.The 16 regular papers presented together with 8 short papers and 2 invited talks were caref