Abstract is missing.
- Event order abstraction for parametric real-time system verificationShinya Umeno. 1-10 [doi]
- State space abstraction for parameterized self-stabilizing embedded systemsNikolaos D. Liveris, Hai Zhou, Robert P. Dick, Prithviraj Banerjee. 11-20 [doi]
- µ-FTL: : a memory-efficient flash translation layer supporting multiple mapping granularitiesYong-Goo Lee, Dawoon Jung, Dongwon Kang, Jin-Soo Kim. 21-30 [doi]
- A PRAM and NAND flash hybrid architecture for high-performance embedded storage subsystemsJin Kyu Kim, Hyung Gyu Lee, ShinHo Choi, Kyoung Il Bahng. 31-40 [doi]
- Workload-based configuration of MEMS-based storage devices for mobile systemsMohammed G. Khatib, Ethan L. Miller, Pieter H. Hartel. 41-50 [doi]
- LTFTL: lightweight time-shift flash translation layer for flash memory based embedded storageKyoungmoon Sun, Seungjae Baek, Jongmoo Choi, Donghee Lee, Sam H. Noh, Sang Lyul Min. 51-58 [doi]
- Automatically transforming and relating Uppaal models of embedded systemsTimothy Bourke, Arcot Sowmya. 59-68 [doi]
- Model-based validation of QoS properties of biomedical sensor networksSimon Tschirner, Liang Xuedong, Wang Yi. 69-78 [doi]
- Interface theories with component reuseLaurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov. 79-88 [doi]
- Symbolic analysis for improving simulation coverage of Simulink/Stateflow modelsRajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shashidhar. 89-98 [doi]
- On the interplay of dynamic voltage scaling and dynamic power management in real-time embedded applicationsVinay Devadas, Hakan Aydin. 99-108 [doi]
- DBS4video: dynamic luminance backlight scaling based on multi-histogram frame characterization for video streaming applicationMartino Ruggiero, Andrea Bartolini, Luca Benini. 109-118 [doi]
- Energy efficient streaming applications with guaranteed throughput on MPSoCsJun Zhu, Ingo Sander, Axel Jantsch. 119-128 [doi]
- Wireless channel access reservation for embedded real-time systemsDinesh Rajan, Christian Poellabauer, Xiaobo Sharon Hu, Liqiang Zhang, Kathleen Otten. 129-138 [doi]
- Portioned EDF-based scheduling on multiprocessorsShinpei Kato, Nobuyuki Yamasaki. 139-148 [doi]
- Scheduling task dependence graphs with variable task execution times onto heterogeneous multiprocessorsNadathur Satish, Kaushik Ravindran, Kurt Keutzer. 149-158 [doi]
- RTComposer: a framework for real-time components with scheduling interfacesRajeev Alur, Gera Weiss. 159-168 [doi]
- Disassembling real-time fault-tolerant programsBorzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Arora. 169-178 [doi]
- Cyclic dependencies in modular performance analysisBengt Jonsson, Simon Perathoner, Lothar Thiele, Wang Yi. 179-188 [doi]
- A generalized static data flow clustering algorithm for mpsoc scheduling of multimedia applicationsJoachim Falk, Joachim Keinert, Christian Haubelt, Jürgen Teich, Shuvra S. Bhattacharyya. 189-198 [doi]
- Compositional analysis of deadlock-freedom for tree-like component architecturesMila E. Majster-Cederbaum, Moritz Martens. 199-206 [doi]
- Active property checkingPatrice Godefroid, Michael Y. Levin, David A. Molnar. 207-216 [doi]
- Randomized directed testing (REDIRECT) for Simulink/Stateflow modelsManoranjan Satpathy, Anand Yeolekar, S. Ramesh. 217-226 [doi]
- Quantitative testingHenrik C. Bohnenkamp, Mariëlle Stoelinga. 227-236 [doi]
- Design and implementation of a framework for creating portable and efficient packet-processing applicationsOlivier Morandi, Fulvio Risso, Silvio Valenti, Paolo Veglia. 237-244 [doi]
- Tax-and-spend: democratic scheduling for real-time garbage collectionJoshua S. Auerbach, David F. Bacon, Perry Cheng, David Grove, Ben Biron, Charlie Gracie, Bill McCloskey, Aleksandar Micic, Ryan Sciampacone. 245-254 [doi]
- Volatiles are miscompiled, and what to do about itEric Eide, John Regehr. 255-264 [doi]
- Scratchpad memory management in a multitasking environmentBernhard Egger, Jaejin Lee, Heonshik Shin. 265-274 [doi]