| Title | Improving Scalability of Model-Checking for Minimizing Buffer Requirements of Synchronous Dataflow Graphs |
| Author | Nan Guan (Northeastern Univ., China), *Zonghua Gu (HKUST, China), Wang Yi (Uppsala Univ., Sweden), Ge Yu (Northeastern Univ., China) |
| Page | pp. 715 - 720 |
| Detailed information (abstract, keywords, etc) | |
| Slides | |
| Title | A Reverse-Encoding-based on-chip AHB Bus Tracer for Efficient Circular Buffer Utilization |
| Author | *Fu-Ching Yang, Cheng-Lung Chiang, Ing-Jer Huang (National Sun Yat-Sen Univ., Taiwan) |
| Page | pp. 721 - 726 |
| Detailed information (abstract, keywords, etc) | |
| Slides | |
| Title | Analyzing and Optimizing Energy Efficiency of Algorithms on DVS Systems: a First Step towards Algorithmic Energy Minimization |
| Author | *Tetsuo Yokoyama, Gang Zeng, Hiroyuki Tomiyama, Hiroaki Takada (Nagoya Univ., Japan) |
| Page | pp. 727 - 732 |
| Detailed information (abstract, keywords, etc) | |
| Slides | |
| Title | Novel Task Migration Framework on Configurable Heterogeneous MPSoC Platforms |
| Author | Hao Shen, *Frédéric Pétrot (TIMA Lab., France) |
| Page | pp. 733 - 738 |
| Detailed information (abstract, keywords, etc) | |
| Slides | |