Front Cover; Advances in Computers, Volume 26; Copyright Page; Contents; Preface; Chapter 1. The Explicit Support of Human Reasoning in Decision Support Systems; 1. Introduction; 2. Human Decision Processes; 3. Computer-Based Support of Reasoning; 4. Reasoning with Fuzzyand Uncertain Knowledge; 5. Further Issues in Reasoning; 6. Concluding Remarks; References; Chapter 2. Unary Processing; 1. Introduction; 2. Counters, Calculators, Computers: Description of Historical Unary Methods; 3. Premise for Proving Binary Superiority; 4. Probabilistic Unary Methods; 5. Deterministic Averaging Methods.

6. Pulse Gear and Table Look-Up Methods7. The UNIFIELD I: Architecture and Applications; 8. Summary and Outlook for Unary Processing; References; Chapter 3. Parallel Algorithms for Some Computational Problems; 1. Introduction; 2. Parallel Connectivity Algorithms; 3. Parallel Minimum Spanning-Tree Algorithms; 4. Other Parallel Graph Algorithms; 5. Other Parallel Algorithms; 6. Conclusions; References; Chapter 4. Multistage interconnection Networks for Multiprocessor Systems; 1. Introduction; 2. Overview; 3. Unique Path Property Networks; 4. Full Combinatorial Capability Networks.

5. Multipath MINs6. Performance Analysis; 7. VLSI Implementation; 8. Conclusion; References; Chapter 5. Fault-Tolerant Computing; 1. Introduction; 2. Reliability Estimation; 3. Availability; 4. Application Reliability Requirements; 5. Fault Classification; 6. Effect of System Utilization; 7. Redundancy Techniques; 8. Hardware Fault Detection; 9. Software Detection Techniques; 10. Fault Recovery; 11. Fault Diagnosis; 12. Reliability Validation; 13. Examples of High-Reliability Real-Time Systems; 14. Conclusion; References.

Chapter 6. Techniques and Issues in Testing and Validation of VLSl Systems1. Introduction; 2. Integrated Circuit Fabrication and Yield; 3. Design Validation Tools; 4. Testing; 5. Design for Testability; 6. Built-In Self-Test; 7. Concluding Remark; References; Chapter 7. Software Testing and Verification; 1. Introduction; 2 Mathematical Theory of Testing; 3. Static Data Flow Analysis and Testing; 4. Coverage Measures; 5. Mutation Analysis and Functional Testing; 6. Path-Oriented Testing Models; 7. Conclusions and Future Prospects; References.

Chapter 8. Issues in the Development of Large, Distributed, and Reliable Software1 . Introduction; 2. The Software Life Cycle; 3. Requirement Specification; 4. Software Design; 5. Software Quality Assurance; 6. Software Management; 7. Conclusion; References; Author Index; Subject Index; Contents of Previous Volumes.