EMSOFT 2003: 3rd International Conference on Embedded Software
Invited Contributions
A Probabilistic Framework for Schedulability Analysis
Resource-Efficient Scheduling for Real Time Systems
Emerging Trends in Adaptive Middleware and Its Application to Distributed Real-Time Embedded Systems
Regular Papers
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment
HOKES/POKES: Light-Weight Resource Sharing
Rate Monotonic vs. EDF: Judgment Day
Translating Discrete-Time Simulink to Lustre
Minimizing Variables' Lifetime in Loop-Intensive Applications
Clocks as First Class Abstract Types
Energy-Conscious Memory Allocation and Deallocation for Pointer-Intensive Applications
Space Reductions for Model Checking Quasi-Cyclic Systems
Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs
Clock-Driven Automatic Distribution of Lustre Programs
Reasoning about Abstract Open Systems with Generalized Module Checking
Energy-Efficient Multi-processor Implementation of Embedded Software
A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications
Constraint-Based Design-Space Exploration and Model Synthesis
Eliminating Stack Overflow by Abstract Interpretation
Event Correlation: Language and Semantics
Generating Heap-Bounded Programs in a Functional Setting
Pre-Scheduling: Integrating Offline and Online Scheduling Techniques