Exploració per autor "Domingo Fuster, José Luis"
Ara es mostren els items 1-2 de 2
-
METFAC-2: A tool for specification and solution of Markov performance, dependability and performability models
Carrasco, Juan A.; Domingo Fuster, José Luis (1997)
Text en actes de congrés
Accés obertMarkov models are often used for the evaluation of performance, dependability and performability of systems and a number of tools supporting their use have been developed in the past. In this paper we overview METFAC-2, a ... -
Numerical iterative methods for Markovian dependability and performability models: new results and a comparison
Suñé, Víctor; Domingo Fuster, José Luis; Carrasco, Juan A. (2000-02)
Article
Accés obertIn this paper we deal with iterative numerical methods to solve linear systems arising in continuous-time Markov chain (CTMC) models. We develop an algorithm to dynamically tune the relaxation parameter of the successive ...