( en | de | ru )

 

Disambiguation of "Langevin, Michel"

Author of the publication

copydeleteadd this publication to your clipboard
Parallel programming models for a multi-processor SoC platform applied to high-speed traffic management.

, , , , and . CODES+ISSS, page 48-53. ACM, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Michel Georg Michel

Michel Ghazal

Prognostische Relevanz der Schildwächterlymphknotenbiopsie beim malignen Melanom. MedH Hannover, (2009)

Christine Michel

Malaise dans l'érotisme: Darstellungen sexueller Praktiken und Formen in der französischsprachigen Literatur der Gegenwart. Uni Marburg, (2008)

Wolfgang Michel

Bernhard Michel

 

Other publications of authors with the same name

Local microcode generation in system design., , , and . Code Generation for Embedded Processors, page 171-187. Kluwer, (1994)An FPGA Implementation of a Scalable Network-on-Chip Based on the Token Ring Concept., , , , , and . ICECS, page 995-998. IEEE, (2007)WWW based structuring of codesigns., , , and . ISSS, page 138-143. ACM, (1995)A recursive technique for computing lower-bound performance of schedules., and . ACM Trans. Design Autom. Electr. Syst., 1 (4): 443-455 (1996)Automated RTL Verification Based on Predicate Calculus.. CAV (DIMACS/AMS volume), volume 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 577-590. DIMACS/AMS, (1990)Partitioning transition relations efficiently and automatically., , , , and . Great Lakes Symposium on VLSI, page 106-111. IEEE Computer Society, (1995)State enumeration with abstract descriptions of state machines., , , , and . CHARME, volume 987 of Lecture Notes in Computer Science, page 146-160. Springer, (1995)An Extended OBDD Representation for Extended FSMs., and . EDAC-ETC-EUROASIC, page 208-213. IEEE Computer Society, (1994)Comparing Generic State Machines., and . CAV, volume 575 of Lecture Notes in Computer Science, page 466-476. Springer, (1991)Multiway Decision Graphs for Automated Hardware Verification., , , , and . Formal Methods Syst. Des., 10 (1): 7-46 (1997)