Exploració per autor "Calderón, A"
Ara es mostren els items 1-4 de 4
-
Computation of absorption probability distributions of continuous-time Markov chains using regenerative randomization
Carrasco, Juan A.; Calderón, A (Institute of Electrical and Electronics Engineers (IEEE), 1995)
Text en actes de congrés
Accés obertRandomization is a popular method for the transient solution of continuous-time Markov models. Its primary advantages over other methods (i.e., ODE solvers) are robustness and ease of implementation. It is however well-known ... -
Efficient exploration of availability models guided by failure distances
Carrasco, Juan A.; Calderón, A; Escribá, J (1996-05)
Article
Accés obertRecently, a method to bound the steady-state availability using the failure distance concept has been proposed. In this paper we refine that method by introducing state space exploration techniques. In the methods proposed ... -
Synthesis of IDDQ-Testable Circuits: Integrating Built-in Current Sensors
Wunderlich, H J; Herzog, M; Figueras Pàmies, Joan; Carrasco, Juan A.; Calderón, A (1995)
Text en actes de congrés
Accés obert"On-Chip" I_{DDQ} testing by the incorporation of Built-In Current (BIC) sensors has some advantages over "off-chip" techniques. However, the integration of sensors poses analog design problems which are hard to be solved ... -
Two new algorithms to compute steady-state bounds for Markov models with slow forward and fast backward transitions
Carrasco, Juan A.; Calderón, A; Escribà, J (1996)
Text en actes de congrés
Accés obertTwo new algorithms are proposed for the computation of bounds for the steady-state reward rate of irreducible finite Markov models with slow forward and fast backward transitions. The algorithms use detailed knowledge of ...