Embedded Software

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 A Probabilistic Framework for Schedulability Analysis
3. Altmetric Badge
   Chapter 2 Resource-Efficient Scheduling for Real Time Systems
4. Altmetric Badge
   Chapter 3 Emerging Trends in Adaptive Middleware and Its Application to Distributed Real-Time Embedded Systems
5. Altmetric Badge
   Chapter 4 Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment
6. Altmetric Badge
   Chapter 5 HOKES/POKES: Light-Weight Resource Sharing
7. Altmetric Badge
   Chapter 6 Rate Monotonic vs. EDF: Judgment Day
8. Altmetric Badge
   Chapter 7 Translating Discrete-Time Simulink to Lustre
9. Altmetric Badge
   Chapter 8 Minimizing Variables’ Lifetime in Loop-Intensive Applications
10. Altmetric Badge
    Chapter 9 Resource Interfaces
11. Altmetric Badge
    Chapter 10 Clocks as First Class Abstract Types
12. Altmetric Badge
    Chapter 11 Energy-Conscious Memory Allocation and Deallocation for Pointer-Intensive Applications
13. Altmetric Badge
    Chapter 12 Space Reductions for Model Checking Quasi-Cyclic Systems
14. Altmetric Badge
    Chapter 13 Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs
15. Altmetric Badge
    Chapter 14 Clock-Driven Automatic Distribution of Lustre Programs
16. Altmetric Badge
    Chapter 15 Reasoning about Abstract Open Systems with Generalized Module Checking
17. Altmetric Badge
    Chapter 16 Schedule-Carrying Code
18. Altmetric Badge
    Chapter 17 Energy-Efficient Multi-processor Implementation of Embedded Software
19. Altmetric Badge
    Chapter 18 A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications
20. Altmetric Badge
    Chapter 19 Constraint-Based Design-Space Exploration and Model Synthesis
21. Altmetric Badge
    Chapter 20 Eliminating Stack Overflow by Abstract Interpretation
22. Altmetric Badge
    Chapter 21 Event Correlation: Language and Semantics
23. Altmetric Badge
    Chapter 22 Generating Heap-Bounded Programs in a Functional Setting
24. Altmetric Badge
    Chapter 23 Pre-Scheduling: Integrating Offline and Online Scheduling Techniques