Advances in Computers

Table of contents

1. Cover image
2. Title page
3. Table of Contents
4. Copyright
5. Preface
6. Chapter One: An Overview of Architecture-Level Power- and Energy-Efficient Design Techniques
   1. Abstract
   2. 1 Introduction
   3. 2 Metrics of Interest
   4. 3 Classification of Selected Architecture-Level Techniques
   5. 4 Presentation of Selected Architecture-Level Techniques
   6. 5 Future Trend
   7. 6 Conclusion
7. Chapter Two: A Survey of Research on Data Corruption in Cyber–Physical Critical Infrastructure Systems
   1. Abstract
   2. 1 Introduction
   3. 2 Sources of Corrupted Data
   4. 3 Sensor Networks: Application for Comparison
   5. 4 Detection of Corrupted Data
   6. 5 Mitigation of Data Corruption
   7. 6 Propagation of Corrupted Data
   8. 7 Conclusion and Future Direction
   9. Glossary
8. Chapter Three: A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs
   1. Abstract
   2. 1 Introduction
   3. 2 The Generic Model-based Testing Approach
   4. 3 Proposed Taxonomy Dimensions
   5. 4 A Research Review of Model-based Testing Tools
   6. 5 Running Example: The Coffee/Tea Vending Machine
   7. 6 Model-based Testing Tools for Pre/Post Notations
   8. 7 Model-based Testing Tools for Transition-based Notations
   9. 8 Model-based Testing Tools for Stochastic Models
   10. 9 Model-based Testing Tools for Data-Flow Models
   11. 10 Results and Discussion
   12. 11 Conclusions
   13. Acknowledgments
9. Chapter Four: Preference Incorporation in Evolutionary Multiobjective Optimization: A Survey of the State-of-the-Art
   1. Abstract
   2. 1 Introduction
   3. 2 Preference-Based MOEAs: Classification and Review
   4. 3 Discussion
   5. 4 Conclusions and Future Research Paths
10. Author Index
11. Subject Index
12. Contents of Volumes in this Series