Conferences in DBLP

International Conference / Workshop on Embedded Systems (EMSOFT) (emsoft)
2009 (conf/emsoft/2009)

1. 
   Aggressive dynamic voltage scaling for energy-aware video playback based on decoding time estimation. [Citation Graph (, )][DBLP]
   
   
2. 
   Markov decision process (MDP) framework for optimizing software on mobile phones. [Citation Graph (, )][DBLP]
   
   
3. 
   HVS-DBS: human visual system-aware dynamic luminance backlight scaling for video streaming applications. [Citation Graph (, )][DBLP]
   
   
4. 
   Compositional verification of fault-tolerant real-time programs. [Citation Graph (, )][DBLP]
   
   
5. 
   Compositional timing analysis. [Citation Graph (, )][DBLP]
   
   
6. 
   Refining the control structure of loops using static analysis. [Citation Graph (, )][DBLP]
   
   
7. 
   Compositional deadlock detection for rendezvous communication. [Citation Graph (, )][DBLP]
   
   
8. 
   On relational interfaces. [Citation Graph (, )][DBLP]
   
   
9. 
   Modeling synchronous systems in BIP. [Citation Graph (, )][DBLP]
   
   
10. 
    Modal interfaces: unifying interface automata and modal specifications. [Citation Graph (, )][DBLP]
    
    
11. 
    Formal and executable contracts for transaction-level modeling in SystemC. [Citation Graph (, )][DBLP]
    
    
12. 
    Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems. [Citation Graph (, )][DBLP]
    
    
13. 
    Serving embedded content via web applications: model, design and experimentation. [Citation Graph (, )][DBLP]
    
    
14. 
    Modular performance analysis of cyclic dataflow graphs. [Citation Graph (, )][DBLP]
    
    
15. 
    Symbolic state traversal for WCET analysis. [Citation Graph (, )][DBLP]
    
    
16. 
    Clock-driven distributed real-time implementation of endochronous synchronous programs. [Citation Graph (, )][DBLP]
    
    
17. 
    Refining SIRAP with a dedicated resource ceiling for self-blocking. [Citation Graph (, )][DBLP]
    
    
18. 
    Towards a time-triggered schedule calculation tool to support model-based embedded software design. [Citation Graph (, )][DBLP]
    
    
19. 
    Monotonicity and run-time scheduling. [Citation Graph (, )][DBLP]
    
    
20. 
    Exploring parallelization strategies for NUFFT data translation. [Citation Graph (, )][DBLP]
    
    
21. 
    An effective synchronization approach for fast and accurate multi-core instruction-set simulation. [Citation Graph (, )][DBLP]
    
    
22. 
    Flexible filters: load balancing through backpressure for stream programs. [Citation Graph (, )][DBLP]
    
    
23. 
    Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation. [Citation Graph (, )][DBLP]
    
    
24. 
    SyncCharts in C: a proposal for light-weight, deterministic concurrency. [Citation Graph (, )][DBLP]
    
    
25. 
    Handling mixed-criticality in SoC-based real-time embedded systems. [Citation Graph (, )][DBLP]
    
    
26. 
    Cache-aware scheduling and analysis for multicores. [Citation Graph (, )][DBLP]
    
    
27. 
    Probabilistic modeling of data cache behavior. [Citation Graph (, )][DBLP]
    
    
28. 
    Implementing time-predictable load and store operations. [Citation Graph (, )][DBLP]
    
    
29. 
    Dataflow models for shared memory access latency analysis. [Citation Graph (, )][DBLP]
    
    
30. 
    NANDFS: a flexible flash file system for RAM-constrained systems. [Citation Graph (, )][DBLP]
    
    
31. 
    Disk schedulers for solid state drivers. [Citation Graph (, )][DBLP]
    
    
32. 
    Adding aggressive error correction to a high-performance compressing flash file system. [Citation Graph (, )][DBLP]
    
    
33. 
    A cost-aware page replacement algorithm for NAND flash based mobile embedded systems. [Citation Graph (, )][DBLP]