IESS 2007:
Irvine,
CA,
USA
Achim Rettberg, Mauro Cesar Zanella, Rainer Dömer, Andreas Gerstlauer, Franz-Josef Rammig (Eds.):
Embedded System Design: Topics, Techniques and Trends, IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30 - June 1, 2007, Irvine, CA, USA.
IFIP 231 Springer 2007, ISBN 978-0-387-72257-3 BibTeX
Validation and Verification
- Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten:
Requirements and Concepts for Transaction Level Assertion Refinement.
1-14
Electronic Edition (link) BibTeX
- Bernhard Rieder, Ingomar Wenzel, Klaus Steinhammer, Peter P. Puschner:
Using a Runtime Measurement Device with Measurement-Based WCET Analysis.
15-26
Electronic Edition (link) BibTeX
- Pierre Niang, Thierry Grandpierre, Mohamed Akil:
Implementing Real-Time Algorithms by using the AAA Prototyping Methodology.
27-36
Electronic Edition (link) BibTeX
- Karsten Albers, Frank Bodmann, Frank Slomka:
Run-Time efficient Feasibility Analysis of Uni-Processor Systems with Static Priorities.
37-46
Electronic Edition (link) BibTeX
- Henning Zabel, Achim Rettberg, Alexander Krupp:
Approach for a Formal Verification of a Bit-serial Pipelined Architecture.
47-56
Electronic Edition (link) BibTeX
Automotive Applications
- Razvan Racu, Arne Hamann, Rolf Ernst:
Automotive System Optimization using Sensitivity Analysis.
57-70
Electronic Edition (link) BibTeX
- Richard Anthony, Achim Rettberg, De-Jiu Chen, Isabell Jahnich, Gerrit de Boer, Cecilia Ekelin:
Towards a Dynamically Reconfigurable Automotive Control System Architecture.
71-84
Electronic Edition (link) BibTeX
- Christian Wawersich, Michael Stilkerich, Wolfgang Schröder-Preikschat:
An OSEK/VDX-based Multi-JVM for Automotive Appliances.
85-96
Electronic Edition (link) BibTeX
- Isabell Jahnich, Achim Rettberg:
Towards Dynamic Load Balancing for Distributed Embedded Automotive Systems.
97-106
Electronic Edition (link) BibTeX
Hardware Synthesis
- Jelena Trajkovic, Daniel Gajski:
Automatic Data Path Generation from C code for Custom Processors.
107-120
Electronic Edition (link) BibTeX
- Shanghua Gao, Kenshu Seto, Satoshi Komatsu, Masahiro Fujita:
Interconnect-aware Pipeline Synthesis for Array based Reconfigurable Architectures.
121-134
Electronic Edition (link) BibTeX
- Dongwan Shin, Andreas Gerstlauer, Rainer Dömer, Daniel D. Gajski:
An Interactive Design Environment for C-based High-Level Synthesis.
135-144
Electronic Edition (link) BibTeX
- Scott Sirowy, Frank Vahid:
Integrated Coupling and Clock Frequency Assignment of Accelerators During Hardware/Software Partitioning.
145-154
Electronic Edition (link) BibTeX
- Lars Middendorf, Felix Mühlbauer, Georg Umlauf, Christophe Bobda:
Embedded Vertex Shader in FPGA.
155-164
Electronic Edition (link) BibTeX
Specification and Partitioning
- Alexander Viehl, Markus Schwarz, Oliver Bringmann, Wolfgang Rosenstiel:
A Hybrid Approach for System-Level Design Evaluation.
165-178
Electronic Edition (link) BibTeX
- Fabrizio Ferrandi, Luca Fossati, Marco Lattuada, Gianluca Palermo, Donatella Sciuto, Antonino Tumeo:
Automatic Parallelization of Sequential Specifications for Symmetric MPSoCs.
179-192
Electronic Edition (link) BibTeX
- Pramod Chandraiah, Rainer Dömer:
An Interactive Model Re-Coder for Efficient SoC Specification.
193-206
Electronic Edition (link) BibTeX
- M. B. Abdelhalim, A. E. Salama, S. E.-D. Habib:
Constrained and Unconstrained Hardware-Software Partitioning using Particle Swarm Optimization Technique.
207-220
Electronic Edition (link) BibTeX
Design Methodologies
Embedded Software
- Gang Zeng, Hiroyuki Tomiyama, Hiroaki Takada:
Power Optimization for Embedded System Idle Time in the Presence of Periodic Interrupt Services.
241-254
Electronic Edition (link) BibTeX
- Noureddine Chabini, Wayne Wolf:
Reducing the Code Size of Retimed Software Loops under Timing and Resource Constraints.
255-268
Electronic Edition (link) BibTeX
- Mark Panahi, Trevor Harmon, Juan A. Colmenares, Shruti Gorappa, Raymond Klefstad:
Identification and Removal of Program Slice Criteria for Code Size Reduction in Embedded Systems.
269-278
Electronic Edition (link) BibTeX
- Timo Kerstan, Simon Oberthür:
Configurable Hybridkernel for Embedded Real-Time Systems.
279-288
Electronic Edition (link) BibTeX
- Gunar Schirner, Gautam Sachdeva, Andreas Gerstlauer, Rainer Dömer:
Embedded Software Development in a System-Level Design Flow.
289-298
Electronic Edition (link) BibTeX
Network on Chip
Medical Applications
- Leonel Sousa, Moisés Simões Piedade, J. Germano, Teresa Mendes de Almeida, Paulo Alexandre Crisóstomo Lopes, Filipe Cardoso, Paulo Freitas:
Generic Architecture Designed for Biomedical Embedded Systems.
353-362
Electronic Edition (link) BibTeX
- Dirk Jansen, Nidal Fawaz, Daniel Bau, Marc Durrenberger:
A Small High Performance Microprocessor Core Sirius for Embedded Low Power Designs, Demonstrated in a Medical Mass Application of an Electronic Pill(EPill®).
363-372
Electronic Edition (link) BibTeX
Distributed and Network Systems
- Dominik Murr, Felix Mühlbauer, Falko Dressler, Christophe Bobda:
Utilizing Reconfigurable Hardware to Optimize Workflows in Networked Nodes.
373-386
Electronic Edition (link) BibTeX
- Meik Felser, Rüdiger Kapitza, Jürgen Kleinöder, Wolfgang Schröder-Preikschat:
Dynamic Software Update of Resource-Constrained Distributed Embedded Systems.
387-400
Electronic Edition (link) BibTeX
- Lucas Francisco Wanner, Augusto Born de Oliveira, Antônio Augusto Fröhlich:
Configurable Medium Access Control for Wireless Sensor Networks.
401-410
Electronic Edition (link) BibTeX
- Augusto Born de Oliveira, Lucas Francisco Wanner, Pierre Kuonen, Antônio Augusto Fröhlich:
Integrating Wireless Sensor Networks and the Grid through POP-C++.
411-420
Electronic Edition (link) BibTeX
Panel
Tutorials
Copyright © Sat May 16 23:22:30 2009
by Michael Ley (ley@uni-trier.de)
