Abstract is missing.
- Embedded system development for automotive applications: trends and challengesWerner Damm. 1 [doi]
- Time-triggered implementations of dynamic controllersTruong Nghiem, George J. Pappas, Rajeev Alur, Antoine Girard. 2-11 [doi]
- Efficient distributed deadlock avoidance with liveness guaranteesCésar Sánchez, Henny B. Sipma, Zohar Manna, Christopher D. Gill. 12-20 [doi]
- A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive schedulingChristos Sofronis, Stavros Tripakis, Paul Caspi. 21-33 [doi]
- Real-time interfaces for composing real-time systemsLothar Thiele, Ernesto Wandeler, Nikolay Stoimenov. 34-43 [doi]
- A causality interface for deadlock analysis in dataflowYe Zhou, Edward A. Lee. 44-52 [doi]
- Towards a formal foundation for domain specific modeling languagesEthan K. Jackson, Janos Sztipanovits. 53-62 [doi]
- Defining a strategy to introduce a software product line using existing embedded systemsKentaro Yoshimura, Dharmalingam Ganesan, Dirk Muthig. 63-72 [doi]
- Mixing signals and modes in synchronous data-flow systemsJean-Louis Colaço, Grégoire Hamon, Marc Pouzet. 73-82 [doi]
- Polychronous mode automataJean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié. 83-92 [doi]
- A timing model for synchronous language implementations in simulinkTimothy Bourke, Arcot Sowmya. 93-101 [doi]
- S:::2:::DB: a novel simulation-based debugger for sensor network applicationsYe Wen, Richard Wolski, Selim Gurun. 102-111 [doi]
- Multi-level software reconfiguration for sensor networksRahul Balani, Chih-Chieh Han, Ram Kumar Rengaswamy, Ilias Tsigkogiannis, Mani B. Srivastava. 112-121 [doi]
- An analysis framework for network-code programsMadhukar Anand, Sebastian Fischmeister, Insup Lee. 122-131 [doi]
- A hierarchical coordination language for interacting real-time tasksArkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli, Christoph M. Kirsch, Thomas A. Henzinger, Daniel T. Iercan. 132-141 [doi]
- Scheduling-independent threads and exceptions in SHIMOlivier Tardieu, Stephen A. Edwards. 142-151 [doi]
- Communication by sampling in time-sensitive distributed systemsAlbert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis. 152-160 [doi]
- A superblock-based flash translation layer for NAND flash memoryJeong-Uk Kang, Heeseung Jo, Jinsoo Kim, Joonwon Lee. 161-170 [doi]
- Energy-efficient file placement techniques for heterogeneous mobile storage systemsYoung-Jin Kim, Kwon-Taek Kwon, Jihong Kim. 171-177 [doi]
- Reliability mechanisms for file systems using non-volatile memory as a metadata storeKevin M. Greenan, Ethan L. Miller. 178-187 [doi]
- Efficient exception handling in Java bytecode-to-c ahead-of-time compiler for smbedded systemsDong-Heon Jung, Jong Kuk Park, Sung-Hwan Bae, Jaemok Lee, Soo-Mook Moon. 188-194 [doi]
- Schedulable persistence system for teal-time applications in virtual machineOkehee Goh, Yann-Hang Lee, Ziad Kaakani. 195-204 [doi]
- Implementing fault-tolerance in real-time systems by automatic program transformationsTolga Ayav, Pascal Fradet, Alain Girault. 205-214 [doi]
- Energy-efficient dynamic memory allocators at the middleware level of embedded systemsStylianos Mamagkakis, David Atienza, Christophe Poucet, Francky Catthoor, Dimitrios Soudris. 215-222 [doi]
- Energy adaptation for multimedia information kiosksRichard Urunuela, Gilles Muller, Julia L. Lawall. 223-232 [doi]
- Compiler-assisted leakage energy optimization for clustered VLIW architecturesRahul Nagpal, Y. N. Srikant. 233-241 [doi]
- Analysis of the zeroconf protocol using UPPAALBiniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang. 242-251 [doi]
- Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systemsVenkita Subramonian, Christopher D. Gill, César Sánchez, Henny B. Sipma. 252-261 [doi]
- Software partitioning for effective automated unit testingArindam Chakrabarti, Patrice Godefroid. 262-271 [doi]
- Incremental schedulability analysis of hierarchical real-time componentsArvind Easwaran, Insik Shin, Oleg Sokolsky, Insup Lee. 272-281 [doi]
- Scheduling for multi-threaded real-time programs via path planningThao Dang, Philippe Gerner. 282-291 [doi]
- Modeling a system controller for timing analysisStephan Thesing. 292-300 [doi]
- New approach to architectural synthesis: incorporating QoS constraintHarsh Dhand, Basant Kumar Dwivedi, M. Balakrishnan. 301-310 [doi]
- Formal performance evaluation of AMBA-based system-on-chip designsGabor Madl, Sudeep Pasricha, Luis Angel D. Bathen, Nikil Dutt, Qiang Zhu. 311-320 [doi]
- Scratchpad memory management for portable systems with a memory management unitBernhard Egger, Jaejin Lee, Heonshik Shin. 321-330 [doi]