↓ 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 19: Constraint-Based Design-Space Exploration and Model Synthesis
Altmetric Badge

Mentioned by

patent
1 patent

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
42 Mendeley
citeulike
3 CiteULike
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
Constraint-Based Design-Space Exploration and Model Synthesis
Chapter number 19
Book title
Embedded Software
Published by
Springer, Berlin, Heidelberg, October 2003
DOI 10.1007/978-3-540-45212-6_19
Book ISBNs
978-3-54-020223-3, 978-3-54-045212-6
Authors

Sandeep Neema, Janos Sztipanovits, Gabor Karsai, Ken Butts

Mendeley readers

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

Geographical breakdown

Country Count As %
Hungary 3 7%
Iran, Islamic Republic of 2 5%
Brazil 1 2%
France 1 2%
Sweden 1 2%
Germany 1 2%
United States 1 2%
Unknown 32 76%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 21 50%
Student > Master 5 12%
Professor > Associate Professor 4 10%
Researcher 3 7%
Professor 2 5%
Other 4 10%
Unknown 3 7%
Readers by discipline Count As %
Computer Science 28 67%
Engineering 8 19%
Business, Management and Accounting 1 2%
Philosophy 1 2%
Unknown 4 10%