[图书][B] Boolean functions: Theory, algorithms, and applications
Y Crama, PL Hammer - 2011 - books.google.com
Written by prominent experts in the field, this monograph provides the first comprehensive,
unified presentation of the structural, algorithmic and applied aspects of the theory of …
unified presentation of the structural, algorithmic and applied aspects of the theory of …
[图书][B] L'analisi quantitativa dei sistemi critici: Fondamenti e Tecniche per la Valutazione-Analitica e Sperimentale-di Infrastrutture Critiche e Sistemi Affidabili
A Bondavalli - 2011 - books.google.com
Questo libro di testo per insegnamenti a corsi di laurea specialistica o magistrale in
Informatica o Ingegneria Informatica illustra i fondamenti e le tecniche per la Valutazione …
Informatica o Ingegneria Informatica illustra i fondamenti e le tecniche per la Valutazione …
Uncertainty Propagation through Dependability Models
K Mishra - 2011 - search.proquest.com
Abstract Systems in critical applications employ various hardware and software fault-
tolerance techniques to ensure high dependability. Stochastic models are often used to …
tolerance techniques to ensure high dependability. Stochastic models are often used to …
[PDF][PDF] TECHNICAL REPORT TR-INF-2011-06-02-UNIPMN (June 2011)
In this paper we propose a new approach for network reliability analysis based on Binary
Decision Diagrams (BDDs): the goal is to compute the st minpaths for a given network and …
Decision Diagrams (BDDs): the goal is to compute the st minpaths for a given network and …
An Algebraic Approach to Computing the Reliability of Internet Routing
Evaluating the reliability of Internet routing is important for an ISP to assess existing peer
relationships or establish new peer relationships. Existing algorithms for network reliability …
relationships or establish new peer relationships. Existing algorithms for network reliability …