Michel Langevin

According to our database, Michel Langevin authored at least 28 papers between 1990 and 2013.

Collaborative distances:

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

2013

A dynamic stream link for efficient data flow control in NoC based heterogeneous MPSoC.

Claude Helmstetter, Sylvain Basset, Romain Lemaire, Fabien Clermidy, Pascal Vivet, Michel Langevin, Chuck Pilkington, Pierre G. Paulin, Didier Fuin

Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013

2012

Integrating Memory Optimization with Mapping Algorithms for Multi-Processors System-on-Chip.

Bruno Girodias, Luiza Gheorghe Iugan, Youcef Bouchebaba, Gabriela Nicolescu, El Mostapha Aboulhamid, Michel Langevin, Pierre G. Paulin

ACM Trans. Embed. Comput. Syst., 2012

On the Verification of a WiMax Design Using Symbolic Simulation.

Salim Ismail Al-Akhras, Sofiène Tahar, Gabriela Nicolescu, Michel Langevin, Pierre G. Paulin

Proceedings of the Proceedings Fourth International Symposium on Symbolic Computation in Software Science, 2012

2010

Combining mapping and partitioning exploration for NoC-based embedded systems.

Sébastien Le Beux, Guy Bois, Gabriela Nicolescu, Youcef Bouchebaba, Michel Langevin, Pierre G. Paulin

J. Syst. Archit., 2010

Combining memory optimization with mapping of multimedia applications for multi-processors system-on-chip.

Bruno Girodias, Luiza Gheorghe, Youcef Bouchebaba, Gabriela Nicolescu, El Mostapha Aboulhamid, Michel Langevin, Pierre G. Paulin

Proceedings of the 21st IEEE International Symposium on Rapid System Prototyping, 2010

MpAssign: A framework for solving the many-core platform mapping problem.

Youcef Bouchebaba, Pierre G. Paulin, Ali Erdem Özcan, Bruno Lavigueur, Michel Langevin, Olivier Benny, Gabriela Nicolescu

Proceedings of the 21st IEEE International Symposium on Rapid System Prototyping, 2010

2009

Optimizing Configuration and Application Mapping for MPSoC Architectures.

Sébastien Le Beux, Gabriela Nicolescu, Guy Bois, Youcef Bouchebaba, Michel Langevin, Pierre G. Paulin

Proceedings of the NASA/ESA Conference on Adaptive Hardware and Systems, 2009

2007

An FPGA Implementation of a Scalable Network-on-Chip Based on the Token Ring Concept.

Karim Hadjiat, Francis St-Pierre, Guy Bois, Yvon Savaria, Michel Langevin, Pierre G. Paulin

Proceedings of the 14th IEEE International Conference on Electronics, 2007

2006

Parallel programming models for a multiprocessor SoC platform applied to networking and multimedia.

Pierre G. Paulin, Chuck Pilkington, Michel Langevin, Essaid Bensoudane, Damien Lyonnard, Olivier Benny, Bruno Lavigueur, David Lo, Giovanni Beltrame, Vincent Gagné, Gabriela Nicolescu

IEEE Trans. Very Large Scale Integr. Syst., 2006

Distributed object models for multi-processor SoC's, with application to low-power multimedia wireless systems.

Pierre G. Paulin, Chuck Pilkington, Michel Langevin, Essaid Bensoudane, Olivier Benny, Damien Lyonnard, Bruno Lavigueur, David Lo

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

2005

A Multiprocessor SoC Platform and Tools for Communications Applications.

Essaid Bensoudane, Gabriela Nicolescu, Pierre G. Paulin, Michel Langevin, Chuck Pilkington, Damien Lyonnard

Proceedings of the Embedded Systems Handbook., 2005

2004

Application of a Multi-Processor SoC Platform to High-Speed Packet Forwarding.

Pierre G. Paulin, Chuck Pilkington, Essaid Bensoudane, Michel Langevin, Damien Lyonnard

Proceedings of the 2004 Design, 2004

Parallel programming models for a multi-processor SoC platform applied to high-speed traffic management.

Pierre G. Paulin, Chuck Pilkington, Michel Langevin, Essaid Bensoudane, Gabriela Nicolescu

Proceedings of the 2nd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2004

1999

Modeling and formal verification of the Fairisle ATM switch fabricusing MDGs.

Sofiène Tahar, Xiaoyu Song, Eduard Cerny, Zijian Zhou, Michel Langevin, Otmane Aït Mohamed

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999

1997

Multiway Decision Graphs for Automated Hardware Verification.

Francisco Corella, Zijian Zhou, Xiaoyu Song, Michel Langevin, Eduard Cerny

Formal Methods Syst. Des., 1997

Verification with Abstract State Machines Using MDGs.

Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Zijian Zhou

Proceedings of the Formal Hardware Verification - Methods and Systems in Comparison, 1997

1996

A recursive technique for computing lower-bound performance of schedules.

Michel Langevin, Eduard Cerny

ACM Trans. Design Autom. Electr. Syst., 1996

Behavioral Verification of an ATM Switch Fabric using Implicit Abstract State Enumeration.

Michel Langevin, Sofiène Tahar, Zijian Zhou, Xiaoyu Song, Eduard Cerny

Proceedings of the 1996 International Conference on Computer Design (ICCD '96), 1996

Formal Verification of an ATM Switch Fabric using Multiway Decision Graphs.

Sofiène Tahar, Zijian Zhou, Xiaoyu Song, Eduard Cerny, Michel Langevin

Proceedings of the 6th Great Lakes Symposium on VLSI (GLS-VLSI '96), 1996

Formal Verification of the Island Tunnel Controller Using Multiway Decision Graphs.

Zijian Zhou, Xiaoyu Song, Sofiène Tahar, Eduard Cerny, Francisco Corella, Michel Langevin

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

MDG Tools for the Verification of RTL Designs.

K. D. Anon, N. Boulerice, Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Ying Xu, Zijian Zhou

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

WWW based structuring of codesigns.

Paul-Gerhard Plöger, Jörg Wilberg, Michel Langevin, Raul Camposano

Proceedings of the 8th International Symposium on System Synthesis (ISSS 1995), 1995

Partitioning transition relations efficiently and automatically.

Zijian Zhou, Xiaoyu Song, Francisco Corella, Eduard Cerny, Michel Langevin

Proceedings of the 5th Great Lakes Symposium on VLSI (GLS-VLSI '95), 1995

State enumeration with abstract descriptions of state machines.

Francisco Corella, Michel Langevin, Eduard Cerny, Zijian Zhou, Xiaoyu Song

Proceedings of the Correct Hardware Design and Verification Methods, 1995

1994

An Extended OBDD Representation for Extended FSMs.

Michel Langevin, Eduard Cerny

Proceedings of the EDAC - The European Conference on Design Automation, ETC - European Test Conference, EUROASIC - The European Event in ASIC Design, Proceedings, February 28, 1994

Local microcode generation in system design.

Michel Langevin, Eduard Cerny, Jörg Wilberg, Heinrich Theodor Vierhaus

Proceedings of the Code Generation for Embedded Processors [Dagstuhl Workshop, Dagstuhl, Germany, August 31, 1994

1991

Comparing Generic State Machines.

Michel Langevin, Eduard Cerny

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1990

Automated RTL Verification Based on Predicate Calculus.

Michel Langevin

Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990