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