4. EMSOFT 2004: Pisa, Italy

Keynote Addresses

• A. Richard Newton:
  Great works for the 21st century: a critical role for the modern research university. 1
  
• Hideyuki Tokuda:
  Smart furniture: a platform for context-aware embedded ubiquitous applications. 2
  
• Krithi Ramamritham, Rajkumar Sen:
  DELite: database support for embedded lightweight devices. 3-4
  
• Nevin Heintze:
  Network processors: a progress report. 5
  
• Alan C. Kay:
  "The computer revolution", "computer science", and "software engineering" haven't happened yet. 6
  

Operating Systems

• Sapan Bhatia, Charles Consel, Calton Pu:
  Remote customization of systems code for embedded devices. 7-15
  
• Claudio Scordino, Giuseppe Lipari:
  Using resource reservation techniques for power-aware scheduling. 16-25
  
• Sangsoo Park, Yonghee Lee, Heonshik Shin:
  An experimental analysis of the effect of the operating system on memory performance in embedded multimedia computing. 26-33
  

Verification

• Gopalakrishna Raghavan, Ari Salomaki, Raimondas Lencevicius:
  Model based estimation and verification of mobile device performance. 34-43
  
• Guang Yang, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe, Felice Balarin:
  Separation of concerns: overhead in modeling and efficient simulation techniques. 44-53
  

Energy-aware systems

• Ruibin Xu, Chenhai Xi, Rami G. Melhem, Daniel Mossé:
  Practical PACE for embedded systems. 54-63
  
• Haisang Wu, Binoy Ravindran, E. Douglas Jensen, Peng Li:
  Energy-efficient, utility accrual scheduling under resource constraints for mobile embedded systems. 64-73
  
• Kun Zhang, Tao Zhang, Santosh Pande:
  Binary translation to improve energy efficiency through post-pass register re-allocation. 74-85
  

Scheduling

• Cheng-Han Tsai, Edward T.-H. Chu, Tai-Yi Huang:
  WRR-SCAN: a rate-based real-time disk-scheduling algorithm. 86-94
  
• Luís Almeida, Paulo Pedreiras:
  Scheduling within temporal partitions: response-time analysis and server design. 95-103
  

Programming languages

• Thomas A. Henzinger, Christoph M. Kirsch:
  A typed assembly language for real-time programs. 104-113
  
• Chanik Park, Junghee Lim, Kiwon Kwon, Jaejin Lee, Sang Lyul Min:
  Compiler-assisted demand paging for embedded systems with flash memory. 114-124
  
• David F. Bacon, Perry Cheng, David Grove:
  Garbage collection for embedded systems. 125-136
  

Formal methods I

• Marc Geilen, Twan Basten:
  Reactive process networks. 137-146
  
• Jan Carlson, Björn Lisper:
  An event detection algebra for reactive systems. 147-154
  

System design

• Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli:
  Conservative approximations for heterogeneous design. 155-164
  
• John A. Stankovic, Prashant Nagaraddi, Zhendong Yu, Zhimin He, Brian Ellis:
  Exploiting prescriptive aspects: a design time capability. 165-174
  
• Sven Burmester, Matthias Gehrke, Holger Giese, Simon Oberthür:
  Making mechatronic agents resource-aware in order to enable safe dynamic resource allocation. 175-183
  
• De-Jiu Chen, Martin Törngren:
  A metrics system for quantifying operational coupling in embedded computer control systems. 184-192
  

Distributed systems

• Jan Romberg, Andreas Bauer:
  Loose synchronization of event-triggered networks for distribution of synchronous programs. 193-202
  
• Bernd Hardung, Thorsten Kölzow, Andreas Krüger:
  Reuse of software in distributed embedded automotive systems. 203-210
  

Formal methods II

• Michael McDougall, Rajeev Alur, Carl A. Gunter:
  A model-based approach to integrating security policies for embedded devices. 211-219
  
• Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli:
  Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA). 220-229
  

Formal languages

• Jean-Louis Colaço, Alain Girault, Grégoire Hamon, Marc Pouzet:
  Towards a higher-order synchronous data-flow language. 230-239
  
• Partha S. Roop, Zoran A. Salcic, M. W. Sajeewa Dayaratne:
  Towards direct execution of esterel programs on reactive processors. 240-248
  
• Oleg Kiselyov, Kedar N. Swadi, Walid Taha:
  A methodology for generating verified combinatorial circuits. 249-258
  
• Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi:
  Defining and translating a "safe" subset of simulink/stateflow into lustre. 259-268
  

Timing analysis

• Matteo Corti, Thomas R. Gross:
  Approximation of the worst-case execution time using structural analysis. 269-277
  
• Jan Staschulat, Rolf Ernst:
  Multiple process execution in cache related preemption delay analysis. 278-286
  
• Noureddine Chabini, Wayne Wolf:
  An approach for integrating basic retiming and software pipelining. 287-296
  
• Daniel Citron, Gadi Haber, Roy Levin:
  Reducing program image size by extracting frozen code and data. 297-305