Performance assessment and reliability analysis of dependable and distributed computing systems based on BDD and recursive merge

DOI10.1016/j.amc.2010.05.075zbMath1214.68075OpenAlexW2030347689MaRDI QIDQ708195

Yung-Ruei Chang, Chin-Yu Huang, Sy-Yen Kuo

Publication date: 11 October 2010

Published in: Applied Mathematics and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.amc.2010.05.075

zbMATH Keywords

reliabilitydistributed systemOBDDsystem availabilityfault-coverage

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (1)

Multiple-valued logic mathematical approaches for multi-state system reliability analysis

Cites Work

• A heuristic approach to generating file spanning trees for reliability analysis of distributed computing systems
• Distributed program reliability analysis
• Graph-Based Algorithms for Boolean Function Manipulation
• A Simple Method for Reliability Evaluation of a Communication System
• A generalized algorithm for evaluating distributed-program reliability
• Reduction of Average Path Length in Binary Decision Diagrams by Spectral Methods

This page was built for publication: Performance assessment and reliability analysis of dependable and distributed computing systems based on BDD and recursive merge