Jean Vuillemin - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 65 from 65

2016

The Conjoined MicroprocessorEhsan Aerabi, A. Elhadi Amirouche, Houda Ferradi, Rémi Géraud, David Naccache, Jean Vuillemin. host 2016: 67-70 [doi]

2015

The Conjoined MicroprocessorEhsan Aerabi, A. Elhadi Amirouche, Houda Ferradi, Rémi Géraud, David Naccache, Jean Vuillemin. iacr, 2015:974, 2015. [doi]

2012

2009

Efficient Data Structure and Algorithms for Sparse Integers, Sets and PredicatesJean Vuillemin. arith 2009: 7-14 [doi]

Compact Normal Form for Regular Languages as Xor AutomataJean Vuillemin, Nicolas Gama. wia 2009: 24-33 [doi]

2006

Real-Time Video Pixel MatchingJean-Baptiste Note, Mark Shand, Jean Vuillemin. fpl 2006: 1-6 [doi]

2004

On the BDD of a Random Boolean FunctionJean Vuillemin, Frédéric Béal. asian 2004: 483-493 [doi]

2003

Digital Algebra and CircuitsJean Vuillemin. BIRTHDAY 2003: 733-746 [doi]

2000

Finite Digital Synchronous Circuits Are Characterized by 2-Algebraic Truth TablesJean Vuillemin. asian 2000: 1-12 [doi]

1999

A Reconfigurable Arithmetic Array for Multimedia ApplicationAlan Marshall, Tony Stansfield, Igor Kostarnov, Jean Vuillemin, Brad L. Hutchings. fpga 1999: 135-143 [doi]

1998

Reconfigurable Systems: Past and Next 10 YearsJean Vuillemin. vecpar 1999: 334-354

1996

Real-time high-energy physics applications on DECPeRLe-1 programmable active memoryLaurent Moll, Jean Vuillemin, Philippe Boucard, Lars Lundheim. vlsisp, 12(1):21-33, 1996. [doi]

Programmable active memories: reconfigurable systems come of ageJean Vuillemin, Patrice Bertin, Didier Roncin, Mark Shand, H. H. Touati, Philippe Boucard. tvlsi, 4(1):56-69, 1996. [doi]

1995

High-Energy Physics on DECPeRLe-1 Programmable Active MemoryLaurent Moll, Jean Vuillemin, Philippe Boucard. fpga 1995: 47-52 [doi]

1994

Implementing On Line Arithmetic on PAMMarc Daumas, Jean-Michel Muller, Jean Vuillemin. fpl 1994: 196-207

On Computing PowerJean Vuillemin. plsa 1994: 69-86

On Circuits and NumbersJean Vuillemin. TC, 43(8):868-879, 1994.

Fast linear Hough transformJean Vuillemin. asap 1994: 1-9 [doi]

1993

Fast implementations of RSA cryptographyMark Shand, Jean Vuillemin. arith 1993: 252-259 [doi]

1992

Programmable Active Memories: A Performance AssessmentPatrice Bertin, Didier Roncin, Jean Vuillemin. nixdorf 1993: 119-130

1991

Hardware speedups in long integer multiplicationMark Shand, Patrice Bertin, Jean Vuillemin. sigarch, 19(1):106-113, 1991. [doi]

Constant time arbitrary length synchronous binary countersJean Vuillemin. arith 1991: 180-183 [doi]

1990

Practical Cellular DividersFranco P. Preparata, Jean Vuillemin. TC, 39(5):605-614, 1990.

Hardware Speedups in Long Integer MultiplicationMark Shand, Patrice Bertin, Jean Vuillemin. spaa 1990: 138-145 [doi]

Exact Real Computer Arithmetic with Continued FractionsJean Vuillemin. TC, 39(8):1087-1105, 1990.

1988

Exact Real Computer Arithmetic with Continued FractionsJean Vuillemin. lfp 1988: 14-27 [doi]

1986

