Jean Vuillemin

65 papers A* 15A 2B 3C 6Journal 26Unranked 12
YearRankTypeTitle / Venue / Authors
2016 — conf
The Conjoined Microprocessor.
HOST
Ehsan Aerabi, A. Elhadi Amirouche, Houda Ferradi, Rémi Géraud, David Naccache, Jean Vuillemin
2015 J jnl
The Conjoined Microprocessor.
IACR Cryptol. ePrint Arch.
Ehsan Aerabi, A. Elhadi Amirouche, Houda Ferradi, Rémi Géraud, David Naccache, Jean Vuillemin
2012 C conf
Defensive Leakage Camouflage.
CARDIS
Eric Brier, Quentin Fortier, Roman Korkikian, Khalid W. Magld, David Naccache, Guilherme Ozari de Almeida, Adrien Pommellet, A. H. Ragab, Jean Vuillemin
2012 J jnl
Defensive Leakage Camouflage.
IACR Cryptol. ePrint Arch.
Eric Brier, Quentin Fortier, Roman Korkikian, Khalid W. Magld, David Naccache, Guilherme Ozari de Almeida, Adrien Pommellet, A. H. Ragab, Jean Vuillemin
2009 C conf
Compact Normal Form for Regular Languages as Xor Automata.
CIAA
Jean Vuillemin, Nicolas Gama
2009 C conf
Efficient Data Structure and Algorithms for Sparse Integers, Sets and Predicates.
IEEE Symposium on Computer Arithmetic
Jean Vuillemin
2006 B conf
Real-Time Video Pixel Matching.
FPL
Jean-Baptiste Note, Mark Shand, Jean Vuillemin
2004 — conf
On the BDD of a Random Boolean Function.
ASIAN
Jean Vuillemin, Frédéric Béal
2003 — conf
Digital Algebra and Circuits.
Verification: Theory and Practice
Jean Vuillemin
2000 — conf
Finite Digital Synchronous Circuits Are Characterized by 2-Algebraic Truth Tables.
ASIAN
Jean Vuillemin
1999 A conf
A Reconfigurable Arithmetic Array for Multimedia Application.
FPGA
Alan Marshall, Tony Stansfield, Igor Kostarnov, Jean Vuillemin, Brad L. Hutchings
1998 — conf
Reconfigurable Systems: Past and Next 10 Years.
VECPAR
Jean Vuillemin
1996 J jnl
Programmable active memories: reconfigurable systems come of age.
IEEE Trans. Very Large Scale Integr. Syst.
Jean Vuillemin, Patrice Bertin, Didier Roncin, Mark Shand, Hervé H. Touati, Philippe Boucard
1996 J jnl
Real-time high-energy physics applications on DECPeRLe-1 programmable active memory.
J. VLSI Signal Process.
Laurent Moll, Jean Vuillemin, Philippe Boucard, Lars Lundheim
1995 A conf
High-Energy Physics on DECPeRLe-1 Programmable Active Memory.
FPGA
Laurent Moll, Jean Vuillemin, Philippe Boucard
1994 — conf
Fast linear Hough transform.
ASAP
Jean Vuillemin
1994 B conf
Implementing On Line Arithmetic on PAM.
FPL
Marc Daumas, Jean-Michel Muller, Jean Vuillemin
1994 J jnl
On Circuits and Numbers.
IEEE Trans. Computers
Jean Vuillemin
1994 — conf
On Computing Power.
Programming Languages and System Architectures
Jean Vuillemin
1993 C conf
Fast implementations of RSA cryptography.
IEEE Symposium on Computer Arithmetic
Mark Shand, Jean Vuillemin
1992 — conf
Programmable Active Memories: A Performance Assessment.
Heinz Nixdorf Symposium
Patrice Bertin, Didier Roncin, Jean Vuillemin
1991 C conf
Constant time arbitrary length synchronous binary counters.
IEEE Symposium on Computer Arithmetic
Jean Vuillemin
1991 J jnl
Hardware speedups in long integer multiplication.
SIGARCH Comput. Archit. News
Mark Shand, Patrice Bertin, Jean Vuillemin
1990 J jnl
Exact Real Computer Arithmetic with Continued Fractions.
IEEE Trans. Computers
Jean Vuillemin
1990 B conf
Hardware Speedups in Long Integer Multiplication.
SPAA
Mark Shand, Patrice Bertin, Jean Vuillemin
1990 J jnl
Practical Cellular Dividers.
IEEE Trans. Computers
Franco P. Preparata, Jean Vuillemin
1988 — conf
Exact Real Computer Arithmetic with Continued Fractions.
LISP and Functional Programming
Jean Vuillemin
1986 J jnl
The analysis of simple list structures.
Inf. Sci.
Philippe Flajolet, Claude Puech, Jean Vuillemin
1983 J jnl
A Combinatorial Limit to the Computing Power of VLSI Circuits.
IEEE Trans. Computers
Jean Vuillemin
1983 J jnl
A very fast multiplication algorithm for VLSI implementation.
Integr.
Jean Vuillemin
1983 J jnl
Area-Time Optimal VLSI Circuits for Convolution.
IEEE Trans. Computers
Gérard M. Baudet, Franco P. Preparata, Jean Vuillemin
1983 C conf
On fast binary addition in MDS Technologies.
IEEE Symposium on Computer Arithmetic
Leonidas J. Guibas, Jean Vuillemin
1981 A* conf
Area-Time Optimal VLSI Networks for Computing Integer Multiplications and Discrete Fourier Transform.
ICALP
Franco P. Preparata, Jean Vuillemin
1981 J jnl
The Cube-Connected Cycles: A Versatile Network for Parallel Computation.
Commun. ACM
Franco P. Preparata, Jean Vuillemin
1980 A* conf
A Combinatorial Limit to the Computing Power of V.L.S.I. Circuits (Extended Abstract)
FOCS
Jean Vuillemin
1980 J jnl
A Unifying Look at Data Structures.
Commun. ACM
Jean Vuillemin
1980 J jnl
Area-Time Optimal VLSI Networks for Multiplying Matrices.
Inf. Process. Lett.
Franco P. Preparata, Jean Vuillemin
1980 J jnl
Operational and Semantic Equivalence Between Recursive Programs.
J. ACM
Jean-Claude Raoult, Jean Vuillemin
1980 A* conf
Optimal Unbounded Search Strategies.
ICALP
Jean-Claude Raoult, Jean Vuillemin
1980 J jnl
Sequence of Operations Analysis for Dynamic Data Structures.
J. Algorithms
Philippe Flajolet, Jean Françon, Jean Vuillemin
1979 A* conf
Computing Integrated Costs of Sequences of Operations with Application to Dictionaries
STOC
Philippe Flajolet, Jean Françon, Jean Vuillemin
1979 A* conf
The Cube-Connected-Cycles: A Versatile Network for Parallel Computation (Extended Abstract)
FOCS
Franco P. Preparata, Jean Vuillemin
1979 J jnl
The Number of Registers Required for Evaluating Arithmetic Expressions.
Theor. Comput. Sci.
Philippe Flajolet, Jean-Claude Raoult, Jean Vuillemin
1979 A* conf
Towards Analysing Sequences of Operations for Dynamic Data Structures (Preliminary Version)
FOCS
Philippe Flajolet, Jean Françon, Jean Vuillemin
1978 J jnl
A Data Structure for Manipulating Priority Queues.
Commun. ACM
Jean Vuillemin
1978 A* conf
Description and Analysis of an Efficient Priority Queue Representation
FOCS
Jean Françon, Gérard Viennot, Jean Vuillemin
1978 A* conf
Operational and Semantic Equivalence between Recursive Programs
STOC
Jean-Claude Raoult, Jean Vuillemin
1977 J jnl
Comment Verifier l'Associativite d'une Table de Groupe.
Theor. Comput. Sci.
Jean Vuillemin
1977 A* conf
On the Average Number of Registers Required for Evaluating Arithmetic Expressions
FOCS
Philippe Flajolet, Jean-Claude Raoult, Jean Vuillemin
1976 J jnl
Completeness Results for the Equivalence of Recursive Schemas.
J. Comput. Syst. Sci.
Bruno Courcelle, Jean Vuillemin
1976 J jnl
On Recognizing Graph Properties from Adjacency Matrices.
Theor. Comput. Sci.
Ronald L. Rivest, Jean Vuillemin
1975 A* conf
A Generalization and Proof of the Aanderaa-Rosenberg Conjecture
STOC
Ronald L. Rivest, Jean Vuillemin
1974 A* conf
Algorithmes d'equivalence et de reduction a des expressions minimales dans une classe d'equations recursives simples.
ICALP
Bruno Courcelle, Gilles Kahn, Jean Vuillemin
1974 A* conf
An Efficient Algorithm for Computing Optimal Desk Merge Patterns (Extended Abstract)
STOC
Laurent Hyafil, F. Prusker, Jean Vuillemin
1974 — conf
Complétude d'un système formel pour prouver l'équivalence de certains schémas récursifs monadiques.
Symposium on Programming
Bruno Courcelle, Jean Vuillemin
1974 J jnl
Correct and Optimal Implementations of Recursion in a Simple Programming Language.
J. Comput. Syst. Sci.
Jean Vuillemin
1974 — conf
Design of Optimal Merge on Direct Access Devices.
IFIP Congress
Laurent Hyafil, F. Prusker, Jean Vuillemin
1974 A* conf
Semantics and Axiomatics of a Simple Recursive Language
STOC
Bruno Courcelle, Jean Vuillemin
1973 A* conf
Correct and Optimal Implementations of Recursion in a Simple Programming Language
STOC
Jean Vuillemin
1973 J jnl
Inductive Methods for Proving Properties of Programs.
Commun. ACM
Zohar Manna, Stephen Nes, Jean Vuillemin
1973 J jnl
Optimal Disk Merge Patterns.
Acta Informatica
Maurice Schlumberger, Jean Vuillemin
1973 — —
Proof techniques for recursive programs.
Jean Vuillemin
1972 J jnl
Fix Point Approach to the Theory of Computation.
Commun. ACM
Zohar Manna, Jean Vuillemin
1972 A* conf
Fixpoint Approach to the Theory of Computation.
ICALP
Zohar Manna, Jean Vuillemin
1972 — conf
Inductive methods for proving properties of programs.
Proving Assertions About Programs
Zohar Manna, Stephen Nes, Jean Vuillemin