Searching for "Automating the Addition of Fault-Tolerance." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Automating the Addition of Fault-Tolerance
- …Automating the Addition of Fault-Tolerance Sandeep S. Kulkarni Anish Arora Department of Computer…
- Cited by 42 (10 self) – Add To MetaCart
-
Mechanical verification of automatic synthesis of fault-tolerant programs
- …. In this paper, we present the mechanized verification of algorithms that automate the addition of fault-tolerance…
- Cited by 2 (2 self) – Add To MetaCart
-
The Complexity of Adding Failsafe Fault-Tolerance 1
- … on the problem of automating the addition of failsafe fault-tolerance where fault-tolerance is added…
- Add To MetaCart
-
The Complexity of Adding Failsafe Fault-Tolerance
- … on the problem of automating the addition of failsafe fault-tolerance where fault-tolerance is added…
- Add To MetaCart
-
Adding FaultTolerance to State Machine-Based Designs
- … and complete deterministic algorithms for automated addition of (failsafe/nonmasking/masking) fault-tolerance…
- Cited by 1 (0 self) – Add To MetaCart
-
Complexity issues in automated synthesis of failsafe fault-tolerance
- … in the manual addition of fault-tolerance. We expect that the same advantage will apply in the automated…
- Cited by 5 (3 self) – Add To MetaCart
-
Complexity Issues in Automated Synthesis of Failsafe
- … in the manual addition of fault-tolerance. We expect that the same advantage will apply in the automated…
- Add To MetaCart
Showing 1 through 7.