The analysis of simple list structuresPhilippe Flajolet, Claude Puech, Jean Vuillemin. isci, 38(2):121-146, 1986. [doi]

1983

Area-Time Optimal VLSI Circuits for ConvolutionGérard M. Baudet, Franco P. Preparata, Jean Vuillemin. TC, 32(7):684-688, 1983.

On fast binary addition in MDS TechnologiesLeonidas J. Guibas, Jean Vuillemin. arith 1983: 22 [doi]

A Combinatorial Limit to the Computing Power of VLSI CircuitsJean Vuillemin. TC, 32(3):294-300, 1983.

A very fast multiplication algorithm for VLSI implementationJean Vuillemin. integration, 1(1):39-52, 1983. [doi]

1981

Area-Time Optimal VLSI Networks for Computing Integer Multiplications and Discrete Fourier TransformFranco P. Preparata, Jean Vuillemin. icalp 1981: 29-40

The Cube-Connected Cycles: A Versatile Network for Parallel ComputationFranco P. Preparata, Jean Vuillemin. CACM, 24(5):300-309, 1981.

1980

1979

Computing Integrated Costs of Sequences of Operations with Application to DictionariesPhilippe Flajolet, Jean Françon, Jean Vuillemin. stoc 1979: 49-61

The Number of Registers Required for Evaluating Arithmetic ExpressionsPhilippe Flajolet, Jean-Claude Raoult, Jean Vuillemin. TCS, 9:99-125, 1979.

Towards Analysing Sequences of Operations for Dynamic Data Structures (Preliminary Version)Philippe Flajolet, Jean Françon, Jean Vuillemin. focs 1979: 183-195

The Cube-Connected-Cycles: A Versatile Network for Parallel Computation (Extended Abstract)Franco P. Preparata, Jean Vuillemin. focs 1979: 140-147

1978

Description and Analysis of an Efficient Priority Queue RepresentationJean Françon, G. Viennot, Jean Vuillemin. focs 1978: 1-7

Operational and Semantic Equivalence between Recursive ProgramsJean-Claude Raoult, Jean Vuillemin. stoc 1978: 75-85

A Data Structure for Manipulating Priority QueuesJean Vuillemin. CACM, 21(4):309-315, 1978.

1977

On the Average Number of Registers Required for Evaluating Arithmetic ExpressionsPhilippe Flajolet, Jean-Claude Raoult, Jean Vuillemin. focs 1977: 196-205

Comment Verifier l Associativite d une Table de GroupeJean Vuillemin. TCS, 4(1):77-82, 1977.

1976

Completeness Results for the Equivalence of Recursive SchemasBruno Courcelle, Jean Vuillemin. jcss, 12(2):179-197, 1976.

On Recognizing Graph Properties from Adjacency MatricesRonald L. Rivest, Jean Vuillemin. TCS, 3(3):371-384, 1976.

1975

A Generalization and Proof of the Aanderaa-Rosenberg ConjectureRonald L. Rivest, Jean Vuillemin. stoc 1975: 6-11

1974

1973

Inductive Methods for Proving Properties of ProgramsZohar Manna, Stephen Nes, Jean Vuillemin. CACM, 16(8):491-502, 1973.

Optimal Disk Merge PatternsMaurice Schlumberger, Jean Vuillemin. ACTA, 3:25-35, 1973.

Correct and Optimal Implementations of Recursion in a Simple Programming LanguageJean Vuillemin. stoc 1973: 224-239

Proof techniques for recursive programsJean Vuillemin. PhD thesis, Stanford University, USA, 1973. [doi]

1972

Fixpoint Approach to the Theory of ComputationZohar Manna, Jean Vuillemin. icalp 1972: 273-291

Fix Point Approach to the Theory of ComputationZohar Manna, Jean Vuillemin. CACM, 15(7):528-536, 1972.

Inductive methods for proving properties of programsZohar Manna, Stephen Nes, Jean Vuillemin. praapr 1972: 27-50 [doi]

Sign in or sign up to see more results.

runs on WebDSL