↓ Skip to main content

Embedded Software

Overview of attention for book
Cover of '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
Attention for Chapter 10: Clocks as First Class Abstract Types
Altmetric Badge

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
7 Mendeley