LCTES 2006: Ottawa, Ontario, Canada

• Margaret Martonosi:
  Embedded systems in the wild: ZebraNet software, hardware, and deployment experiences. 1
  Electronic Edition (ACM DL) BibTeX

Mobile applications

• Carl von Platen, Johan Eker:
  Feedback linking: optimizing object code layout for updates. 2-11
  Electronic Edition (ACM DL) BibTeX
• Kun Zhang, Santosh Pande:
  Minimizing downtime in seamless migrations of mobile applications. 12-21
  Electronic Edition (ACM DL) BibTeX
• Michal Spivak, Sivan Toledo:
  Storing a persistent transactional object heap on flash memory. 22-33
  Electronic Edition (ACM DL) BibTeX

Program analysis

• John Regehr, Usit Duongsaa:
  Deriving abstract transfer functions for analyzing embedded software. 34-43
  Electronic Edition (ACM DL) BibTeX
• Nathan Cooprider, John Regehr:
  Pluggable abstract domains for analyzing embedded software. 44-53
  Electronic Edition (ACM DL) BibTeX
• Antoine Miné:
  Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics. 54-63
  Electronic Edition (ACM DL) BibTeX

Compilation

• William C. Kreahling, Stephen Hines, David B. Whalley, Gary S. Tyson:
  Reducing the cost of conditional transfers of control by using comparison specifications. 64-71
  Electronic Edition (ACM DL) BibTeX
• Xiaotong Zhuang, Santosh Pande:
  Effective thread management on network processors with compiler analysis. 72-82
  Electronic Edition (ACM DL) BibTeX
• Prasad Kulkarni, David B. Whalley, Gary S. Tyson, Jack W. Davidson:
  In search of near-optimal optimization phase orderings. 83-92
  Electronic Edition (ACM DL) BibTeX

Real-time techniques

• Klaus Danne, Marco Platzner:
  An EDF schedulability test for periodic tasks on reconfigurable hardware devices. 93-102
  Electronic Edition (ACM DL) BibTeX
• Christer Sandberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper:
  Faster WCET flow analysis by program slicing. 103-112
  Electronic Edition (ACM DL) BibTeX
• Steffen Prochnow, Claus Traulsen, Reinhard von Hanxleden:
  Synthesizing safe state machines from Esterel. 113-124
  Electronic Edition (ACM DL) BibTeX

Code generation

• Stephen A. Edwards, Olivier Tardieu:
  Efficient code generation from SHIM models. 125-134
  Electronic Edition (ACM DL) BibTeX
• Tom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard:
  Generating optimized code from SCR specifications. 135-144
  Electronic Edition (ACM DL) BibTeX
• Stefan Farfeleder, Andreas Krall, Edwin Steiner, Florian Brandner:
  Effective compiler generation by architecture description. 145-152
  Electronic Edition (ACM DL) BibTeX

Low power issues

• Jian-Jia Chen, Tei-Wei Kuo:
  Procrastination for leakage-aware rate-monotonic scheduling on a dynamic voltage scaling processor. 153-162
  Electronic Edition (ACM DL) BibTeX
• Madhu Mutyam, Feihui Li, Narayanan Vijaykrishnan, Mahmut T. Kandemir, Mary Jane Irwin:
  Compiler-directed thermal management for VLIW functional units. 163-172
  Electronic Edition (ACM DL) BibTeX
• Sanghyun Park, Aviral Shrivastava, Nikil D. Dutt, Alexandru Nicolau, Yunheung Paek, Eugene Earlie:
  Bypass aware instruction scheduling for register file power reduction. 173-181
  Electronic Edition (ACM DL) BibTeX

Tools

• Leipo Yan, Thambipillai Srikanthan, Niu Gang:
  Area and delay estimation for FPGA implementation of coarse-grained reconfigurable architectures. 182-188
  Electronic Edition (ACM DL) BibTeX
• Raju Pandey, Jeffrey Wu:
  BOTS: a constraint-based component system for synthesizing scalable software systems. 189-198
  Electronic Edition (ACM DL) BibTeX
• Weihua Zhang, Xinglong Qian, Ye Wang, Binyu Zang, Chuanqi Zhu:
  Optimizing compiler for shared-memory multiple SIMD architecture. 199-208
  Electronic Edition (ACM DL) BibTeX