| emsoft | participants

EMSOFT 2009: 9th ACM & IEEE International Conference on Embedded Software

chair:
Samarjit Chakraborty
cochair:
Nicolas Halbwachs
Committee:
see below
where:
Grenoble, France
published:
ACM

Energy Aware Design

Aggressive Dynamic Voltage Scaling for Energy-Aware Video Playback Based on Decoding Time Estimation

Ahron Yang and Minseok Song

Markov Decision Process (MDP) Framework for Optimizing Software on Mobile Phones

Tang Lung Cheung, Kari Okamoto, Frank Maker III, Xin Liu, and Venkatesh Akella

HVS-DBS: Human Visual System-Aware Dynamic Luminance Backlight Scaling for Video Streaming Applications

Andrea Bartolini, Martino Ruggiero, and Luca Benini

Analysis and Verification

Compositional Verification of Fault-Tolerant Real-Time Programs

Borzoo Bonakdarpour and Sandeep S. Kulkarni

Compositional Timing Analysis

Ramzi Ben Salah, Marius Bozga, and Oded Maler

Refining the Control Structure of Loops using Static Analysis

Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, and Aarti Gupta

Compositional Deadlock Detection for Rendezvous Communication

Baolin Shao, Nalini Vasudevan, and Stephen A. Edwards

Models and Components

On Relational Interfaces

Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, and Edward A. Lee

Modeling Synchronous Systems in BIP

Marius Bozga, Vassiliki Sfyrla, and Joseph Sifakis

Modal Interfaces: Unifying Interface Automata and Modal Specifications

Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, and Roberto Passerone

Formal and Executable Contracts for Transaction-Level Modeling in SystemC

Tayeb Bouhadiba, Florence Maraninchi, and Giovanni Funchal

Timing and Performance Analysis

Analytic Real-Time Analysis and Timed Automata: a Hybrid Method for Analyzing Embedded Real-Time Systems

Kai Lampka, Simon Perathoner, and Lothar Thiele

Serving Embedded Content via Web Applications: Model, Design and Experimentation

Simon Duquennoy, Gilles Grimaud, and Jean-Jacques Vandewalle

Modular Performance Analysis of Cyclic Dataflow Graphs

Lothar Thiele and Nikolay Stoimenov

Symbolic State Traversal for WCET Analysis

Stephan Wilhelm and Björn Wachter

Scheduling

Clock-Driven Distributed Real-Time Implementation of Endochronous Synchronous Programs

Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, and Jean-Pierre Talpin

Refining SIRAP with a Dedicated Resource Ceiling for Self-Blocking

Moris Behnam, Thomas Nolte, and Reinder J. Bril

Towards a Time-Triggered Schedule Calculation Tool to Support Model-Based Embedded Software Design

Joseph Porter, Gabor Karsai, and Janos Sztipanovits

Monotonicity and Run-Time Scheduling

Maarten Wiggers, Marco Jan Gerrit Bekooij, and Gerard J. M. Smit

Multicore, Parallel Implementations

Exploring Parallelization Strategies for NUFFT Data Translation

Yuanrui Zhang, Mahmut T. Kandemir, Nikos Pitsianis, and Xiaobai Sun

An Effective Synchronization Approach for Fast and Accurate Multi-Core Instruction-Set Simulation

Meng-Huan Wu, Cheng-Yang Fu, Peng-Chih Wang, and Ren-Song Tsay

Flexible Filters: Load Balancing Through Backpressure for Stream Programs

Rebecca L. Collins and Luca P. Carloni

Implementation Issues

Modular Static Scheduling of Synchronous Data-Flow Networks: an Efficient Symbolic Representation

Marc Pouzet and Pascal Raymond

SyncCharts in C: a Proposal for Light-Weight, Deterministic Concurrency

Reinhard von Hanxleden

Handling Mixed-Criticality in SoC-based Real-Time Embedded Systems

Rodolfo Pellizzoni, Patrick O'Neil Meredith, Min-Young Nam, Mu Sun, Marco Caccamo, and Lui Sha

Time Predictability and Memory Management

Cache-Aware Scheduling and Analysis for Multicores

Nan Guan, Martin Stigge, Wang Yi, and Ge Yu

Probabilistic Modeling of Data Cache Behavior

Vinayak Puranik, Tulika Mitra, and Y. N. Srikant

Implementing Time-Predictable Load and Store Operations

Jack Whitham and Neil C. Audsley

Dataflow Models for Shared Memory Access Latency Analysis

Jan Staschulat and Marco Jan Gerrit Bekooij

Flash Memory

NANDFS: a Flexible Flash File System for RAM-Constrained Systems

Aviad Zuck, Ohad Barzilay, and Sivan Toledo

Disk Schedulers for Solid State Drivers

Jaeho Kim, Yongseok Oh, Eunsam Kim, Jongmoo Choi, Donghee Lee, and Sam H. Noh

Adding Aggressive Error Correction to a High-Performance Compressing Flash File System

Yangwook Kang and Ethan L. Miller

A Cost-Aware Page Replacement Algorithm for NAND Flash Based Mobile Embedded Systems

Junseok Park, Hyejeong Lee, Seunghwan Hyun, Kern Koh, and Hyokyung Bahn

Program Committee