71 |
Fundamental concepts for fault tolerant systemsGarnsworthy, Johnathan Randall January 1990 (has links)
In order to be able to think clearly about any subject we need precise definitions of its basic terminology and concepts. If one reads the literature describing fault tolerant computing there is less agreement on fundamental models, concepts and terminology that would perhaps be expected. There are well established usages in particular subcommunities and many other individual workers take care to use terms carefully. Unfortunately there are also many papers in which terms are freely applied to concepts in an arbitrary and inconsistent way. This thesis attempts to bring together some of the concepts of fault tolerant computing and place them in a formal framework. The approach taken is to develop formal models of system structure and behaviour, and to define the basic concepts and terminology in terms of those models. The model of system structure is based on directed graphs and the model of behaviour is based on trace theory.
|
72 |
Constructing fail-controlled nodes for distributed systems : a software approachBrasileiro, Francisco Vilar January 1995 (has links)
Designing and implementing distributed systems which continue to provide specified services in the presence of processing site and communication failures is a difficult task. To facilitate their development, distributed systems have been built assuming that their underlying hardware components are Jail-controlled, i.e. present a well defined failure mode. However, if conventional hardware cannot provide the assumed failure mode, there is a need to build processing sites or nodes, and communication infra-structure that present the fail-controlled behaviour assumed. Coupling a number of redundant processors within a replicated node is a well known way of constructing fail-controlled nodes. Computation is replicated and executed simultaneously at each processor, and by employing suitable validation techniques to the outputs generated by processors (e.g. majority voting, comparison), outputs from faulty processors can be prevented from appearing at the application level. One way of constructing replicated nodes is by introducing hardwired mechanisms to couple replicated processors with specialised validation hardware circuits. Processors are tightly synchronised at the clock cycle level, and have their outputs validated by a reliable validation hardware. Another approach is to use software mechanisms to perform synchronisation of processors and validation of the outputs. The main advantage of hardware based nodes is the minimum performance overhead incurred. However, the introduction of special circuits may increase the complexity of the design tremendously. Further, every new microprocessor architecture requires considerable redesign overhead. Software based nodes do not present these problems, on the other hand, they introduce much bigger performance overheads to the system. In this thesis we investigate alternative ways of constructing efficient fail-controlled, software based replicated nodes. In particular, we present much more efficient order protocols, which are necessary for the implementation of these nodes. Our protocols, unlike others published to date, do not require processors' physical clocks to be explicitly synchronised. The main contribution of this thesis is the precise definition of the semantics of a software based Jail-silent node, along with its efficient design, implementation and performance evaluation.
|
73 |
On the design of reconfigurable ripple carry adders and carry save multipliers /Jang, Yi-Feng, January 1992 (has links)
Thesis (M.S.)--Virginia Polytechnic Institute and State University, 1992. / Vita. Abstract. Includes bibliographical references (leaves 78-79). Also available via the Internet.
|
74 |
Failure diagnostic expert systems : a case study in fault diagnosis /Adam, Johan D. January 1991 (has links)
Report (M.S.)--Virginia Polytechnic Institute and State University. M.S. 1991. / Vita. Abstract. Includes bibliographical references (leaves 93-94). Also available via the Internet.
|
75 |
Self-adjusting quorum systems for Byzantine fault tolerance /Pierce, Evelyn Tumlin, January 2000 (has links)
Thesis (Ph. D.)--University of Texas at Austin, 2000. / Vita. Includes bibliographical references (leaves 90-96). Available also in a digital version from Dissertation Abstracts.
|
76 |
Fault-tolerant process restorationMcPherson, John A. January 1981 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1981. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves 190-194).
|
77 |
A two level model for digital system fault diagnosisMcPherson, John A. January 1977 (has links)
Thesis (M.S.)--University of Wisconsin--Madison, 1977. / eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves 135-136).
|
78 |
Transient fault detection using a watchdog processor /Becker, Brian Alan, January 1993 (has links)
Thesis (M.S.)--Virginia Polytechnic Institute and State University, 1993. / Vita. Abstract. Includes bibliographical references (leaves 86-87). Also available via the Internet.
|
79 |
Effects of Hurricane fault architecture on groundwater flow in the Timpoweap Canyon of southwestern Utah /Dutson, Sarah J., January 2005 (has links) (PDF)
Thesis (M.S.)--Brigham Young University. Dept. of Geology, 2005. / Includes bibliographical references (p. 26-28).
|
80 |
A reconfiguration-based defect-tolerant design paradigm for nanotechnologiesHe, Chen, January 1900 (has links) (PDF)
Thesis (Ph. D.)--University of Texas at Austin, 2006. / Vita. Includes bibliographical references.
|
Page generated in 0.0389 seconds