Accepted Papers
- A COST-AWARE PAGE REPLACEMENT ALGORITHM FOR NAND FLASH BASED MOBILE
EMBEDDED SYSTEMS
Junseok Park, Hyejeong Lee, Seunghwan Hyun, Hyokyung Bahn and Kern Koh
- A FAMILY OF COMPATIBLE SYNCHRONIZATION PROTOCOLS BASED ON SIRAP
Moris Behnam, Thomas Nolte and Reinder Bril
- ADDING AGGRESSIVE ERROR CORRECTION TO A HIGH-PERFORMANCE FLASH FILE
SYSTEM
Yangwook Kang and Ethan Miller
- AGGRESSIVE DYNAMIC VOLTAGE SCALING FOR ENERGY-AWARE VIDEO PLAYBACK
BASED ON DECODING TIME ESTIMATION
Ahron Yang and Minseok Song
- 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
- ANALYTIC REAL-TIME ANALYSIS AND TIMED AUTOMATA: A HYBRID METHOD FOR
ANALYZING EMBEDDED REAL-TIME SYSTEMS
Kai Lampka, Simon Perathoner and Lothar Thiele
- CACHE-AWARE SCHEDULING AND ANALYSIS FOR MULTICORES
Nan Guan, Martin Stigge, Wang Yi and Ge Yu
- CLOCK-DRIVEN DISTRIBUTED REAL-TIME IMPLEMENTATION OF ENDOCHRONOUS
SYNCHRONOUS PROGRAMS
Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel and Jean-Pierre
Talpin
- COMPOSITIONAL DEADLOCK DETECTION FOR RENDEZVOUS COMMUNICATION
Baolin Shao, Nalini Vasudevan and Stephen Edwards
- COMPOSITIONAL TIMING ANALYSIS
Ramzi Ben Salah, Marius Bozga and Oded Maler
- COMPOSITIONAL VERIFICATION OF REAL-TIME FAULT-TOLERANT PROGRAMS
Borzoo Bonakdarpour and Sandeep Kulkarni
- DATAFLOW MODELS FOR SHARED MEMORY ACCESS LATENCY ANALYSIS
Jan Staschulat and Marco Bekooij
- DISK SCHEDULERS FOR SOLID STATE DRIVES
Jaeho Kim, Yongseok Oh, Eunsam Kim, Jongmoo Choi, Donghee Lee and Sam
H. Noh
- EXPLORING PARALLELIZATION STRATEGIES FOR NUFFT DATA TRANSLATION
Yuanrui Zhang, Mahmut Kandemir, Nikos Pitsianis and Xiaobai Sun
- FLEXIBLE FILTERS: LOAD BALANCING THROUGH BACKPRESSURE FOR STREAM
PROGRAMS
Rebecca Collins and Luca Carloni
- FORMAL AND EXECUTABLE CONTRACTS FOR TRANSACTION-LEVEL MODELING IN
SYSTEMC
Tayeb Bouhadiba, Florence Maraninchi and Giovanni Funchal
- HANDLING MIXED-CRITICALITY IN SOC-BASED REAL-TIME EMBEDDED SYSTEMS
Rodolfo Pellizzoni, Patrick Meredith, Min Young Nam, Mu Sun, Marco
Caccamo and Lui Sha
- HVS-DBS: HUMAN VISUAL SYSTEM-AWARE DYNAMIC LUMINANCE BACKLIGHT SCALING
FOR VIDEO STREAMING APPLICATIONS
Andrea Bartolini, Martino Ruggiero and Luca Benini
- IMPLEMENTING TIME-PREDICTABLE LOAD AND STORE OPERATIONS
Jack Whitham and Neil Audsley
- MARKOV DECISION PROCESS (MDP) FRAMEWORK FOR OPTIMIZING SOFTWARE
ON MOBILE PHONES
Tang Lung Cheung, Kari Okamoto, Xin Liu, Frank Maker and Venkatesh
Akella
- MODAL INTERFACES: UNIFYING INTERFACE AUTOMATA AND MODAL SPECIFICATIONS
Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît
Caillaud, Axel Legay and Roberto Passerone
- MODELING SYNCHRONOUS SYSTEMS IN BIP
Marius Bozga, Vassiliki Sfyrla and Joseph Sifakis
- MODULAR PERFORMANCE ANALYSIS OF CYCLIC DATAFLOW GRAPHS
Lothar Thiele and Nikolay Stoimenov
- MODULAR STATIC SCHEDULING OF SYNCHRONOUS DATA-FLOW NETWORKS: AN
EFFICIENT SYMBOLIC REPRESENTATION
Marc Pouzet and Pascal Raymond
- MONOTONICITY AND RUN-TIME SCHEDULING
Maarten Wiggers, Marco Bekooij and Gerard Smit
- NANDFS: A FLEXIBLE FLASH FILE SYSTEM FOR RAM-CONSTRAINED SYSTEMS
Aviad Zuck, Ohad Barzilay and Sivan Toledo
- ON RELATIONAL INTERFACES
Stavros Tripakis, Ben Lickly, Thomas Henzinger and Edward Lee
- PROBABILISTIC MODELING OF DATA CACHE BEHAVIOR
Vinayak Puranik, Tulika Mitra and Y. N. Srikant
- REFINING THE CONTROL STRUCTURE OF LOOPS USING STATIC ANALYSIS
Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic and Aarti
Gupta
- SERVING EMBEDDED CONTENT VIA WEB APPLICATIONS: MODEL, DESIGN AND
EXPERIMENTATION
Simon Duquennoy, Gilles Grimaud and Jean-Jacques Vandewalle
- SYMBOLIC STATE TRAVERSAL FOR WCET ANALYSIS
Stephan Wilhelm and Bjoern Wachter
- SYNCCHARTS IN C
Reinhard von Hanxleden
- TOWARDS A TIME-TRIGGERED SCHEDULE CALCULATION TOOL TO SUPPORT
MODEL-BASED EMBEDDED SOFTWARE DESIGN
Joseph Porter, Gabor Karsai and Janos Sztipanovits
|
|
|
