de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Ergebnisliste
Titel
Titel
Inhalt
Inhalt
Seite
Seite
Im Dokument suchen
Schöler, Christian: Novel scheduling strategies for future NoC and MPSoC architecturesNeue Scheduling Strategien für zukünftige NoC und MPSoC Architekturen. 2017
Inhalt
Abstract English
Kurzzusammenfassung Deutsch
Declaration of Authorship
Publications
Acknowledgements
Contents
1 Introduction
1.1 Motivation
1.2 Problem Statement
1.3 Thesis Contribution
1.4 Methodology
1.5 Thesis Structure
2 State-of-the-Art
2.1 Applications of Embedded Systems
2.2 SoC, NoC and MPSoC Architectures
2.3 Time-Triggered Communication Protocol
2.4 Scheduling in Time-Triggered Distributed Systems
2.5 MILP-based Scheduling
2.6 Related Work
3 Concepts and Terms
3.1 Boolean Functions and their representations
3.2 Optimization
3.3 Complexity
3.4 SAT Solving
4 An Optimal SAT based Scheduler
4.1 Introduction
4.2 System Model
4.3 MiniSat+
4.4 Results
4.5 Summary
5 An Optimal SMT-based Scheduler
5.1 Introduction
5.2 SMT Solving
5.3 Refinements and Implementation
5.4 Application of YICES SMT
5.5 Results
5.6 Execution on MPSoC-emulating target systems
5.7 Summary
6 Parallel Computation of Schedules
6.1 Introduction
6.2 Parallel Checks for Satisfiability
6.3 Results
6.4 Dominator-based Partitioning
6.5 Results
6.6 Summary
7 Scheduling on Fault-Tolerant Architectures
7.1 Introduction
7.2 Introduction into Fault Tolerance Techniques
7.3 Re-scheduling after Failure
7.4 List Scheduling
7.5 Results
7.6 Summary
8 Conclusion
8.1 Summary
8.2 Open Problems and Future Work
A Appendix
A.1 List of Figures
A.2 List of Tables
A.3 List of Abbreviations
A.4 References