default search action
9. EMSOFT 2009: Grenoble, France
- Samarjit Chakraborty, Nicolas Halbwachs:
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 - Ramzi Ben Salah, Marius Bozga, Oded Maler:
Compositional timing analysis. 39-48 - 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
- Stavros Tripakis
On relational interfaces. 67-76 - Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis:
Modeling synchronous systems in BIP. 77-86 - Jean-Baptiste Raclet, Éric 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 - Lothar Thiele, Nikolay Stoimenov:
Modular performance analysis of cyclic dataflow graphs. 127-136 - Stephan Wilhelm, Björn Wachter:
Symbolic state traversal for WCET analysis. 137-146
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
Towards a time-triggered schedule calculation tool to support model-based embedded software design. 167-176 - Maarten Wiggers, Marco Bekooij, Gerard J. M. Smit:
Monotonicity and run-time scheduling. 177-186
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
Cache-aware scheduling and analysis for multicores. 245-254 - Vinayak Puranik, Tulika Mitra
Probabilistic modeling of data cache behavior. 255-264 - Jack Whitham, Neil C. Audsley:
Implementing time-predictable load and store operations. 265-274 - Jan Staschulat, Marco Bekooij:
Dataflow models for shared memory access latency analysis. 275-284
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
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-23 19:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: