Advances in Computers

Table of contents

1. Cover image
2. Title page
3. Table of Contents
4. Copyright
5. Preface
6. Chapter 1. Reverse-Engineering Software Behavior
   1. 1 Introduction
   2. 2 Background
   3. 3 Static Analysis
   4. 4 Dynamic Analysis
   5. 5 Evaluating Reverse-Engineered Models
   6. 6 Conclusions and Outstanding Challenges
   7. References
7. Chapter 2. Understanding Application Contentiousness and Sensitivity on Modern Multicores
   1. 1 Introduction
   2. 2 Contentiousness vs. Sensitivity
   3. 3 LLC Misses as an Indicator?
   4. 4 Predicting Contention Characteristics
   5. 5 Evaluation
   6. 6 Related Work
   7. 7 Summary
   8. References
8. Chapter 3. An Outlook of High Performance Computing Infrastructures for Scientific Computing
   1. 1 Introduction
   2. 2 Modern Microprocessor Based Computer Systems
   3. 3 Computing Shift: from Serial to Parallel
   4. 4 Implicit Parallelism
   5. 5 Explicit Parallelism
   6. 6 Cluster Computing
   7. 7 Grid and Cloud Computing
   8. 8 Developing Efficient Parallel Programs
   9. 9 Parallel Performance Metrics
   10. 10 Concluding Remarks
   11. Acknowledgments
   12. References
9. Chapter 4. Model-Driven Engineering of Reliable Fault-Tolerant Systems—A State-of-the-Art Survey
   1. 1 Introduction
   2. 2 Background and Scope
   3. 3 Characteristics to Classify Approaches
   4. 4 Approaches with Verification of User-Designed/Integrated Fault-Tolerance Mechanisms
   5. 5 Approaches Tied to Specific Fault-Tolerance Mechanisms
   6. 6 Comparison Tables
   7. 7 Discussion
   8. 8 Conclusion
   9. References
10. Author Index
11. Subject Index
12. Contents of Volumes in this Series