Abstract is missing.
- User-centered semiautomatic assistive devicesJane W.-S. Liu. 1 [doi]
- Grand challenges in embedded softwareChristoph M. Kirsch, Reinhard Wilhelm. 2-6 [doi]
- Proving the absence of run-time errors in safety-critical avionics codePatrick Cousot. 7-9 [doi]
- Performance analysis of distributed embedded systemsLothar Thiele. 10 [doi]
- The algebra of connectors: structuring interaction in BIPSimon Bliudze, Joseph Sifakis. 11-20 [doi]
- A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation and controlAlessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli. 21-29 [doi]
- Verification of device drivers and intelligent controllers: a case studyDavid Monniaux. 30-36 [doi]
- A unified practical approach to stochastic DVS schedulingRuibin Xu, Rami G. Melhem, Daniel Mossé. 37-46 [doi]
- Communication-aware stochastic allocation and scheduling framework for conditional task graphs in multi-processor systems-on-chipEmiliano Dolif, Michele Lombardi, Martino Ruggiero, Michela Milano, Luca Benini. 47-56 [doi]
- Scheduling multiple independent hard-real-time jobs on a heterogeneous multiprocessorOrlando Moreira, Frederico Valente, Marco Bekooij. 57-66 [doi]
- A dynamic scheduling approach to designing flexible safety-critical systemsLuís Almeida, Sebastian Fischmeister, Madhukar Anand, Insup Lee. 67-74 [doi]
- The revenge of the overlay: automatic compaction of OS kernel code via on-demand code loadingHaifeng He, Saumya K. Debray, Gregory R. Andrews. 75-83 [doi]
- Accurate on-line prediction of processor and memoryenergy usage under voltage scalingDavid C. Snowdon, Stefan M. Petters, Gernot Heiser. 84-93 [doi]
- Buffer optimization and dispatching scheme for embedded systems with behavioral transparencyJiwon Hahn, Pai H. Chou. 94-103 [doi]
- Methods for multi-dimensional robustness optimization in complex embedded systemsArne Hamann, Razvan Racu, Rolf Ernst. 104-113 [doi]
- Leveraging synchronous language principles for heterogeneous modeling and design of embedded systemsEdward A. Lee, Haiyang Zheng. 114-123 [doi]
- Necessary and sufficient conditions for deterministic desynchronizationDumitru Potop-Butucaru, Robert de Simone, Yves Sorel. 124-133 [doi]
- Virtual execution of AADL models via a translation into synchronous programsErwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens. 134-143 [doi]
- mu-tree: an ordered index structure for NAND flash memoryDongwon Kang, Dawoon Jung, Jeong-Uk Kang, Jin-Soo Kim. 144-153 [doi]
- Uniformity improving page allocation for flash memory file systemsSeungjae Baek, Seongjun Ahn, Jongmoo Choi, Donghee Lee, Sam H. Noh. 154-163 [doi]
- Exploiting non-volatile RAM to enhance flash file system performanceIn Hwan Doh, Jongmoo Choi, Donghee Lee, Sam H. Noh. 164-173 [doi]
- Block recycling schemes and their cost-based optimization in nand flash memory based storage systemJongmin Lee, Sunghoon Kim, Hunki Kwon, Choulseung Hyun, Seongjun Ahn, Jongmoo Choi, Donghee Lee, Sam H. Noh. 174-182 [doi]
- Performance estimation of distributed real-time embedded systems by discrete event simulationsGabor Madl, Nikil Dutt, Sherif Abdelwahed. 183-192 [doi]
- Influence of different system abstractions on the performance analysis of distributed real-time systemsSimon Perathoner, Ernesto Wandeler, Lothar Thiele, Arne Hamann, Simon Schliecker, Rafik Henia, Razvan Racu, Rolf Ernst, Michael González Harbour. 193-202 [doi]
- WCET estimation for executables in the presence of data cachesRathijit Sen, Y. N. Srikant. 203-212 [doi]
- Performance characterization of prelinking and preloadingfor embedded systemsChanghee Jung, Duk-Kyun Woo, Kanghee Kim, Sung-Soo Lim. 213-220 [doi]
- E-FRP with prioritiesRoumen Kaiabachev, Walid Taha, Angela Zhu. 221-230 [doi]
- Loosely time-triggered architectures based on communication-by-samplingAlbert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis. 231-239 [doi]
- Existential abstractions for distributed reactive systems via syntactic transformationsVijay D Silva, Sampada Sonalkar, S. Ramesh. 240-248 [doi]
- Design and implementation of a comprehensive real-time java virtual machineJoshua S. Auerbach, David F. Bacon, Bob Blainey, Perry Cheng, Michael Dawson, Mike Fulton, David Grove, Darren Hart, Mark G. Stoodley. 249-258 [doi]
- Optimal task placement to improve cache performanceGernot Gebhard, Sebastian Altmeyer. 259-268 [doi]
- Slice-balancing H.264 video encoding for improved scalability of multicore decodingMichael Roitzsch. 269-278 [doi]
- SIRAP: a synchronization protocol for hierarchical resource sharingin real-time open systemsMoris Behnam, Insik Shin, Thomas Nolte, Mikael Nolin. 279-288 [doi]