Michel Langevin

30 papers A* 3A 2B 1C 4Misc 1Journal 6Unranked 12
YearRankTypeTitle / Venue / Authors
2013 — conf
A dynamic stream link for efficient data flow control in NoC based heterogeneous MPSoC.
ASP-DAC
Claude Helmstetter, Sylvain Basset, Romain Lemaire, Fabien Clermidy, Pascal Vivet, Michel Langevin, Chuck Pilkington, Pierre G. Paulin, Didier Fuin
2012 J jnl
Integrating Memory Optimization with Mapping Algorithms for Multi-Processors System-on-Chip.
ACM Trans. Embed. Comput. Syst.
Bruno Girodias, Luiza Gheorghe Iugan, Youcef Bouchebaba, Gabriela Nicolescu, El Mostapha Aboulhamid, Michel Langevin, Pierre G. Paulin
2012 — conf
On the Verification of a WiMax Design Using Symbolic Simulation.
SCSS
Salim Ismail Al-Akhras, Sofiène Tahar, Gabriela Nicolescu, Michel Langevin, Pierre G. Paulin
2010 J jnl
Combining mapping and partitioning exploration for NoC-based embedded systems.
J. Syst. Archit.
Sébastien Le Beux, Guy Bois, Gabriela Nicolescu, Youcef Bouchebaba, Michel Langevin, Pierre G. Paulin
2010 C conf
Combining memory optimization with mapping of multimedia applications for multi-processors system-on-chip.
International Symposium on Rapid System Prototyping
Bruno Girodias, Luiza Gheorghe, Youcef Bouchebaba, Gabriela Nicolescu, El Mostapha Aboulhamid, Michel Langevin, Pierre G. Paulin
2010 C conf
MpAssign: A framework for solving the many-core platform mapping problem.
International Symposium on Rapid System Prototyping
Youcef Bouchebaba, Pierre G. Paulin, Ali Erdem Özcan, Bruno Lavigueur, Michel Langevin, Olivier Benny, Gabriela Nicolescu
2009 — conf
Optimizing Configuration and Application Mapping for MPSoC Architectures.
AHS
Sébastien Le Beux, Gabriela Nicolescu, Guy Bois, Youcef Bouchebaba, Michel Langevin, Pierre G. Paulin
2007 — conf
An FPGA Implementation of a Scalable Network-on-Chip Based on the Token Ring Concept.
ICECS
Karim Hadjiat, Francis St-Pierre, Guy Bois, Yvon Savaria, Michel Langevin, Pierre G. Paulin
2006 A conf
Distributed object models for multi-processor SoC's, with application to low-power multimedia wireless systems.
DATE
Pierre G. Paulin, Chuck Pilkington, Michel Langevin, Essaid Bensoudane, Olivier Benny, Damien Lyonnard, Bruno Lavigueur, David Lo
2006 J jnl
Parallel programming models for a multiprocessor SoC platform applied to networking and multimedia.
IEEE Trans. Very Large Scale Integr. Syst.
Pierre G. Paulin, Chuck Pilkington, Michel Langevin, Essaid Bensoudane, Damien Lyonnard, Olivier Benny, Bruno Lavigueur, David Lo, Giovanni Beltrame, Vincent Gagné, Gabriela Nicolescu
2005 — ch.
A Multiprocessor SoC Platform and Tools for Communications Applications.
Embedded Systems Handbook
Essaid Bensoudane, Gabriela Nicolescu, Pierre G. Paulin, Michel Langevin, Chuck Pilkington, Damien Lyonnard
2004 A conf
Application of a Multi-Processor SoC Platform to High-Speed Packet Forwarding.
DATE
Pierre G. Paulin, Chuck Pilkington, Essaid Bensoudane, Michel Langevin, Damien Lyonnard
2004 Misc conf
Parallel programming models for a multi-processor SoC platform applied to high-speed traffic management.
CODES+ISSS
Pierre G. Paulin, Chuck Pilkington, Michel Langevin, Essaid Bensoudane, Gabriela Nicolescu
1999 J jnl
Modeling and formal verification of the Fairisle ATM switch fabricusing MDGs.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Sofiène Tahar, Xiaoyu Song, Eduard Cerny, Zijian Zhou, Michel Langevin, Otmane Aït Mohamed
1997 J jnl
Multiway Decision Graphs for Automated Hardware Verification.
Formal Methods Syst. Des.
Francisco Corella, Zijian Zhou, Xiaoyu Song, Michel Langevin, Eduard Cerny
1997 — conf
Verification with Abstract State Machines Using MDGs.
Formal Hardware Verification
Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Zijian Zhou
1996 J jnl
A recursive technique for computing lower-bound performance of schedules.
ACM Trans. Design Autom. Electr. Syst.
Michel Langevin, Eduard Cerny
1996 C conf
Behavioral Verification of an ATM Switch Fabric using Implicit Abstract State Enumeration.
ICCD
Michel Langevin, Sofiène Tahar, Zijian Zhou, Xiaoyu Song, Eduard Cerny
1996 — conf
Formal Verification of an ATM Switch Fabric using Multiway Decision Graphs.
Great Lakes Symposium on VLSI
Sofiène Tahar, Zijian Zhou, Xiaoyu Song, Eduard Cerny, Michel Langevin
1996 B conf
Formal Verification of the Island Tunnel Controller Using Multiway Decision Graphs.
FMCAD
Zijian Zhou, Xiaoyu Song, Sofiène Tahar, Eduard Cerny, Francisco Corella, Michel Langevin
1996 A* conf
MDG Tools for the Verification of RTL Designs.
CAV
K. D. Anon, N. Boulerice, Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Ying Xu, Zijian Zhou
1995 — conf
Partitioning transition relations efficiently and automatically.
Great Lakes Symposium on VLSI
Zijian Zhou, Xiaoyu Song, Francisco Corella, Eduard Cerny, Michel Langevin
1995 — conf
State enumeration with abstract descriptions of state machines.
CHARME
Francisco Corella, Michel Langevin, Eduard Cerny, Zijian Zhou, Xiaoyu Song
1995 — conf
WWW based structuring of codesigns.
ISSS
Paul-Gerhard Plöger, Jörg Wilberg, Michel Langevin, Raul Camposano
1994 — conf
An Extended OBDD Representation for Extended FSMs.
EDAC-ETC-EUROASIC
Michel Langevin, Eduard Cerny
1994 — conf
Local microcode generation in system design.
Code Generation for Embedded Processors
Michel Langevin, Eduard Cerny, Jörg Wilberg, Heinrich Theodor Vierhaus
1993 C conf
A Recursive Technique for Computing Lower-Bound Performance of Schedules.
ICCD
Michel Langevin, Eduard Cerny
1991 A* conf
Comparing Generic State Machines.
CAV
Michel Langevin, Eduard Cerny
1990 A* conf
Automated RTL Verification Based on Predicate Calculus.
CAV
Michel Langevin
1990 — conf
Automated RTL Verification Based on Predicate Calculus.
CAV (DIMACS/AMS volume)
Michel Langevin