3. EMSOFT 2003: Philadelphia, PA, USA

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 Sat May 25 17:49:16 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page