Searching for "Reliable Computing Systems." – sorted by Relevance.
122 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
