9. EMSOFT 2009: Grenoble, France
Samarjit Chakraborty, Nicolas Halbwachs (Eds.): Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009. ACM 2009 ISBN 978-1-60558-627-4
Energy aware design
- Ahron Yang, Minseok Song: Aggressive dynamic voltage scaling for energy-aware video playback based on decoding time estimation. 1-10
- Tang Lung Cheung, Kari Okamoto, Frank Maker III, Xin Liu, Venkatesh Akella: Markov decision process (MDP) framework for optimizing software on mobile phones. 11-20
- Andrea Bartolini, Martino Ruggiero, Luca Benini: HVS-DBS: human visual system-aware dynamic luminance backlight scaling for video streaming applications. 21-28
Analysis and verification
- Borzoo Bonakdarpour, Sandeep S. Kulkarni: Compositional verification of fault-tolerant real-time programs. 29-38
- Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta: Refining the control structure of loops using static analysis. 49-58
- Baolin Shao, Nalini Vasudevan, Stephen A. Edwards: Compositional deadlock detection for rendezvous communication. 59-66
Models and components
- Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone: Modal interfaces: unifying interface automata and modal specifications. 87-96
- Tayeb Bouhadiba, Florence Maraninchi, Giovanni Funchal: Formal and executable contracts for transaction-level modeling in SystemC. 97-106
Timing and performance analysis
- Kai Lampka, Simon Perathoner, Lothar Thiele: Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems. 107-116
- Simon Duquennoy, Gilles Grimaud, Jean-Jacques Vandewalle: Serving embedded content via web applications: model, design and experimentation. 117-126
Scheduling
- Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin: Clock-driven distributed real-time implementation of endochronous synchronous programs. 147-156
- Moris Behnam, Thomas Nolte, Reinder J. Bril: Refining SIRAP with a dedicated resource ceiling for self-blocking. 157-166
- Joseph Porter, Gabor Karsai, Janos Sztipanovits: Towards a time-triggered schedule calculation tool to support model-based embedded software design. 167-176
Multicore, parallel implementations
- Yuanrui Zhang, Mahmut T. Kandemir, Nikos Pitsianis, Xiaobai Sun: Exploring parallelization strategies for NUFFT data translation. 187-196
- Meng-Huan Wu, Cheng-Yang Fu, Peng-Chih Wang, Ren-Song Tsay: An effective synchronization approach for fast and accurate multi-core instruction-set simulation. 197-204
- Rebecca L. Collins, Luca P. Carloni: Flexible filters: load balancing through backpressure for stream programs. 205-214
Implementation issues
- Marc Pouzet, Pascal Raymond: Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation. 215-224
- Reinhard von Hanxleden: SyncCharts in C: a proposal for light-weight, deterministic concurrency. 225-234
- Rodolfo Pellizzoni, Patrick O'Neil Meredith, Min-Young Nam, Mu Sun, Marco Caccamo, Lui Sha: Handling mixed-criticality in SoC-based real-time embedded systems. 235-244
Time predictability and memory management
- Nan Guan, Martin Stigge, Wang Yi, Ge Yu: Cache-aware scheduling and analysis for multicores. 245-254
- Vinayak Puranik, Tulika Mitra, Y. N. Srikant: Probabilistic modeling of data cache behavior. 255-264
Flash memory
- Aviad Zuck, Ohad Barzilay, Sivan Toledo: NANDFS: a flexible flash file system for RAM-constrained systems. 285-294
- Jaeho Kim, Yongseok Oh, Eunsam Kim, Jongmoo Choi, Donghee Lee, Sam H. Noh: Disk schedulers for solid state drivers. 295-304
- Yangwook Kang, Ethan L. Miller: Adding aggressive error correction to a high-performance compressing flash file system. 305-314
- Junseok Park, Hyejeong Lee, Seunghwan Hyun, Kern Koh, Hyokyung Bahn: A cost-aware page replacement algorithm for NAND flash based mobile embedded systems. 315-324
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-17T203403 by the dblp team