Jean Vuillemin

Publication Activity (10 Years)

Years Active: 1972-2016
Publications (10 Years): 2

Top Topics

Special Purpose Hardware

Data Leakage Prevention

Multiresolution

Top Venues

IACR Cryptol. ePrint Arch.

Publications

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