Microelectronics advancements to support new modulation formats and DSP techniques(29 avril 2010)
RST Invariant Digital Image/Video Wtermarking and Digital Watermarking‐Based Audiovisual Quality Evaluation
(12 avril 2010)
Progress in integrated optical sources and all-optical processing devices
(24 mars 2010)
Towards Computational Hybrid System Semantics for Time-Based Block Diagram Modeling
(22 mars 2010)
Case study of Integrated circuit design for medical application in Tsinghua University
(02 février 2010)
La synergie entre les microsystèmes électromécaniques et les circuits microélectroniques
(26 novembre 2009)
Conception d’un spectromètre miniature pour l’identification et la mesure de substances inconnues
(12 novembre 2009)
Low Power Asynchronous-Logic Circuit Design
(30 septembre 2009)
Scaling Challenges for Embedded SRAMs in 65 nm and Beyond
(10 septembre 2009)
Analog IC Design in Nanometer CMOS Technologies
A ReSMiQ and IEEE SSCS distinguished lecture
(14 août 2009)
Powering Micro-Systems
(17 juillet 2009)
Digital Emulation of Complex Bioinspired Spiking Neural Networks
(15 juillet 2009)
ANALOG AND MIXED SIGNAL DESIGN FOR ELECTROSTATIC MEMS CONDITIONING
(13 juillet 2009)
Spread Spectrum Clock Generator Circuit Design for EMI Reduction
(05 juin 2009)
A Mathematical Foundation for Adaptation, Learning, Discovery, and Invention in Nonlinear Dynamical Systems
(01 avril 2009)
5 à 7 ReSMiQ - Conception d’un scanner de tomographie d’émission par positrons basé sur des photodiodes à avalanche : le LabPET
(26 novembre 2008)
White Phones, Black Art: The Evolution of RF IC Design in Silicon Microelectronic Technologies
(12 juin 2008)
Incorporating Efficient Assertion Checkers into Hardware Emulation
(28 janvier 2008)
How to start-up your technology company
(23 janvier 2008)
Selective transfer technology for Microdevice Distribution
(23 janvier 2008)
Un flot de conception UML vers VHDL pour applications de traitement du signal systématique implémentées sur FPGA à base d'Ingénierie Dirigée par les Modèles
(11 janvier 2008)
Digital Watermarking for IP Protection
(09 janvier 2008)
Advances in NanoMOSFET Technology
(14 novembre 2007)
Cognitive Sensor Networks and Applications
(26 octobre 2007)
Customising Instruction Processors
(12 juillet 2007)
Brain Chip Interfacing: An Approach to Brain Repair
(18 avril 2007)
Intégration de méthodes formelles et semi formelles pour la spécification et la vérification des systèmes réactifs
(22 novembre 2006)
Interconnects and power distribution networks designed based on electromagnetic bandgap structures for modern electronic systems
(15 novembre 2006)
Un outil pour la mise au point de systèmes embarqués, fondé sur les assertions
(24 mai 2006)
Simultaneous Checking of Completeness and Ground Confluence for Algebraic Specifications
(20 mars 2006)
Analysis and simulation of high-speed interconnect networks
(02 mai 2005)
Verifying Floating-Point Algorithms using Formalized Mathematics
(04 mars 2005)
What we see depends where we look: reference frames transformation in the primary visual cortex (V1) of awake monkeys
(30 avril 2004)
Energy Efficient Digital Signal Processing Systems
(23 janvier 2003)
Security Verification of Cryptographic protocols using CASRUL
(10 janvier 2002)
Formal Verification in the Design of Interactive Systems
(09 mai 2001)
Induction as Deduction Modulo
(18 septembre 2000)
Reasoning About Operator Errors in Interaction
(04 avril 2000)
Circuits Without Clocks: What Makes Them Tick?
(27 octobre 1999)
HDLexplorer from GeneriCAD Corporation
(24 mars 1999)
Delay-Insensitivity and Semi-Modularity
(24 février 1999)
Validation automatique de programmes
(13 octobre 1998)
Using the Coq system for the formal verification of the Fairisle ATM 4x4 Switch Fabric
(28 août 1998)
La coverification des systemes integres
(20 juillet 1998)
Algebraic Models for True Parallelism and Action Refinement
(04 mai 1998)
Technique de predistorsion numerique adaptative pour la linearisation des amplificateurs de puissance micro-ondes
(08 novembre 1996)
Verifying that Continuous Circuits Implement Discrete Behaviors
(05 novembre 1996)
Understanding Static Timing Verification
(04 novembre 1996)
Topics in Advanced Digital Signal Processing
(01 novembre 1996)
