Validation and Availability Techniques for Computer Faults

Techniques for Diagnosing Software Faults

Replication Techniques for Availability

The chapter studies how to provide clients with access to a replicated object that is logically indistinguishable from accessing a single yet highly available object. We study this problem under two different models. In the first, we assume that failures can be detected accurately. In the second we drop this assumption, making the model more realistic but also significantly more challenging. Un...

High-availability computer systems - Computer

September 1991 aradoxically, the larger a system is, the more critical but less likely it is to be highly available. We can build small ultra-available modules, but building large systems involving thousands of modules and millions of lines of code is a poorly understood art, even though such large systems are a core technology of modern society. Three decades ago, hardware components were the ...

Mineral Availability and Techniques for Its Measurement.

In the study of mineral metabolism it is generally recognized that the total content of an element in a particular dietary source has little significance unless it is qualified by a factor indicating the biological ‘utilization’ of the element. However, there appears to be less agreement as to what constitutes ‘utilization’ and how it should be expressed. This has resulted in a number of terms,...

Techniques for Empirical Validation

In 1998 a survey was published on the extent to which software engineering papers validate the claims made in those papers. The survey looked at publications in 1985, 1990 and 1995. This current paper updates that survey with data from 2000 and 2005. The basic conclusion is that the situation is improving. One earlier complaint that access to data repositories was difficult is becoming less pre...