 |
 |
 |
|
|
|
EMSOFT'08
Author Index
Alur, Rajeev
RTComposer: A Framework for Real-Time Components with Scheduling Interfaces (page 159)
Symbolic Analysis for Improving Simulation Coverage of Simulink/Stateflow Models (page 89)
Arora, Anish
Disassembling Real-Time Fault-Tolerant Programs (page 169)
Auerbach, Joshua
Tax-and-Spend: Democratic Scheduling for Real-time Garbage Collection (page 245)
Aydin, Hakan
On the Interplay of Dynamic Voltage Scaling and Dynamic Power Management in Real-Time Embedded Applications (page 99)
|
|
(Return
to Top) |
Bacon, David F.
Tax-and-Spend: Democratic Scheduling for Real-time Garbage Collection (page 245)
Baek, Seungjae
LTFTL: Lightweight Time-Shift Flash Translation Layer for Flash Memory Based Embedded Storage (page 51)
Bahng, Kyoung Il
A PRAM and NAND Flash Hybrid Architecture for High-Performance Embedded Storage Subsystems (page 31)
Banerjee, Prithviraj
State Space Abstraction for Parameterized Self-Stabilizing Embedded Systems (page 11)
Bartolini, Andrea
DBS4video: Dynamic Luminance Backlight Scaling Based on Multi-Histogram Frame Characterization for Video Streaming Application (page 109)
Benini, Luca
DBS4video: Dynamic Luminance Backlight Scaling Based on Multi-Histogram Frame Characterization for Video Streaming Application (page 109)
Bhattacharyya, Shuvra S.
A Generalized Static Data Flow Clustering Algorithm for MPSoC Scheduling of Multimedia Applications (page 189)
Biron, Ben
Tax-and-Spend: Democratic Scheduling for Real-time Garbage Collection (page 245)
Bohnenkamp, Henrik
Quantitative Testing (page 227)
Bonakdarpour, Borzoo
Disassembling Real-Time Fault-Tolerant Programs (page 169)
Bourke, Timothy
Automatically Transforming and Relating Uppaal Models of Embedded Systems (page 59)
|
|
(Return
to Top) |
Cheng, Perry
Tax-and-Spend: Democratic Scheduling for Real-time Garbage Collection (page 245)
Choi, Jongmoo
LTFTL: Lightweight Time-Shift Flash Translation Layer for Flash Memory Based Embedded Storage (page 51)
Choi, Shinho
A PRAM and NAND Flash Hybrid Architecture for High-Performance Embedded Storage Subsystems (page 31)
de Alfaro, Luca
Foreword
Devadas, Vinay
On the Interplay of Dynamic Voltage Scaling and Dynamic Power Management in Real-Time Embedded Applications (page 99)
Dick, Robert P.
State Space Abstraction for Parameterized Self-Stabilizing Embedded Systems (page 11)
Doyen, Laurent
Interface Theories with Component Reuse (page 79)
Egger, Bernhard
Scratchpad Memory Management in a Multitasking Environment (page 265)
|
|
(Return
to Top) |
Eide, Eric
Volatiles Are Miscompiled, and What to Do about It (page 255)
Falk, Joachim
A Generalized Static Data Flow Clustering Algorithm for MPSoC Scheduling of Multimedia Applications (page 189)
Godefroid, Patrice
Active Property Checking (page 207)
Gracie, Charlie
Tax-and-Spend: Democratic Scheduling for Real-time Garbage Collection (page 245)
Grove, David
Tax-and-Spend: Democratic Scheduling for Real-time Garbage Collection (page 245)
Hartel, Pieter H.
Workload-Based Configuration of MEMS-Based Storage Devices for Mobile Systems (page 41)
Haubelt, Christian
A Generalized Static Data Flow Clustering Algorithm for MPSoC Scheduling of Multimedia Applications (page 189)
Henzinger, Thomas A.
Interface Theories with Component Reuse (page 79)
Hu, Xiaobo Sharon
Wireless Channel Access Reservation for Embedded Real-time Systems (page 129)
Jantsch, Axel
Energy Efficient Streaming Applications with Guaranteed Throughput on MPSoCs (page 119)
Jobstmann, Barbara
Interface Theories with Component Reuse (page 79)
Jonsson, Bengt
Cyclic Dependencies in Modular Performance Analysis (page 179)
Jung, Dawoon
μ-FTL: A Memory-Efficient Flash Translation Layer Supporting Multiple Mapping Granularities (page 21)
Kanade, Aditya
Symbolic Analysis for Improving Simulation Coverage of Simulink/Stateflow Models (page 89)
|
|
(Return
to Top) |
Kang, Dongwon
μ-FTL: A Memory-Efficient Flash Translation Layer Supporting Multiple Mapping Granularities (page 21)
Kato, Shinpei
Portioned EDF-based Scheduling on Multiprocessors (page 139)
Keinert, Joachim
A Generalized Static Data Flow Clustering Algorithm for MPSoC Scheduling of Multimedia Applications (page 189)
Keutzer, Kurt
Scheduling Task Dependence Graphs with Variable Task Execution Times onto Heterogeneous Multiprocessors (page 149)
Khatib, Mohammed G.
Workload-Based Configuration of MEMS-Based Storage Devices for Mobile Systems (page 41)
Kim, Jin Kyu
A PRAM and NAND Flash Hybrid Architecture for High-Performance Embedded Storage Subsystems (page 31)
Kim, Jin-Soo
μ-FTL: A Memory-Efficient Flash Translation Layer Supporting Multiple Mapping Granularities (page 21)
Kulkarni, Sandeep S.
Disassembling Real-Time Fault-Tolerant Programs (page 169)
Lee, Donghee
LTFTL: Lightweight Time-Shift Flash Translation Layer for Flash Memory Based Embedded Storage (page 51)
Lee, Hyung Gyu
A PRAM and NAND Flash Hybrid Architecture for High-Performance Embedded Storage Subsystems (page 31)
Lee, Jaejin
Scratchpad Memory Management in a Multitasking Environment (page 265)
Lee, Yong-Goo
μ-FTL: A Memory-Efficient Flash Translation Layer Supporting Multiple Mapping Granularities (page 21)
Levin, Michael Y.
Active Property Checking (page 207)
|
|
(Return
to Top) |
Liveris, Nikolaos
State Space Abstraction for Parameterized Self-Stabilizing Embedded Systems (page 11)
Majster-Cederbaum, Mila
Compositional Analysis of Deadlock-Freedom for Tree-Like Component Architectures (page 199)
Martens, Moritz
Compositional Analysis of Deadlock-Freedom for Tree-Like Component Architectures (page 199)
McCloskey, Bill
Tax-and-Spend: Democratic Scheduling for Real-time Garbage Collection (page 245)
Micic, Aleksandar
Tax-and-Spend: Democratic Scheduling for Real-time Garbage Collection (page 245)
Miller, Ethan L.
Workload-Based Configuration of MEMS-Based Storage Devices for Mobile Systems (page 41)
Min, Sang Lyul
LTFTL: Lightweight Time-Shift Flash Translation Layer for Flash Memory Based Embedded Storage (page 51)
Molnar, David A.
Active Property Checking (page 207)
Morandi, Olivier
Design and Implementation of a Framework for Creating Portable and Efficient Packet-Processing Applications (page 237)
Noh, Sam H.
LTFTL: Lightweight Time-Shift Flash Translation Layer for Flash Memory Based Embedded Storage (page 51)
Otten, Kathleen
Wireless Channel Access Reservation for Embedded Real-time Systems (page 129)
Palsberg, Jens
Foreword
Perathoner, Simon
Cyclic Dependencies in Modular Performance Analysis (page 179)
|
|
(Return
to Top) |
Petrov, Tatjana
Interface Theories with Component Reuse (page 79)
Poellabauer, Christian
Wireless Channel Access Reservation for Embedded Real-time Systems (page 129)
Rajan, Dinesh
Wireless Channel Access Reservation for Embedded Real-time Systems (page 129)
Ramesh, S.
Randomized Directed Testing (REDIRECT) for Simulink/Stateflow Models (page 217)
Symbolic Analysis for Improving Simulation Coverage of Simulink/Stateflow Models (page 89)
Ravindran, Kaushik
Scheduling Task Dependence Graphs with Variable Task Execution Times onto Heterogeneous Multiprocessors (page 149)
Regehr, John
Volatiles Are Miscompiled, and What to Do about It (page 255)
Risso, Fulvio
Design and Implementation of a Framework for Creating Portable and Efficient Packet-Processing Applications (page 237)
Ruggiero, Martino
DBS4video: Dynamic Luminance Backlight Scaling Based on Multi-Histogram Frame Characterization for Video Streaming Application (page 109)
Sander, Ingo
Energy Efficient Streaming Applications with Guaranteed Throughput on MPSoCs (page 119)
Satish, Nadathur R.
Scheduling Task Dependence Graphs with Variable Task Execution Times onto Heterogeneous Multiprocessors (page 149)
Satpathy, Manoranjan
Randomized Directed Testing (REDIRECT) for Simulink/Stateflow Models (page 217)
Sciampacone, Ryan
Tax-and-Spend: Democratic Scheduling for Real-time Garbage Collection (page 245)
Shashidhar, K.C.
Symbolic Analysis for Improving Simulation Coverage of Simulink/Stateflow Models (page 89)
Shin, Heonshik
Scratchpad Memory Management in a Multitasking Environment (page 265)
|
|
(Return
to Top) |
Sowmya, Arcot
Automatically Transforming and Relating Uppaal Models of Embedded Systems (page 59)
Stoelinga, Mariëlle
Quantitative Testing (page 227)
Sun, Kyoungmoon
LTFTL: Lightweight Time-Shift Flash Translation Layer for Flash Memory Based Embedded Storage (page 51)
Teich, Jürgen
A Generalized Static Data Flow Clustering Algorithm for MPSoC Scheduling of Multimedia Applications (page 189)
Thiele, Lothar
Cyclic Dependencies in Modular Performance Analysis (page 179)
Tschirner, Simon
Model-Based Validation of QoS Properties of Biomedical Sensor Networks (page 69)
Umeno, Shinya
Event Order Abstraction for Parametric Real-Time System Verification (page 1)
Valenti, Silvio
Design and Implementation of a Framework for Creating Portable and Efficient Packet-Processing Applications (page 237)
Veglia, Paolo
Design and Implementation of a Framework for Creating Portable and Efficient Packet-Processing Applications (page 237)
Weiss, Gera
RTComposer: A Framework for Real-Time Components with Scheduling Interfaces (page 159)
Xuedong, Liang
Model-Based Validation of QoS Properties of Biomedical Sensor Networks (page 69)
|
|
(Return
to Top) |
Yamasaki, Nobuyuki
Portioned EDF-based Scheduling on Multiprocessors (page 139)
Yeolekar, Anand
Randomized Directed Testing (REDIRECT) for Simulink/Stateflow Models (page 217)
Yi, Wang
Cyclic Dependencies in Modular Performance Analysis (page 179)
Model-Based Validation of QoS Properties of Biomedical Sensor Networks (page 69)
Zhang, Liqiang
Wireless Channel Access Reservation for Embedded Real-time Systems (page 129)
Zhou, Hai
State Space Abstraction for Parameterized Self-Stabilizing Embedded Systems (page 11)
Zhu, Jun
Energy Efficient Streaming Applications with Guaranteed Throughput on MPSoCs (page 119)
|
|
|
|