5. EMSOFT 2005:
Jersey City,
New Jersey,
USA
Wayne Wolf (Ed.):
EMSOFT 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th ACM International Conference On Embedded Software, Proceedings.
ACM 2005, ISBN 1-59593-091-4 BibTeX
Communication and devices
- Jun Sun, Wanghong Yuan, Mahesh Kallahalla, Nayeem Islam:
HAIL: a language for easy and correct device access.
1-9
Electronic Edition (ACM DL) BibTeX
- Cong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli:
A structural approach to quasi-static schedulability analysis of communicating concurrent programs.
10-16
Electronic Edition (ACM DL) BibTeX
- Prabhat Avasare, Vincent Nollet, Jean-Yves Mignolet, Diederik Verkest, Henk Corporaal:
Centralized end-to-end flow control in a best-effort network-on-chip.
17-20
Electronic Edition (ACM DL) BibTeX
- Neal K. Bambha, Shuvra S. Bhattacharyya:
Communication strategies for shared-bus embedded multiprocessors.
21-24
Electronic Edition (ACM DL) BibTeX
Modeling
Languages
- Ana Azevedo, Arun Kejariwal, Alexander V. Veidenbaum, Alexandru Nicolau:
High performance annotation-aware JVM for Java cards.
52-61
Electronic Edition (ACM DL) BibTeX
- Johannes Helander:
Deeply embedded XML communication: towards an interoperable and seamless world.
62-67
Electronic Edition (ACM DL) BibTeX
- David F. Bacon, Perry Cheng, David Grove, Michael Hind, V. T. Rajan, Eran Yahav, Matthias Hauswirth, Christoph M. Kirsch, Daniel Spoonhower, Martin T. Vechev:
High-level real-time programming in Java.
68-78
Electronic Edition (ACM DL) BibTeX
Panel
Scheduling
- Ernesto Wandeler, Lothar Thiele:
Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling.
80-89
Electronic Edition (ACM DL) BibTeX
- Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis:
QoS control for optimality and safety.
90-99
Electronic Edition (ACM DL) BibTeX
- Jaswinder Ahluwalia, Ingolf H. Krüger, Walter Phillips, Michael Meisinger:
Model-based run-time monitoring of end-to-end deadlines.
100-109
Electronic Edition (ACM DL) BibTeX
- Shan Ding, Naohiko Murakami, Hiroyuki Tomiyama, Hiroaki Takada:
A GA-based scheduling method for FlexRay systems.
110-113
Electronic Edition (ACM DL) BibTeX
Optimization
- Stephen Hines, Prasad Kulkarni, David B. Whalley, Jack W. Davidson:
Using de-optimization to re-optimize code.
114-123
Electronic Edition (ACM DL) BibTeX
- Yi-Ping You, Chung-Wen Huang, Jenq Kuen Lee:
A sink-n-hoist framework for leakage power reduction.
124-133
Electronic Edition (ACM DL) BibTeX
- Feihui Li, Guilin Chen, Mahmut T. Kandemir, Mustafa Karaköy:
Exploiting last idle periods of links for network power management.
134-137
Electronic Edition (ACM DL) BibTeX
- Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio:
A UML 2.0 profile for SystemC: toward high-level SoC design.
138-141
Electronic Edition (ACM DL) BibTeX
Design methodologies
Specification and semantics
Compilation and power
- Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar:
Code aware resource management.
191-202
Electronic Edition (ACM DL) BibTeX
- Jun Yan, Wei Zhang:
Compiler-guided register reliability improvement against soft errors.
203-209
Electronic Edition (ACM DL) BibTeX
- Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee:
Distributed-code generation from hybrid systems models for time-delayed multirate systems.
210-213
Electronic Edition (ACM DL) BibTeX
- Klaus Rothbart, Ulrich Neffe, Christian Steger, Reinhold Weiss, Edgar Rieger, Andreas Mühlberger:
Power consumption profile analysis for security attack simulation in smart cards at high abstraction level.
214-217
Electronic Edition (ACM DL) BibTeX
Clocks and energy
- Selim Gurun, Chandra Krintz:
AutoDVS: an automatic, general-purpose, dynamic clock scheduling system for hand-held devices.
218-226
Electronic Edition (ACM DL) BibTeX
- Guilin Chen, Mahmut T. Kandemir:
Optimizing inter-processor data locality on embedded chip multiprocessors.
227-236
Electronic Edition (ACM DL) BibTeX
- Mark L. McKelvin Jr., Gabriel Eirea, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli:
A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems.
237-246
Electronic Edition (ACM DL) BibTeX
- Jian-Jia Chen, Tei-Wei Kuo, Chi-Sheng Shih:
(1+epsion) approximation clock rate assignment for periodic real-time tasks on a voltage-scaling processor.
247-250
Electronic Edition (ACM DL) BibTeX
- Ruibin Xu, Daniel Mossé, Rami G. Melhem:
Minimizing expected energy in real-time embedded systems.
251-254
Electronic Edition (ACM DL) BibTeX
Formal methods
- Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Tag machines.
255-263
Electronic Edition (ACM DL) BibTeX
- Stephen A. Edwards, Olivier Tardieu:
SHIM: a deterministic model for heterogeneous embedded systems.
264-272
Electronic Edition (ACM DL) BibTeX
- Jie Liu, Elaine Cheong, Feng Zhao:
Semantics-based optimization across uncoordinated tasks in networked embedded systems.
273-281
Electronic Edition (ACM DL) BibTeX
- Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud:
From multi-clocked synchronous processes to latency-insensitive modules.
282-285
Electronic Edition (ACM DL) BibTeX
- Lee Pike, Steven D. Johnson:
The formal verification of a reintegration protocol.
286-289
Electronic Edition (ACM DL) BibTeX
Software testing
Specification and dynamic properties
- Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz:
Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip.
317-324
Electronic Edition (ACM DL) BibTeX
- Marco Zennaro, Raja Sengupta:
Distributing synchronous programs using bounded queues.
325-334
Electronic Edition (ACM DL) BibTeX
- Simon Oberthür, Carsten Böke, Björn Griese:
Dynamic online reconfiguration for customizable and self-optimizing operating systems.
335-338
Electronic Edition (ACM DL) BibTeX
- Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet:
Synchronization of periodic clocks.
339-342
Electronic Edition (ACM DL) BibTeX
Real time properties
Panel
Copyright © Sat May 16 23:09:20 2009
by Michael Ley (ley@uni-trier.de)
