Abstract is missing.
- A marketplace for cloud resourcesThomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey. 1-8 [doi]
- Automatic verification of control system implementationsAdolfo Anta Martinez, Rupak Majumdar, Indranil Saha, Paulo Tabuada. 9-18 [doi]
- Switching logic synthesis for reachabilityAnkur Taly, Ashish Tiwari. 19-28 [doi]
- Online stability validation using sector analysisJoseph Porter, Graham Hemingway, Nicholas Kottenstette, Gabor Karsai, Janos Sztipanovits. 29-38 [doi]
- Components, platforms and possibilities: towards generic automation for MDAEthan K. Jackson, Eunsuk Kang, Markus Dahlweid, Dirk Seifert, Thomas Santen. 39-48 [doi]
- Parallelizing the H.264 decoder on the cell BE architectureYongjin Cho, Seungkyun Kim, Jaejin Lee, Heonshik Shin. 49-58 [doi]
- Optimal WCET-aware code selection for scratchpad memoryHui Wu, Jingling Xue, Sridevan Parameswaran. 59-68 [doi]
- A model based approach for debugging embedded systems in real-timePadma Iyenghar, Clemens Westerkamp, Juergen Wuebbelmann, Elke Pulvermueller. 69-78 [doi]
- PinaVM: a systemC front-end based on an executable intermediate representationKevin Marquet, Matthieu Moy. 79-88 [doi]
- Online robust optimization framework for QoS guarantees in distributed soft real-time systemsJinKyu Lee, Insik Shin, Arvind Easwaran. 89-98 [doi]
- Load-based schedulability analysis of certifiable mixed-criticality systemsHaohan Li, Sanjoy K. Baruah. 99-108 [doi]
- Reducing stack with intra-task threshold priorities in real-time systemsGang Yao, Giorgio C. Buttazzo. 109-118 [doi]
- Modeling buffers with data refresh semantics in automotive architecturesLinh Thi Xuan Phan, Reinhard Schneider, Samarjit Chakraborty, Insup Lee. 119-128 [doi]
- Schedulability and end-to-end latency in distributed ECU networks: formal modeling and precise estimationA. C. Rajeev, Swarup Mohalik, Manoj G. Dixit, Devesh B. Chokshi, S. Ramesh. 129-138 [doi]
- TeleScribe: a scalable, resumable wireless reprogramming approachMin-Hua Chen, Pai H. Chou. 139-148 [doi]
- Nucleos: a runtime system for ultra-compact wireless sensor nodesJiwon Hahn, Pai H. Chou. 149-158 [doi]
- Using NAND flash memory for executing large volume real-time programs in automotive embedded systemsKwangyoon Cho, Kyoung-Soo We, Chang-Gun Lee, Kanghee Kim. 159-168 [doi]
- Janus-FTL: finding the optimal point on the spectrum between page and block mapping schemesHunki Kwon, Eunsam Kim, Jongmoo Choi, Donghee Lee, Sam H. Noh. 169-178 [doi]
- A reliable MTD design for MLC flash-memory storage systemsYuan-Hao Chang, Tei-Wei Kuo. 179-188 [doi]
- A unifying view of loosely time-triggered architecturesAlbert Benveniste, Anne Bouillard, Paul Caspi. 189-198 [doi]
- Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architecturesDumitru Potop-Butucaru, Akramul Azim, Sebastian Fischmeister. 199-208 [doi]
- From high-level component-based models to distributed implementationsBorzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis. 209-218 [doi]
- Ptera: an event-oriented model of computation for heterogeneous systemsThomas Huining Feng, Edward A. Lee, Lee W. Shruben. 219-228 [doi]
- Model-based implementation of real-time applicationsTesnim Abdellatif, Jacques Combaz, Joseph Sifakis. 229-238 [doi]
- Model-based specification of timing requirementsChristian Buckl, Irina Gaponova, Michael Geisinger, Alois Knoll, Edward A. Lee. 239-248 [doi]
- Initiating a design pattern catalog for embedded network systemsSally K. Wahba, Jason O. Hallstrom, Neelam Soundarajan. 249-258 [doi]
- Power-aware temporal isolation with variable-bandwidth serversSilviu S. Craciunas, Christoph M. Kirsch, Ana Sokolova. 259-268 [doi]
- Resource adaptations with servers for hard real-time systemsNikolay Stoimenov, Lothar Thiele, Luca Santinelli, Giorgio C. Buttazzo. 269-278 [doi]
- Energy-aware packet and task co-scheduling for embedded systemsLuca Santinelli, Mauro Marinoni, Francesco Prosperi, Francesco Esposito, Gianluca Franchino, Giorgio C. Buttazzo. 279-288 [doi]
- Dynamic tuning of feature set in highly variant interactive applicationsTushar Kumar, Romain Cledat, Santosh Pande. 289-298 [doi]
- Model-based analysis, synthesis and testing of automotive hardware/software architecturesSamarjit Chakraborty, S. Ramesh, Jürgen Teich. 299-300 [doi]
- Quantitative system validation in model driven designHolger Hermanns, Kim Guldstrand Larsen, Jean-François Raskin, Jan Tretmans. 301-302 [doi]