Searching for "Reliable Computing Systems." – sorted by Relevance.
-
The Byzantine Generals Problem
- International Reliable computer systems must handle malfunctioning components that give conflicting information
- Cited by 870 (6 self) – Add To MetaCart
-
Specifying Trusted Distributed System Components
- of reliable computer systems. Software developers can verify correctness and reliability properties for a
- Cited by 2 (1 self) – Add To MetaCart
-
Formal Methods: Why Should I Care? - The development of the T800 transputer floating-point unit
- of the Inmos T800 transputer chip. 1. Introduction The need for reliable computer systems is increasing
- Cited by 3 (0 self) – Add To MetaCart
-
PATHOS - A Paradigmatic Approach To High-level Object-oriented Software development
- . Users have often demanded for reliable computer systems because they realize that most failures are due
- Cited by 1 (0 self) – Add To MetaCart
-
Test Pattern Generation Using Boolean Satisfiability
- To produce reliable computer systems, defect-free components must be available. Automatic test pattern
- Cited by 212 (15 self) – Add To MetaCart
-
Chained Declustering: A New Availability Strategy for Multiprocssor Database machines
- and reliability of computer systems, the most commonly used technique involves the replication of processors
- Cited by 102 (6 self) – Add To MetaCart
-
An Object-Oriented Toolkit for Constructing Specification Editors
- facilitate the design and implementation of more reliable computer systems, which is particularly important
- Cited by 6 (4 self) – Add To MetaCart
-
Software Engineering Issues Emerged From Critical Control Applications
- in the design and implementation of safe, reliable computer systems. This is to be achieved by development of a
- Cited by 2 (1 self) – Add To MetaCart
-
Towards a Unified Comparison of Synchronous and Asynchronous Agreement Protocols
- ��95409 October 20, 1995 Abstract. In a reliable computer system, correctly-functioning processors must
- Cited by 2 (0 self) – Add To MetaCart
-
Design and Implementation of Distributed Databases Using Estelle
- and to improve the reliability of computer systems. In order to achieve all these objectives DSs have become very
- Add To MetaCart

