Conferences in DBLP
Event order abstraction for parametric real-time system verification. [Citation Graph (, )][DBLP ] State space abstraction for parameterized self-stabilizing embedded systems. [Citation Graph (, )][DBLP ] µ-FTL: : a memory-efficient flash translation layer supporting multiple mapping granularities. [Citation Graph (, )][DBLP ] A PRAM and NAND flash hybrid architecture for high-performance embedded storage subsystems. [Citation Graph (, )][DBLP ] Workload-based configuration of MEMS-based storage devices for mobile systems. [Citation Graph (, )][DBLP ] LTFTL: lightweight time-shift flash translation layer for flash memory based embedded storage. [Citation Graph (, )][DBLP ] Automatically transforming and relating Uppaal models of embedded systems. [Citation Graph (, )][DBLP ] Model-based validation of QoS properties of biomedical sensor networks. [Citation Graph (, )][DBLP ] Interface theories with component reuse. [Citation Graph (, )][DBLP ] Symbolic analysis for improving simulation coverage of Simulink/Stateflow models. [Citation Graph (, )][DBLP ] On the interplay of dynamic voltage scaling and dynamic power management in real-time embedded applications. [Citation Graph (, )][DBLP ] DBS4video: dynamic luminance backlight scaling based on multi-histogram frame characterization for video streaming application. [Citation Graph (, )][DBLP ] Energy efficient streaming applications with guaranteed throughput on MPSoCs. [Citation Graph (, )][DBLP ] Wireless channel access reservation for embedded real-time systems. [Citation Graph (, )][DBLP ] Portioned EDF-based scheduling on multiprocessors. [Citation Graph (, )][DBLP ] Scheduling task dependence graphs with variable task execution times onto heterogeneous multiprocessors. [Citation Graph (, )][DBLP ] RTComposer: a framework for real-time components with scheduling interfaces. [Citation Graph (, )][DBLP ] Disassembling real-time fault-tolerant programs. [Citation Graph (, )][DBLP ] Cyclic dependencies in modular performance analysis. [Citation Graph (, )][DBLP ] A generalized static data flow clustering algorithm for mpsoc scheduling of multimedia applications. [Citation Graph (, )][DBLP ] Compositional analysis of deadlock-freedom for tree-like component architectures. [Citation Graph (, )][DBLP ] Active property checking. [Citation Graph (, )][DBLP ] Randomized directed testing (REDIRECT) for Simulink/Stateflow models. [Citation Graph (, )][DBLP ] Quantitative testing. [Citation Graph (, )][DBLP ] Design and implementation of a framework for creating portable and efficient packet-processing applications. [Citation Graph (, )][DBLP ] Tax-and-spend: democratic scheduling for real-time garbage collection. [Citation Graph (, )][DBLP ] Volatiles are miscompiled, and what to do about it. [Citation Graph (, )][DBLP ] Scratchpad memory management in a multitasking environment. [Citation Graph (, )][DBLP ] 