Advances in Computers
Academic Press
Published on 1. June 1987
467 pages
978-0-08-056658-0 (ISBN)
Description
Advances in Computers
More details
Other editions
Additional editions
Marshall C. Yovits
Advances in Computers: v. 26
Book
06/1987
Academic Press
€112.66
Article exhausted; check different version
Person
Content
- 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 Methods
- 7. 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 MINs
- 6. 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 Systems
- 1. 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 Software
- 1 . 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
