1. Assertion Based Verification and Analysis of Network Processor Architectures

   • Xi Chen
   • Yan Luo
   • Felice Balarin

   OriginalPaper 11 July 2005 Pages: 163 - 176

2. Synthesis and Time Partitioning for Reconfigurable Systems

   • B. Ouni
   • A. Mtibaa
   • M. Abid

   OriginalPaper 11 July 2005 Pages: 177 - 191

3. New Alternatives to the Estimation Problem in Hardware-Software Codesign of Complex Embedded Systems: The H.261 Video Co-dec Case Study

   • Juan Antonio Maestro
   • Daniel Mozos
   • Pedro Reviriego

   OriginalPaper 11 July 2005 Pages: 193 - 210

4. A Survey on IP Watermarking Techniques

   • Amr T. Abdel-Hamid
   • Sofiéne Tahar
   • El Mostapha Aboulhamid

   OriginalPaper 11 July 2005 Pages: 211 - 227