Test Routines Based on Symbolic Logical Statements
Journal of the ACM (JACM)
Analysis of Graphs by Connectivity Considerations
Journal of the ACM (JACM)
ACM '66 Proceedings of the 1966 21st national conference
AFIPS '65 (Fall, part I) Proceedings of the November 30--December 1, 1965, fall joint computer conference, part I
System Segmentation for the Parallel Diagnosis of Computers
IEEE Transactions on Computers
Program Suitability for Parallel Processing
IEEE Transactions on Computers
A Graph Model for Fault-Tolerant Computing Systems
IEEE Transactions on Computers
System Modeling and Testing Procedures for Microdiagnostics
IEEE Transactions on Computers
System Fault Diagnosis: Closure and Diagnosability with Repair
IEEE Transactions on Computers
A method of diagnostic test generation
AFIPS '69 (Spring) Proceedings of the May 14-16, 1969, spring joint computer conference
A method of test generation for fault location in combinational logic
AFIPS '70 (Fall) Proceedings of the November 17-19, 1970, fall joint computer conference
A survey of techniques for recognizing parallel processable streams in computer programs
AFIPS '69 (Fall) Proceedings of the November 18-20, 1969, fall joint computer conference
Design principles for processor maintainability in real-time systems
AFIPS '69 (Fall) Proceedings of the November 18-20, 1969, fall joint computer conference
Tradeoffs in system level diagnosis of multiprocessor systems
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
Electronic enterprise engineering: an outline of an architecture
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
| Hi-index | 0.02 |
The present trend in large scale integration of microelectronic technology has focussed a heavy emphasis on the maintenance and diagnostic aspects of large computers. Efficient techniques of diagnosis are important in multi-processors with reconfiguring capabilities to provide high availability. Also, a need exists for simple but effective means of understanding, visualizing and analyzing the problems associated with diagnostics. This paper presents a unified approach based on graph theory, which seems to provide a new insight into the problem without regard to the level of detail under consideration.