8. EMSOFT 2008: Atlanta, GA, USA

Luca de Alfaro, Jens Palsberg (Eds.): Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008. ACM 2008, ISBN 978-1-60558-468-3 BibTeX

Abstraction and verification

Shinya Umeno:
Event order abstraction for parametric real-time system verification. 1-10
Electronic Edition (ACM DL) BibTeX
Nikolaos D. Liveris, Hai Zhou, Robert P. Dick, Prithviraj Banerjee:
State space abstraction for parameterized self-stabilizing embedded systems. 11-20
Electronic Edition (ACM DL) BibTeX

Flash memory

Yong-Goo Lee, Dawoon Jung, Dongwon Kang, Jin-Soo Kim:
µ-FTL: : a memory-efficient flash translation layer supporting multiple mapping granularities. 21-30
Electronic Edition (ACM DL) BibTeX
Jin Kyu Kim, Hyung Gyu Lee, Shinho Choi, Kyoung Il Bahng:
A PRAM and NAND flash hybrid architecture for high-performance embedded storage subsystems. 31-40
Electronic Edition (ACM DL) BibTeX
Mohammed G. Khatib, Ethan L. Miller, Pieter H. Hartel:
Workload-based configuration of MEMS-based storage devices for mobile systems. 41-50
Electronic Edition (ACM DL) BibTeX
Kyoungmoon Sun, Seungjae Baek, Jongmoo Choi, Donghee Lee, Sam H. Noh, Sang Lyul Min:
LTFTL: lightweight time-shift flash translation layer for flash memory based embedded storage. 51-58
Electronic Edition (ACM DL) BibTeX

Modeling, interfaces, and simulation

Timothy Bourke, Arcot Sowmya:
Automatically transforming and relating Uppaal models of embedded systems. 59-68
Electronic Edition (ACM DL) BibTeX
Simon Tschirner, Liang Xuedong, Wang Yi:
Model-based validation of QoS properties of biomedical sensor networks. 69-78
Electronic Edition (ACM DL) BibTeX
Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov:
Interface theories with component reuse. 79-88
Electronic Edition (ACM DL) BibTeX
Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shashidhar:
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models. 89-98
Electronic Edition (ACM DL) BibTeX

Power

Vinay Devadas, Hakan Aydin:
On the interplay of dynamic voltage scaling and dynamic power management in real-time embedded applications. 99-108
Electronic Edition (ACM DL) BibTeX
Martino Ruggiero, Andrea Bartolini, Luca Benini:
DBS4video: dynamic luminance backlight scaling based on multi-histogram frame characterization for video streaming application. 109-118
Electronic Edition (ACM DL) BibTeX
Jun Zhu, Ingo Sander, Axel Jantsch:
Energy efficient streaming applications with guaranteed throughput on MPSoCs. 119-128
Electronic Edition (ACM DL) BibTeX

Scheduling

Dinesh Rajan, Christian Poellabauer, Xiaobo Sharon Hu, Liqiang Zhang, Kathleen Otten:
Wireless channel access reservation for embedded real-time systems. 129-138
Electronic Edition (ACM DL) BibTeX
Shinpei Kato, Nobuyuki Yamasaki:
Portioned EDF-based scheduling on multiprocessors. 139-148
Electronic Edition (ACM DL) BibTeX
Nadathur Satish, Kaushik Ravindran, Kurt Keutzer:
Scheduling task dependence graphs with variable task execution times onto heterogeneous multiprocessors. 149-158
Electronic Edition (ACM DL) BibTeX
Rajeev Alur, Gera Weiss:
RTComposer: a framework for real-time components with scheduling interfaces. 159-168
Electronic Edition (ACM DL) BibTeX

Static techniques

Borzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Arora:
Disassembling real-time fault-tolerant programs. 169-178
Electronic Edition (ACM DL) BibTeX
Bengt Jonsson, Simon Perathoner, Lothar Thiele, Wang Yi:
Cyclic dependencies in modular performance analysis. 179-188
Electronic Edition (ACM DL) BibTeX
Joachim Falk, Joachim Keinert, Christian Haubelt, Jürgen Teich, Shuvra S. Bhattacharyya:
A generalized static data flow clustering algorithm for mpsoc scheduling of multimedia applications. 189-198
Electronic Edition (ACM DL) BibTeX
Mila E. Majster-Cederbaum, Moritz Martens:
Compositional analysis of deadlock-freedom for tree-like component architectures. 199-206
Electronic Edition (ACM DL) BibTeX

Testing

Patrice Godefroid, Michael Y. Levin, David A. Molnar:
Active property checking. 207-216
Electronic Edition (ACM DL) BibTeX
Manoranjan Satpathy, Anand Yeolekar, S. Ramesh:
Randomized directed testing (REDIRECT) for Simulink/Stateflow models. 217-226
Electronic Edition (ACM DL) BibTeX
Henrik C. Bohnenkamp, Mariëlle Stoelinga:
Quantitative testing. 227-236
Electronic Edition (ACM DL) BibTeX

Virtual machines, compilers, memory management

Olivier Morandi, Fulvio Risso, Silvio Valenti, Paolo Veglia:
Design and implementation of a framework for creating portable and efficient packet-processing applications. 237-244
Electronic Edition (ACM DL) BibTeX
Joshua S. Auerbach, David F. Bacon, Perry Cheng, David Grove, Ben Biron, Charlie Gracie, Bill McCloskey, Aleksandar Micic, Ryan Sciampacone:
Tax-and-spend: democratic scheduling for real-time garbage collection. 245-254
Electronic Edition (ACM DL) BibTeX
Eric Eide, John Regehr:
Volatiles are miscompiled, and what to do about it. 255-264
Electronic Edition (ACM DL) BibTeX
Bernhard Egger, Jaejin Lee, Heonshik Shin:
Scratchpad memory management in a multitasking environment. 265-274
Electronic Edition (ACM DL) BibTeX