default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3. EMSOFT 2003: Philadelphia, PA, USA
- Rajeev Alur, Insup Lee:
Embedded Software, Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings. Lecture Notes in Computer Science 2855, Springer 2003, ISBN 3-540-20223-4
Invited Contributions
- Alan Burns, Guillem Bernat, Ian Broster:
A Probabilistic Framework for Schedulability Analysis. 1-15 - Kim Guldstrand Larsen:
Resource-Efficient Scheduling for Real Time Systems. 16-19 - Joseph P. Loyall:
Emerging Trends in Adaptive Middleware and Its Application to Distributed Real-Time Embedded Systems. 20-34
Regular Papers
- Albert Benveniste, Luca P. Carloni
, Paul Caspi, Alberto L. Sangiovanni-Vincentelli:
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. 35-50 - Herbert Bos, Bart Samwel:
HOKES/POKES: Light-Weight Resource Sharing. 51-66 - Giorgio C. Buttazzo:
Rate Monotonic vs. EDF: Judgment Day. 67-83 - Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis:
Translating Discrete-Time Simulink to Lustre. 84-99 - Noureddine Chabini, Wayne H. Wolf:
Minimizing Variables' Lifetime in Loop-Intensive Applications. 100-116 - Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga:
Resource Interfaces. 117-133 - Jean-Louis Colaço, Marc Pouzet:
Clocks as First Class Abstract Types. 134-155 - Victor De La Luz, Mahmut T. Kandemir, Guangyu Chen, Ibrahim Kolcu:
Energy-Conscious Memory Allocation and Deallocation for Pointer-Intensive Applications. 156-172 - Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcliff:
Space Reductions for Model Checking Quasi-Cyclic Systems. 173-189 - Janosch Fauster, Raimund Kirner, Peter P. Puschner:
Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs. 190-205 - Alain Girault, Xavier Nicollin:
Clock-Driven Automatic Distribution of Lustre Programs. 206-222 - Patrice Godefroid:
Reasoning about Abstract Open Systems with Generalized Module Checking. 223-240 - Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic:
Schedule-Carrying Code. 241-256 - Shaoxiong Hua, Gang Qu, Shuvra S. Bhattacharyya:
Energy-Efficient Multi-processor Implementation of Embedded Software. 257-273 - Christos Kloukinas, Chaker Nakhli, Sergio Yovine:
A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications. 274-289 - Sandeep Neema, Janos Sztipanovits, Gabor Karsai, Ken Butts:
Constraint-Based Design-Space Exploration and Model Synthesis. 290-305 - John Regehr, Alastair Reid, Kirk Webb:
Eliminating Stack Overflow by Abstract Interpretation. 306-322 - César Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna:
Event Correlation: Language and Semantics. 323-339 - Walid Taha, Stephan Ellner, Hongwei Xi:
Generating Heap-Bounded Programs in a Functional Setting. 340-355 - Weirong Wang, Aloysius K. Mok, Gerhard Fohler:
Pre-Scheduling: Integrating Offline and Online Scheduling Techniques. 356-372
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-28 00:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
