Exploració per autor "Carrasco, Juan A."
Ara es mostren els items 1-20 de 72
-
A combinatorial method for the evaluation of yield of fault-tolerant systems-on-chip
Suñé, Víctor; Rodríguez Montañés, Rosa; Carrasco, Juan A.; Munteanu, D-P (2003)
Text en actes de congrés
Accés obertIn this paper we develop a combinatorial method for the evaluation of yield of fault-tolerant systems-on-chip. The method assumes that defects are produced according to a model in which defects are lethal and affect given ... -
A comparison of numerical splitting-based methods for Markovian dependability and performability models
Suñé, Víctor; Carrasco, Juan A. (Springer, 1998)
Text en actes de congrés
Accés obertIterative numerical methods are an important ingredient for the solution of continuous time Markov dependability models of fault-tolerant systems. In this paper we make a numerical comparison of several splitting-based ... -
A failure-distance based method to bound the reliability of non-repairable Fault-tolerant systems without the knowledge of minimal cuts
Suñé, Víctor; Carrasco, Juan A. (2000-12-11)
Report de recerca
Accés obertCTMC (continuous-time Markov chains) are a commonly used formalism for modeling fault-tolerant systems. One of the major drawbacks of CTMC is the well-known state-space explosion problem. This work develops and analyzes ... -
A failure-distance dased method to bound the reliability of non-repairable fault-tolerant systems without the knowledge of minimal cuts
Suñé, Víctor; Carrasco, Juan A. (Institute of Electrical and Electronics Engineers (IEEE), 2001-03)
Article
Accés obertCTMC (continuous-time Markov chains) are a commonly used formalism for modeling fault-tolerant systems. One of the major drawbacks of CTMC is the well-known state-space explosion problem. This paper develops and analyzes ... -
A generalized method for the transient analysis of Markov models of fault-tolerant systems with deferred repair
Temsamani, Jamal; Carrasco, Juan A. (2009-09-15)
Report de recerca
Accés obertRandomization is an attractive alternative for the transient analysis of continuous time Markov models. The main advantages of the method are numerical stability, well-controlled computation error and ability to specify ... -
A generalized method for the transient analysis of Markov models of fault-tolerant systems with deferred repair
Temsamani, J; Carrasco, Juan A. (2005-07)
Article
Accés obertRandomization is an attractive alternative for the transient analysis of continuous time Markov models. The main advantages of the method are numerical stability, well-controlled computation error, and ability to specify ... -
A method for the computation of reliability bounds for non-repairable fault-tolerant systems
Suñé, Víctor; Carrasco, Juan A. (1997)
Text en actes de congrés
Accés obertA realistic modeling of fault-tolerant systems requires to take into account phenomena such as the dependence of component failure rates and coverage parameters on the operational configuration of the system, which cannot ... -
A new general-purpose method for the computation of the interval availability distribution
Carrasco, Juan A. (2013-11-18)
Article
Accés obertWe develop a new randomization-based general-purpose method for the computation of the interval availability distribution of systems modeled by continuous-time Markov chains (CTMCs). The basic idea of the new method is ... -
A new method for computing the largest singular value and an associated right singular vector of a complex matrix
Carrasco, Juan A. (2023-09-28)
Report de recerca
Accés obertA new method for computing the largest singular value \xi_1 and an associated right singular vector of a large and sparse complex matrix A is developed. The method accelerates a new method for computing \xi_1 and an ... -
A Numerical method for the evaluation of the distribution of cumulative reward till exit of a Subset of transient states of a Markov reward model
Carrasco, Juan A.; Suñé, Víctor (IEEE Computer Society Publications, 2011-09-12)
Article
Accés obertMarkov reward models have interesting modeling applications, particularly those addressing fault-tolerant hardware/software systems. In this paper, we consider a Markov reward model with a reward structure including only ... -
A Parameterized multi-step Newton method for solving systems of nonlinear equations
Ahmad, Fayyaz; Tohidi, Emran; Carrasco, Juan A. (2016-03-01)
Article
Accés obertWe construct a novel multi-step iterative method for solving systems of nonlinear equations by introducing a parameter. to generalize the multi-step Newton method while keeping its order of convergence and computational ... -
Adapted importance sampling schemes for the simulation of dependability models of Fault-tolerant systems with deferred repair
Carrasco, Juan A. (2006)
Text en actes de congrés
Accés obertThis paper targets the simulation of continuous-time Markov chain models of fault-tolerant systems with deferred repair. We start by stating sufficient conditions for a given importance sampling scheme to satisfy the bounded ... -
An algorithm to find minimal cuts of coherent fault-trees with event-classes using a decision tree
Carrasco, Juan A.; Suñé, Víctor (Institute of Electrical and Electronics Engineers (IEEE), 1999-03)
Article
Accés obertA new algorithm (CS-MC) for computing the minimal cuts of s-coherent fault trees is presented. Input events of the fault tree are assumed classified into classes, where events of the same class are indistinguishable. This ... -
An efficient and numerically stable method for computing bounds for the interval availability distribution
Carrasco, Juan A. (2011)
Article
Accés obertThis paper is concerned with the computation of the interval availability (proportion of time in a time interval in which the system is up) distribution of a fault-tolerant system modeled by a finite (homogeneous) ... -
An efficient and numerically stable method for computing interval availability distribution bounds
Carrasco, Juan A. (2009-09-15)
Report de recerca
Accés obertThe paper develops a method, called bounding regenerative transformation, for the computation with numerical stability and well-controlled error of bounds for the interval availability distribution of systems modeled by ... -
An efficient iterative method for computing deflections of Bernoulli–Euler–von Karman beams on a nonlinear elastic foundation
Ahmad, Fayyaz; Jang, Taek Soo; Carrasco, Juan A.; Shafiq Ur, Rehman; Ali, Zulfiqar; Ali, Nukhaze (2018-10-01)
Article
Accés obertAn efficient iterative method is developed for the static analysis of large deflections of an infinite beam with variable cross-section resting on a nonlinear foundation. A pseudo spring constant is added and explicit ... -
An ROBDD-based combinatorial method for the evaluation of yield of defect-tolerant systems-on-chip
Carrasco, Juan A.; Suñé, Víctor (2009-02)
Article
Accés obertIn this paper, we develop a combinatorial method for the evaluation of the functional yield of defect-tolerant systems-on chip (SoC). The method assumes that random manufacturing defects are produced according to a model ... -
Analysis of sparse numerical methods for dependability evaluation
Carrasco, Juan A. (ACTA Press, 1987)
Text en actes de congrés
Accés obertHomogeneous, continuous-time Markov chains are an usual mathematical tool for dependability evaluation of computer systems. Complex systems rise the large state space problem, thus making mandatory the use of efficient ... -
Apunts Electrònica ETSEIB
Busquets Monge, Sergio; Lupón Roses, Emilio; Lamaison Urioste, Rafael; Carrasco, Juan A.; Balado Suárez, Luz María; Gómez Pau, Álvaro; Manich Bou, Salvador; Santos Miranda, José Antonio; Moreno Eguilaz, Juan Manuel (Universitat Politècnica de Catalunya, 2022-09-06)
Apunts
Accés obert -
Automated construction of compound Markov chains from generalized stochastic high-level Petri nets
Carrasco, Juan A. (1989)
Text en actes de congrés
Accés obertA new type of Petri nets: Generalized Stochastic High-Level Petri nets (GSHLPN’s), collecting the qualities of GSPN’s and SHLPN’s, is presented. The automated construction of compound continuous-time Markov chains (CTMC’s) ...