Advances in computers 2013/ edited by Atif Memon

1. Reverse-Engineering Software Behavior
Neil Walklnshaw
1. Introduction
2. Background
3. Static Analysis
4. Dynamic Analysis
5. Evaluating Reverse-Engineered Models
6. Conclusions and Outstanding Challenges
References
2. Understanding Application Contentiousness
and Sensitivity on Modern Multicores
Jason Mars and Lingjia Tang
1. Introduction
2. Contentiousness vs. Sensitivity
3. LLC Misses as an Indicator?
4. Predicting Contention Characteristics
5. Evaluation
6. Related Work
7. Summary
References
3. An Outlook of High Performance Computing
Infrastructures for Scientific Computing
Amjad Ali and Khalid Saifullah Syed
1. Introduction
2. Modern Microprocessor Based Computer Systems
3. Computing Shift: from Serial to Parallel
4. Implicit Parallelism
5. Explicit Parallelism
6. Cluster Computing
7. Grid and Cloud Computing
8. Developing Efficient Parallel Programs
9. Parallel Performance Metrics
10. Concluding Remarks
Acknowledgments
References
4. Model-Driven Engineering of Reliable FaultTolerant
Systems—A
State-of-the-Art
Survey
VIdar SIStten, Peter Herrmann, and Frank Alexander Kraemer
1. Introduction
2. Background and Scope
3. Charaaeristics to Classify Approaches
4. Approaches with Verification of User-Designed/lntegrated Fault-
Tolerance Mechanisms
5. Approaches Tied to Specific Fault-Tolerance Mechanisms
6. Comparison Tables
7. Discussion
8. Conclusion
References
Author Index
Subject Index