Abstraction and verification

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

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
• 
  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
• 
  Mohammed G. Khatib, Ethan L. Miller, Pieter H. Hartel: Workload-based configuration of MEMS-based storage devices for mobile systems. 41-50
• 
  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

Modeling, interfaces, and simulation

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

Power

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

Scheduling

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

Static techniques

• 
  Borzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Arora: Disassembling real-time fault-tolerant programs. 169-178
• 
  Bengt Jonsson, Simon Perathoner, Lothar Thiele, Wang Yi: Cyclic dependencies in modular performance analysis. 179-188
• 
  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
• 
  Mila E. Majster-Cederbaum, Moritz Martens: Compositional analysis of deadlock-freedom for tree-like component architectures. 199-206

Testing

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

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
• 
  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
• 
  Eric Eide, John Regehr: Volatiles are miscompiled, and what to do about it. 255-264
• 
  Bernhard Egger, Jaejin Lee, Heonshik Shin: Scratchpad memory management in a multitasking environment. 265-274

last updated on Mon May 20 01:57:01 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page