دانلود کتاب Advances in Computers (Volume 43)

فهرست مطالب :

Front Cover
Advances in Computers, Volume 43
Copyright Page
Contents
Contributors
Preface
Chapter 1. Program Slicing
1. Introduction
2. Computing Slices
3. Applications of Program Slicing
References
Chapter 2. Language Features for the Interconnection of Software Components
1. Introduction
2. Different Perspectives and Fundamental Issues
3. A Model for Component Interconnection Specification
4. Survey of Language Paradigms for the Specification of Component Interconnection
5. Comparison of Features for Expressing Component Interconnections
6. Discussion
7. Summary
Appendix
References
Chapter 3. Using Model Checking to Analyze Requirements and Designs
1. Introduction
2. SCR Requirements
3. Model Checking
4. Model Checking Requirements
5. Model Checking Designs
6. Case Study
7. Conclusion
References
Chapter 4. Information Technology and Productivity: A Review of the Literature
1. The “Productivity Paradox”—A Clash of Expectations and Statistics
2. Research on Economy-wide Productivity and Information Worker Productivity
3. Industry-Level Studies of Information Technology Productivity
4. Firm-Level Studies of Information Technology Productivity
5. Contribution to Consumer Surplus and Economic Growth
6. Conclusion: Where Do We Go from Here?
References
Chapter 5. The Complexity of Problems
1. Introduction
2. Decision Trees
3. P versus NP
4. Decidable, Undecidable, and Beyond
5. Summary
References
Chapter 6. 3-D Computer Vision Using Structured Light: Design. Calibration, and Implementation Issues
1. Introduction
2. Introduction to Structured Light Ranging
3. Literature Review and Highlight of Critical Design Issues
4. Structured Light Acquisition
5. Calibration of Structured Light Sensors
6. Sensitivity Analysis of Structured Light Sensors
7. Performance Benchmarks and Ranging Experiments
8. Related Research and Concluding Remarks
References
Author Index
Subject Index
Contents of Volumes in This Series