WorldCat Identities

Langevin, M. (Michel)

Overview
Works: 21 works in 46 publications in 4 languages and 572 library holdings
Genres: Conference papers and proceedings  Pictorial works 
Roles: Author, Editor, Author of introduction, Other
Classifications: QA3, 512.7
Publication Timeline
.
Most widely held works by M Langevin
Cinquante ans de polynômes = Fifty years of polynomials : proceedings of a conference held in honour of Alain Durand at the Institut Henri Poincaré, Paris, France, May 26-27, 1988 by M Langevin( Book )

23 editions published between 1989 and 1990 in 5 languages and held by 384 WorldCat member libraries worldwide

Before his untimely death in 1986, Alain Durand had undertaken a systematic and in-depth study of the arithmetic perspectives of polynomials. Four unpublished articles of his, formed the centerpiece of attention at a colloquium in Paris in 1988 and are reproduced in this volume together with 11 other papers on closely related topics. A detailed introduction by M. Langevin sets the scene and places these articles in a unified perspective
Levels of pollution of the environment by the principal pollutants : synthesis report by J Bouquiaux( Book )

3 editions published in 1977 in English and held by 7 WorldCat member libraries worldwide

METHODES TRANSCENDANTES EN THEORIE DES NOMBRES by M Langevin( Book )

2 editions published in 1987 in French and held by 5 WorldCat member libraries worldwide

PAR UNE UTILISATION CONJOINTE DE TECHNIQUES DE TRANSCENDANCE OU ELEMENTAIRES, ON MINORE SOIT LE PLUS GRAND FACTEUR PREMIER, SOIT LA PARTIE SANS FACTEUR CARRE, SOIT ENCORE LE NOMBRE DE DIVISEURS PREMIERS DE PRODUITS D'ENTIERS EN PROGRESSION ARITHMETIQUE OU DE TERMES DE MEME NATURE. ON ABORDE EGALEMENT PAR CES PROCEDES LE PROBLEME D'ERDOES-WOODS, LA CONJECTURE DE GRIMM... DANS UNE SECONDE PARTIE, ON EMPLOIE LE SCHEMA DES DEMONSTRATIONS DE TRANSCENDANCE POUR ETUDIER DES PROBLEMES DE THEORIE DES NOMBRES OU D'ANALYSE LIES A LA REPARTITION DES ZEROS DES POLYNOMES : PROBLEME DE LEHMER, PROBLEME DE FAVARD, EXTENSIONS DU THEOREME DE BERNSTEIN
Fifty years of polynomials : Conference : Papers( Book )

1 edition published in 1989 in French and held by 4 WorldCat member libraries worldwide

Le temps, l'espace et la causalité dans la physique moderne by M Langevin( Book )

1 edition published in 1912 in French and held by 3 WorldCat member libraries worldwide

Cinquente ans de polynômes = Fifty years of polynomials : proceedings of a congference...( Book )

1 edition published in 1990 in French and held by 3 WorldCat member libraries worldwide

Verification of input constraints for synchronous circuits by M Langevin( Book )

1 edition published in 1988 in English and held by 2 WorldCat member libraries worldwide

Worlds away : Voivoid and the art of Michel Langevin by Martin Popoff( Book )

1 edition published in 2009 in English and held by 2 WorldCat member libraries worldwide

Denis Dion Portrait musical by Denis Dion( Recording )

in Undetermined and held by 2 WorldCat member libraries worldwide

Atlas complet de géographie physique, politique et historique ancienne, du moyen age et moderne ; composé de 58 cartes( )

1 edition published in 1850 in French and held by 1 WorldCat member library worldwide

Extended OBDD representation for extended FSMs by M Langevin( Book )

1 edition published in 1993 in English and held by 1 WorldCat member library worldwide

