3. EMSOFT 2003: Philadelphia, PA, USA

Rajeev Alur, Insup Lee (Eds.): 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

@proceedings{DBLP:conf/emsoft/2003,
  editor    = {Rajeev Alur and
               Insup Lee},
  title     = {Embedded Software, Third International Conference, EMSOFT 2003,
               Philadelphia, PA, USA, October 13-15, 2003, Proceedings},
  booktitle = {EMSOFT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2855},
  year      = {2003},
  isbn      = {3-540-20223-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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 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

Last update Thu May 24 04:16:59 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page