A flexible formal framework for masking/demasking faults (Q1827146): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ins.2003.03.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2047903207
@@ Property / OpenAlex ID: W2047903207 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4250796
@@ Property / cites work: Q4250796 / rank @@
+Normal rank
@@ Property / cites work @@
+Fault identification in system-level diagnosis: A logic-based framework and an \(O(n^2\sqrt\tau / \sqrt{\log n)}\) algorithm
+Normal rank
@@ Property / cites work @@
+Consensus algorithms with one-bit messages
@@ Property / cites work: Consensus algorithms with one-bit messages / rank @@
+Normal rank
@@ Property / cites work @@
+The broadcast comparison model for on-line fault diagnosis in multicomputer systems: theory and implementation
+Normal rank
@@ Property / cites work @@
+The weakest failure detector for solving consensus
+Normal rank
@@ Property / cites work @@
+Unreliable failure detectors for reliable distributed systems
+Normal rank
@@ Property / cites work @@
+Efficient agreement using fault diagnosis.
@@ Property / cites work: Efficient agreement using fault diagnosis. / rank @@
+Normal rank
@@ Property / cites work @@
+Modular construction of an efficient 1-bit Byzantine agreement protocol
+Normal rank
@@ Property / cites work @@
+An 0(n<sup>2.5</sup>) Fault Identification Algorithm for Diagnosable Systems
+Normal rank
@@ Property / cites work @@
+Reaching approximate agreement in the presence of faults
+Normal rank
@@ Property / cites work @@
+Optimization of Reduced Dependencies for Synchronous Sequential Machines
+Normal rank
@@ Property / cites work @@
+Efficient algorithms for finding maximum matching in graphs
+Normal rank
@@ Property / cites work @@
+Fully Polynomial Byzantine Agreement for <i>n</i> &gt; 3<i>t</i> Processors in <i>t</i> + 1 Rounds
+Normal rank
@@ Property / cites work @@
+Approximation Algorithms for the Set Covering and Vertex Cover Problems
+Normal rank
@@ Property / cites work @@
+Reaching Agreement in the Presence of Faults
@@ Property / cites work: Reaching Agreement in the Presence of Faults / rank @@
+Normal rank
@@ Property / cites work @@
+The Byzantine Generals Problem
@@ Property / cites work: The Byzantine Generals Problem / rank @@
+Normal rank
@@ Property / cites work @@
+A distributed system-level diagnosis algorithm for arbitrary network topologies
+Normal rank
@@ Property / cites work @@
+A New Technique for the Fast Minimization of Switching Functions
+Normal rank
@@ Property / cites work @@
+Early consensus in an asynchronous system with a weak failure detector
+Normal rank
@@ Property / cites work @@
+A New Algorithm for Generating Prime Implicants
@@ Property / cites work: A New Algorithm for Generating Prime Implicants / rank @@
+Normal rank
@@ Property / cites work @@
+A Generalized Theory for System Level Diagnosis
@@ Property / cites work: A Generalized Theory for System Level Diagnosis / rank @@
+Normal rank
@@ Property / cites work @@
+A O(t/sup 3/+ mod E mod ) fault identification algorithm for diagnosable systems
+Normal rank
@@ Property / cites work @@
+Optimal time byzantine agreement for t &lt;n/8 with linear-messages
+Normal rank