Abstract: "This paper presents a subset of the predicate calculus, called the case calculus, which is suitable for describing Extended Finite State Machines (EFSMs). EFSMs can be used as abstract behavioral models of combined datapath and control hardware systems. Case expressions can be represented using Extended OBDDs (EOBDDs) that are Ordered Binary Decision Diagrams (OBDDs) with many leaves, a representation having the following advantages: 1) it is compact, 2) it allows an efficient implementation of logical operations on expressions, and 3) it is unique for many semantically equivalent expressions. Moreover, operations required by formal verification and synthesis techniques based on EFSM models, such as the 'pre' and 'post' operations on sets of states, can also be efficiently implemented, and verifying the equivalence of expressions can be more automated. We show the usefulness of this representation in design verification and microcode synthesis."
Essai sur la construction d'une voirie forestière by M Langevin( Book )

1 edition published in 1971 in French and held by 1 WorldCat member library worldwide

Description and verification of RTL designs using multiway decision graphs by Thomas J. Watson IBM Research Center( Book )

1 edition published in 1994 in English and held by 1 WorldCat member library worldwide

Microcode generation for datapath with multiport memories by M Langevin( Book )

1 edition published in 1993 in English and held by 1 WorldCat member library worldwide

Abstract: "We address the problem of optimal local microcode generation from a dataflow graph (DFG) to a fixed datapath (e.g., a commercial DSP processor). We base the approach on the exploration of the symbolic state space of the extended finite state machine corresponding to the datapath using a subset of the first-order calculus. The difficult problem of extracting the optimal solution from the huge state space is tackled using a mixture of three strategies: First, the state explosion is managed by treating the contents of multiport memories as sets of values (the exact address of the item is immaterial and duplicate data in the same memory are avoided). Second, we use a novel technique for computing a lower bound on the execution schedule as basis for early pruning of non- optimal solutions. This greatly accelerates the search for the best solution in the large state space. Third, two known mixed breadth-depth first strategies are adapted to explore the state space. As far as we know, our approach permits to generate the optimal local microcode for non- trivial examples that are too complex for the other existing exact methods. We show experimental results for known DFG benchmarks and a datapath architecture similar to the one of the Analog Devices ADSP-2100 microprocessor."
La théorie de la relativité by Edmond Bauer( Book )

1 edition published in 1922 in French and held by 1 WorldCat member library worldwide

An approach for verifying systems described at the register- transfer level by M Langevin( Book )

1 edition published in 1992 in English and held by 1 WorldCat member library worldwide

Abstract: "This paper presents a framework for designing zero- defect synchronous circuits implemented at the Register-Transfer Level [RTL] of abstraction. A description modeled at this level can be compiled into layout using known synthesis methods. The specification of the circuit is described at a higher level of abstraction as an algorithm. The validation of the design consists of extracting the functionality of the circuit implementation and comparing it with the specification. The proposed verification technique is an adaptation of the automata equivalence algorithm and inclusion of program verification and theorem proving techniques."
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.72 (from 0.52 for An approac ... to 0.98 for Cinquente ...)

Cinquante ans de polynômes = Fifty years of polynomials : proceedings of a conference held in honour of Alain Durand at the Institut Henri Poincaré, Paris, France, May 26-27, 1988Cinquante Ans de Polynômes Fifty Years of Polynomials : Proceedings of a Conference held in honour of Alain Durand at the Institut Henri Poincaré Paris, France, May 26-27, 1988Cinquante Ans de Polynomes - Fifty Years of Polynomials Proceedings of a Conference held in honour of Alain Durand at the Institut Henri Poincare. Paris, France, May 26-27, 1988Fifty years of polynomials : Conference : PapersCinquente ans de polynômes = Fifty years of polynomials : proceedings of a congference...
Alternative Names
Langevin, M.

Langevin, Michel

Michel Langevin Canadees grafisch ontwerper

Michel Langevin Canadian musician

Michel Langevin kanadischer Schlagzeuger und Grafikdesigner

Languages
Covers
Cinquante Ans de Polynômes Fifty Years of Polynomials : Proceedings of a Conference held in honour of Alain Durand at the Institut Henri Poincaré Paris, France, May 26-27, 1988Cinquante Ans de Polynomes - Fifty Years of Polynomials Proceedings of a Conference held in honour of Alain Durand at the Institut Henri Poincare. Paris, France, May 26-27, 1988Fifty years of polynomials : Conference : PapersCinquente ans de polynômes = Fifty years of polynomials : proceedings of a congference...