1. A Formal Approach to the Verification of Networks on Chip. (22nd March 2009) Authors: Borrione, Dominique; Helmy, Amr; Pierre, Laurence; Schmaltz, Julien Other Names: Goessler Gregor Academic Editor. Journal: EURASIP journal on embedded systems Issue: Volume 2009(2009) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. A Formal Approach to the Verification of Networks on Chip. (22nd March 2009) Authors: Borrione, Dominique; Helmy, Amr; Pierre, Laurence; Schmaltz, Julien Other Names: Goessler Gregor Academic Editor. Journal: EURASIP journal on embedded systems Issue: Volume 2009(2009) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. A Prototyping Virtual Socket System-On-Platform Architecture with a Novel ACQPPS Motion Estimator for H.264 Video Encoding Applications. (22nd September 2009) Authors: Qiu, Yifeng; Badawy, Wael Other Names: Rupp Markus Academic Editor. Journal: EURASIP journal on embedded systems Issue: Volume 2009(2009) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. A System for an Accurate 3D Reconstruction in Video Endoscopy Capsule. (30th November 2009) Authors: Kolar, Anthony; Romain, Olivier; Ayoub, Jade; Faura, David; Viateur, Sylvain; Granado, Bertrand; Graba, Tarik Other Names: Erdogan Ahmet T. Academic Editor. Journal: EURASIP journal on embedded systems Issue: Volume 2009(2009) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. A Systematic Development Methodology for Mixed-Mode Behavioral Models of In-Vehicle Embedded Electronic Systems. (13th December 2009) Authors: Muller, Candice; Valle, Maurizio; Prodanov, William; Buzas, Roman Other Names: Fanucci Luca Academic Editor. Journal: EURASIP journal on embedded systems Issue: Volume 2010(2010) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. A Systematic Development Methodology for Mixed-Mode Behavioral Models of In-Vehicle Embedded Electronic Systems. (13th December 2009) Authors: Muller Muller, Candice Candice; Valle Valle, Maurizio Maurizio; Prodanov Prodanov, William William; Buzas Buzas, Roman Roman Other Names: Fanucci Fanucci Luca Luca Academic Editor. Journal: EURASIP journal on embedded systems Issue: Volume 2010(2010) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. AD-PLL for WiMAX with Digitally-Regulated TDC and Glitch Correction Logic. (12th November 2009) Authors: Levantino, Salvatore; Zanuso, Marco; Madoglio, Paolo; Tasca, Davide; Samori, Carlo; Lacaita, Andrea L. Other Names: Saponara Sergio Academic Editor. Journal: EURASIP journal on embedded systems Issue: Volume 2010(2010) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. AD-PLL for WiMAX with Digitally-Regulated TDC and Glitch Correction Logic. (12th November 2009) Authors: Levantino, Salvatore; Zanuso, Marco; Madoglio, Paolo; Tasca, Davide; Samori, Carlo; Lacaita, Andrea L. Other Names: Saponara Sergio Academic Editor. Journal: EURASIP journal on embedded systems Issue: Volume 2010(2010) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. AD-PLL for WiMAX with Digitally-Regulated TDC and Glitch Correction Logic. (12th November 2009) Authors: Levantino Levantino, Salvatore Salvatore; Zanuso Zanuso, Marco Marco; Madoglio Madoglio, Paolo Paolo; Tasca Tasca, Davide Davide; Samori Samori, Carlo Carlo; Lacaita Lacaita, Andrea L. Andrea L. Other Names: Saponara Saponara Sergio Sergio Academic Editor. Journal: EURASIP journal on embedded systems Issue: Volume 2010(2010) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. An Efficient Segmental Bus-Invert Coding Method for Instruction Memory Data Bus Switching Reduction. (15th September 2009) Authors: Gu, Ji; Guo, Hui Other Names: Nunez Antonio Academic Editor. Journal: EURASIP journal on embedded systems Issue: Volume 2009(2009) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