↓ 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 13: Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs
Altmetric Badge

Mentioned by

patent
1 patent

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
4 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs
Chapter number 13
Book title
Embedded Software
Published by
Springer, Berlin, Heidelberg, October 2003
DOI 10.1007/978-3-540-45212-6_13
Book ISBNs
978-3-54-020223-3, 978-3-54-045212-6
Authors

Janosch Fauster, Raimund Kirner, Peter Puschner

Mendeley readers

The data shown below were compiled from readership statistics for 4 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Germany 1 25%
Unknown 3 75%

Demographic breakdown

Readers by professional status Count As %
Professor > Associate Professor 2 50%
Student > Ph. D. Student 1 25%
Student > Postgraduate 1 25%
Readers by discipline Count As %
Computer Science 3 75%
Engineering 1 25%