Necessary and sufficient conditions for \(t\)-diagnosability of multiprocessor computer systems for various models of nonreliable testing established using the system graph-theoretical model
From MaRDI portal
Publication:315187
DOI10.1134/S0005117916060096zbMath1371.68042MaRDI QIDQ315187
Publication date: 19 September 2016
Published in: Automation and Remote Control (Search for Journal in Brave)
Applications of graph theory (05C90) Reliability, availability, maintenance, inspection in operations research (90B25) Reliability, testing and fault tolerance of networks and computer systems (68M15)
Cites Work
- Unnamed Item
- On the conceptual foundations of comparative analysis and solution of self-diagnostic problems in multiprocessor systems under different unreliable testing models
- Conditional local self-regulation rules and a diagnostic algorithm for a multiprocessor system with circulant diagnostic structure based on these rules
- Local diagnostication in computer systems with the circulant structure
- On certain investigations on self-diagnosable systems
- Schemes for fault-tolerant computing: A comparison of modularly redundant and t-diagnosable systems
- An Approach to the Diagnosability Analysis of a System
- A Theory of Diagnosability of Digital Systems
- Optimization of Reduced Dependencies for Synchronous Sequential Machines
This page was built for publication: Necessary and sufficient conditions for \(t\)-diagnosability of multiprocessor computer systems for various models of nonreliable testing established using the system graph-theoretical model
