Média
Partenaires
Recherche
Publications

Publications

Livres et ouvrages collectifs (2009)

Abed S et Ait Mohamed O (2009). The Verification of MDG Algorithms in the HOL Theorem Prover, LAP Lamber Academic Publishing

Aboulhamid EM et Rousseau F (2009). System Level Design with .NET Technology, CRC Press, 335 p

Ait Mohamed O, Abdelmalek A et El Berichi Z (2009). Proceedings of the 2nd Conférence Internationale sur l'Informatique et ses Applictions, CIIA

Anane A, Aboulhamid EM, Vachon J et Savaria Y (2009). "Using Transaction-based Models for System Design and Simulation", dans E.M. Aboulhamid, F. Rousseau Chapman & Hill, System Level Design with .NET Technology, p. 121-157

Colombo M, Wirth GI, Bampi S et Fayomi CJB (2009). "Bandgap Reference Voltage", dans Ricardo Reis, Advances Topics on VLSI Design

Dubois M, Rousseau F et Aboulhamid EM (2009). "An Introduction to Cosimulation and Compilation Methods", dans E.M. Aboulhamid, F. Rousseau Chapman & Hill, System Level Design with .NET Technology, p. 181-208

Fontaine R (2009). "Design Considerations for Positron Emission Tomography (PET) Scanner Dedicated to Small Animal Imaging", Electronics Circuits for Radiation Detection

Lakhssassi A et Bougataya M (2009). "VLSI Thermal Analysis and Monitoring", Vienna In-Tech, Kirchengasse

Lapalme J, Aboulhamid EM et Nicolescu EG (2009). "The Semantic Web Applied to IP-Based Design: A Discussion on IPXACT ", dans Chapman & Hill, System Level Design with .NET Technology, p. 57-91

Metzger M, Anane F, Rousseau F, Vachon J et Aboulhamid EM (2009). "Introspection mechanisms for runtime verification in a system-level design environment", Microelectronics Journal, Elsevier, p. 1124-1134

Nicolescu EG et Mosterman P (2009). "Model-Based Design for Heterogeneous Systems", CRC Presswith Editor

Tsang T, Lin K et El-Gamal M (2009). "Low Power UWB Circuits Front-end Bulding Blocks", dans A Tasic et al, Springer, Circuits and Systems for Future Generatins of Wireless Communications, p. 53-83

Tsikhanovich A, Aboulhamid EM et Bois G (2009). "Timing Specification in Transacton Level Models", dans E.M. Aboulhamid, F. Rousseau Chapman & Hill, System Level Design with .NET Technology, p. 209-244

Zebdi M, Massicotte D et Fayomi CJB (2009). "Multi-Block CMOS LNA Design for UWB WLAN Transform-Domain Receiver Loss of Orthogonality", Microwave and Millimeter Wave Technologies