HASoC—Towards a New Method for System-on-a-Chip Development Peter GreenMartyn EdwardsSalah Essa OriginalPaper Pages: 333 - 353
A System-Based Approach to the Formal Development of Embedded Controllers for a Railway Michael Butler OriginalPaper Pages: 355 - 366
A Compositional Framework for Hardware/Software Co-Design A. CauR. HaleM. Spivey OriginalPaper Pages: 367 - 399
Synthesizing Energy-Efficient Embedded Systems with LOPOCOS Marcus T. SchmitzBashir M. Al-HashimiPetru Eles OriginalPaper Pages: 401 - 424
Comparing Three Heuristic Search Methods for Functional Partitioning in Hardware–Software Codesign Theerayod WiangtongPeter Y. K. CheungWayne Luk OriginalPaper Pages: 425 - 449
CADRE: An Asynchronous Embedded DSP for Mobile Phone Applications M. LewisL. Brackenbury OriginalPaper Pages: 451 - 475
Enhanced Image Detection on an ARM based Embedded System J. R. EvansT. Arslan OriginalPaper Pages: 477 - 487