![]() |
![]() |
![]() |
|
||
Foreword Session 1: Abstraction and Verification Event Order Abstraction for Parametric Real-Time System Verification (Page 1) State Space Abstraction for Parameterized Self-Stabilizing Embedded Systems (Page 11) Session 2: Flash Memory μ-FTL: A Memory-Efficient Flash Translation Layer Supporting Multiple Mapping Granularities (Page 21) A PRAM and NAND Flash Hybrid Architecture for High-Performance Embedded Storage Subsystems (Page 31) Workload-Based Configuration of MEMS-Based Storage Devices for Mobile Systems (Page 41) LTFTL: Lightweight Time-Shift Flash Translation Layer for Flash Memory Based Embedded Storage (Page 51) |
||
Session 3: Modeling, Interfaces, and Simulation Automatically Transforming and Relating Uppaal Models of Embedded Systems (Page 59) Model-Based Validation of QoS Properties of Biomedical Sensor Networks (Page 69) Interface Theories with Component Reuse (Page 79) Symbolic Analysis for Improving Simulation Coverage of Simulink/Stateflow Models (Page 89) Session 4: Power On the Interplay of Dynamic Voltage Scaling and Dynamic Power Management in Real-Time Embedded Applications (Page 99) DBS4video: Dynamic Luminance Backlight Scaling Based on Multi-Histogram Frame Characterization for Video Streaming Application (Page 109) Energy Efficient Streaming Applications with Guaranteed Throughput on MPSoCs (Page 119) |
||
(Return to Top) |
Session 5: Scheduling Wireless Channel Access Reservation for Embedded Real-time Systems (Page 129) Portioned EDF-based Scheduling on Multiprocessors (Page 139) Scheduling Task Dependence Graphs with Variable Task Execution Times onto Heterogeneous Multiprocessors (Page 149) RTComposer: A Framework for Real-Time Components with Scheduling Interfaces (Page 159) |
|
(Return to Top) |
Session 6: Static Techniques Disassembling Real-Time Fault-Tolerant Programs (Page 169) Cyclic Dependencies in Modular Performance Analysis (Page 179) A Generalized Static Data Flow Clustering Algorithm for MPSoC Scheduling of Multimedia Applications (Page 189) Compositional Analysis of Deadlock-Freedom for Tree-Like Component Architectures (Page 199) Session 7: Testing Active Property Checking (Page 207) Randomized Directed Testing (REDIRECT) for Simulink/Stateflow Models (Page 217) Quantitative Testing (Page 227) |
|
(Return to Top) |
Session 8: Virtual Machines, Compilers, Memory Management Design and Implementation of a Framework for Creating Portable and Efficient Packet-Processing Applications (Page 237) Tax-and-Spend: Democratic Scheduling for Real-time Garbage Collection (Page 245) Volatiles Are Miscompiled, and What to Do about It (Page 255) Scratchpad Memory Management in a Multitasking Environment (Page 265) |