Henri Michel

Publication Activity (10 Years)

Years Active: 1995-2005
Publications (10 Years): 0

Publications

Nacer-Eddine Zergainoh, Ludovic Tambour, Henri Michel, Ahmed Amine Jerraya
Méthodes de correction de retard dans les modèles RTL des systèmes monopuces DSP obtenus par assemblage de composants IP : fondement théorique et implémentation. Tech. Sci. Informatiques 24 (10) (2005)
Ludovic Tambour, Nacer-Eddine Zergainoh, Pascal Urard, Henri Michel, Ahmed Amine Jerraya
An Efficient Methodology and Semi-Automated Flow for Design and Validation of Complex Digital Signal Processing ASICS Macro-Cells. IEEE International Workshop on Rapid System Prototyping (2003)
Fabrice Baray, Philippe Codognet, Daniel Diaz, Henri Michel
Code-Based Test Generation for Validation of Functional Processor Descriptions. TACAS (2003)
Jean-Daniel Boissonnat, Katrin Dobrindt, Bernhard Geiger, Henri Michel
A Global Motion Planner for a Mobile Robot on a Terrain. SCG (1995)