1. Guest Editor Introduction

   • Bashir M. Al-Hashimi

   OriginalPaper Pages: 331 - 332

2. HASoC—Towards a New Method for System-on-a-Chip Development

   • Peter Green
   • Martyn Edwards
   • Salah Essa

   OriginalPaper Pages: 333 - 353

3. A System-Based Approach to the Formal Development of Embedded Controllers for a Railway

   • Michael Butler

   OriginalPaper Pages: 355 - 366

4. A Compositional Framework for Hardware/Software Co-Design

   • A. Cau
   • R. Hale
   • M. Spivey

   OriginalPaper Pages: 367 - 399

5. Synthesizing Energy-Efficient Embedded Systems with LOPOCOS

   • Marcus T. Schmitz
   • Bashir M. Al-Hashimi
   • Petru Eles

   OriginalPaper Pages: 401 - 424

6. Comparing Three Heuristic Search Methods for Functional Partitioning in Hardware–Software Codesign

   • Theerayod Wiangtong
   • Peter Y. K. Cheung
   • Wayne Luk

   OriginalPaper Pages: 425 - 449

7. CADRE: An Asynchronous Embedded DSP for Mobile Phone Applications

   • M. Lewis
   • L. Brackenbury

   OriginalPaper Pages: 451 - 475

8. Enhanced Image Detection on an ARM based Embedded System

   • J. R. Evans
   • T. Arslan

   OriginalPaper Pages: 477 - 487