BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Germany
2 × France
2 × USA
Collaborated with:
E.Cerny P.G.Paulin C.Pilkington E.Bensoudane D.Lyonnard O.Benny B.Lavigueur D.Lo K.D.Anon N.Boulerice F.Corella X.Song S.Tahar Y.Xu Z.Zhou
Talks about:
processor (2) extend (2) applic (2) verif (2) multi (2) rtl (2) multimedia (1) represent (1) distribut (1) wireless (1)

Person: Michel Langevin

DBLP DBLP: Langevin:Michel

Contributed to:

DATE 20062006
DATE DF 20042004
CAV 19961996
CAV 19911991
CAV 19901990

Wrote 6 papers:

DATE-2006-PaulinPLBBLLL #distributed #modelling #multi #power management
Distributed object models for multi-processor SoC’s, with application to low-power multimedia wireless systems (PGP, CP, ML, EB, OB, DL, BL, DL), pp. 482–487.
DATE-DF-2004-PaulinPBLL #framework #multi #performance
Application of a Multi-Processor SoC Platform to High-Speed Packet Forwarding (PGP, CP, EB, ML, DL), pp. 58–63.
CAV-1996-AnonBCCLSTXZ #design #tool support #verification
MDG Tools for the Verification of RTL Designs (KDA, NB, EC, FC, ML, XS, ST, YX, ZZ), pp. 433–436.
EDAC-1994-LangevinC #representation
An Extended OBDD Representation for Extended FSMs (ML, EC), pp. 208–213.
CAV-1991-LangevinC #state machine
Comparing Generic State Machines (ML, EC), pp. 466–476.
CAV-1990-Langevin #automation #calculus #verification
Automated RTL Verification Based on Predicate Calculus (ML), pp. 116–125.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.