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
Analysis and verification
Models and components
- Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee:
On relational interfaces.
67-76

- Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis:
Modeling synchronous systems in BIP.
77-86

- 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
Scheduling
Multicore, parallel implementations
Implementation issues
Time predictability and memory management
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

Last update Fri May 24 02:30:37 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page