4. EMSOFT 2004: Pisa, Italy

Giorgio C. Buttazzo (Ed.): EMSOFT 2004, September 27-29, 2004, Pisa, Italy, Fourth ACM International Conference On Embedded Software, Proceedings. ACM 2004, ISBN 1-58113-860-1 BibTeX

Keynote Addresses

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

Operating Systems

Sapan Bhatia, Charles Consel, Calton Pu:
Remote customization of systems code for embedded devices. 7-15
Electronic Edition (ACM DL) BibTeX
Claudio Scordino, Giuseppe Lipari:
Using resource reservation techniques for power-aware scheduling. 16-25
Electronic Edition (ACM DL) BibTeX
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
Electronic Edition (ACM DL) BibTeX

Verification

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

Energy-aware systems

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

Scheduling

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

Programming languages

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

Formal methods I

Marc Geilen, Twan Basten:
Reactive process networks. 137-146
Electronic Edition (ACM DL) BibTeX
Jan Carlson, Björn Lisper:
An event detection algebra for reactive systems. 147-154
Electronic Edition (ACM DL) BibTeX

System design

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

Distributed systems

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

Formal methods II

Michael McDougall, Rajeev Alur, Carl A. Gunter:
A model-based approach to integrating security policies for embedded devices. 211-219
Electronic Edition (ACM DL) BibTeX
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
Electronic Edition (ACM DL) BibTeX

Formal languages

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

Timing analysis

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