Henri Michel

According to our database, Henri Michel authored at least 4 papers between 1995 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2005

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.

Nacer-Eddine Zergainoh, Ludovic Tambour, Henri Michel, Ahmed Amine Jerraya

Tech. Sci. Informatiques, 2005

2003

Code-Based Test Generation for Validation of Functional Processor Descriptions.

Fabrice Baray, Philippe Codognet, Daniel Diaz, Henri Michel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

An Efficient Methodology and Semi-Automated Flow for Design and Validation of Complex Digital Signal Processing ASICS Macro-Cells.

Ludovic Tambour, Nacer-Eddine Zergainoh, Pascal Urard, Henri Michel, Ahmed Amine Jerraya

Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003

1995

A Global Motion Planner for a Mobile Robot on a Terrain.

Jean-Daniel Boissonnat, Katrin Dobrindt, Bernhard Geiger, Henri Michel

Proceedings of the Eleventh Annual Symposium on Computational Geometry, 1995