Michel Langevin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
6
Active years
1990–2013
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ASPDAC | 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 |
| 2010 | RSP | 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 |
| 2010 | RSP | 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 |
| 2006 | DATE | 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 |
| 2004 | DATE | Application of a Multi-Processor SoC Platform to High-Speed Packet Forwarding. | Pierre G. Paulin, Chuck Pilkington, Essaid Bensoudane, Michel Langevin, Damien Lyonnard |
| 1996 | CAV | MDG Tools for the Verification of RTL Designs. | K. D. Anon, N. Boulerice, Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofine Tahar, Ying Xu, Zijian Zhou |
| 1996 | FMCAD | Formal Verification of the Island Tunnel Controller Using Multiway Decision Graphs. | Zijian Zhou, Xiaoyu Song, Sofine Tahar, Eduard Cerny, Francisco Corella, Michel Langevin |
| 1996 | ICCD | Behavioral Verification of an ATM Switch Fabric using Implicit Abstract State Enumeration. | Michel Langevin, Sofine Tahar, Zijian Zhou, Xiaoyu Song, Eduard Cerny |
| 1993 | ICCD | A Recursive Technique for Computing Lower-Bound Performance of Schedules. | Michel Langevin, Eduard Cerny |
| 1991 | CAV | Comparing Generic State Machines. | Michel Langevin, Eduard Cerny |
| 1990 | CAV | Automated RTL Verification Based on Predicate Calculus. | Michel Langevin |