Abstract is missing.
- Debugging embedded multimedia application traces through periodic pattern miningPatricia López Cueva, Aurélie Bertaux, Alexandre Termier, Jean-François Méhaut, Miguel Santana. 13-22 [doi]
- Smart layers and dumb result: IO characterization of an android-based smartphoneKisung Lee, Youjip Won. 23-32 [doi]
- XEMU: an efficient QEMU based binary mutation testing framework for embedded softwareMarkus Becker, Daniel Baldin, Christoph Kuznik, Mabel M. Joy, Tao Xie, Wolfgang Müller 0003. 33-42 [doi]
- Finite automata with time-delay blocksKrishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu. 43-52 [doi]
- Synthesis from incompatible specificationsPavol Cerný, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna, Nishant Totla. 53-62 [doi]
- Timed model checking with abstractions: towards worst-case response time analysis in resource-sharing manycore systemsGeorgia Giannopoulou, Kai Lampka, Nikolay Stoimenov, Lothar Thiele. 63-72 [doi]
- Server-based scheduling of parallel real-time tasksLuís Nogueira, Luís Miguel Pinho. 73-82 [doi]
- Operating system support for redundant multithreadingBjörn Döbel, Hermann Härtig, Michael Engel. 83-92 [doi]
- Flattening hierarchical schedulingAdam Lackorzynski, Alexander Warg, Marcus Völp, Hermann Härtig. 93-102 [doi]
- Trigger memoization in self-triggered controlIndranil Saha, Rupak Majumdar. 103-112 [doi]
- Feedback thermal control of real-time systems on multicore processorsYong Fu, Nicholas Kottenstette, Chenyang Lu, Xenofon D. Koutsoukos. 113-122 [doi]
- Synthesis of minimal-error control softwareRupak Majumdar, Indranil Saha, Majid Zamani. 123-132 [doi]
- Shared hardware data structures for hard real-time systemsGedare Bloom, Gabriel Parmer, Bhagirath Narahari, Rahul Simha. 133-142 [doi]
- A low-overhead dedicated execution support for stream applications on shared-memory cmpPaul Dubrulle, Stéphane Louise, Renaud Sirdey, Vincent David. 143-152 [doi]
- Partitioned scheduling for real-time tasks on multiprocessor embedded systems with programmable shared sramsChe-Wei Chang, Jian-Jia Chen, Waqaas Munawar, Tei-Wei Kuo, Heiko Falk. 153-162 [doi]
- Code-level timing analysis of embedded software: emsoft'12 invited talk session outlineHeiko Falk, Kevin Hammond, Kim G. Larsen, Björn Lisper, Stefan M. Petters. 163-164 [doi]
- Estimation of probabilistic bounds on phase CPI and relevance in WCET analysisArchana Ravindar, Y. N. Srikant. 165-174 [doi]
- Assessing the suitability of the NGMP multi-core processor in the space domainMikel Fernández, Roberto Gioiosa, Eduardo Quiñones, Luca Fossati, Marco Zulianello, Francisco J. Cazorla. 175-184 [doi]
- Compositional temporal analysis model for incremental hard real-time system designJoost P. H. M. Hausmans, Stefan J. Geuns, Maarten Wiggers, Marco Bekooij. 185-194 [doi]
- An overview of the career of Paul CaspiAlbert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi. 195-196 [doi]
- Programming parallelism with futures in lustreAlbert Cohen, Léonard Gérard, Marc Pouzet. 197-206 [doi]
- Towards network-on-chip agreement protocolsBorislav Nikolic, Stefan M. Petters. 207-216 [doi]
- Input-output robustness for discrete systemsPaulo Tabuada, Ayca Balkan, Sina Y. Caliskan, Yasser Shoukry, Rupak Majumdar. 217-226 [doi]
- On model based synthesis of embedded control softwareVadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci. 227-236 [doi]
- A new data flow analysis model for TDMAlok Lele, Orlando Moreira, Pieter J. L. Cuijpers. 237-246 [doi]
- Mixed critical system design and analysisRolf Ernst, Alan Burns, Lothar Thiele, Jimmy Le Rhun. 247-248 [doi]
- Runtime verification of real-time embedded systemsBorzoo Bonakdarpour, Sebastian Fischmeister. 249-250 [doi]