Conference Publications

MNV72 Z. Manna, S. Ness and J. Vuillemin. Inductive methods for proving properties of programs, Proceedings of an ACM Conf. on Proving Assertions about Programs, Las Cruces, Mexico, 27-50, 1972.
MV72b Z. Manna and J. Vuillemin. Fixed point approach to the theory of computation, Automata, Languages and Programming, edited by M. NIVAT, North-Holland, 273-292, 1972.
Vui73a J. Vuillemin. Correct and optimal implementation of recursion in a simple programming language, Theory of Computing, Austin, Texas, 224-239, 1973.
CV74a B. Courcelle and J. Vuillemin. Complétude d'un système pour prouver l'équivalence des schémas récursifs libres, Lecture Notes in Computer Science, Springer Verlag, Colloque sur la programmation, Paris, 19:234-252, 1974.
CKV74 B. Courcelle, G. Kahn and J. Vuillemin. Algorithmes d'équivalence et de réduction à des expressions minimales dans une classe d'équations récursives simples, Lecture Notes in Computer Science, Springer Verlag, Automata, Languages and Programming, Saarbrucken, 14:200-213, 1974.
HPV74b L. Hyafil, F. Prusker and J. Vuillemin. An efficient algorithm for computing optimal disk merge patterns, 6th Annual ACM Symposium on Theory of Computing, Seattle, Washington, 216-229, 1974.
CV74b B. Courcelle and J. Vuillemin. Semantics and axiomatics of a simple recursive language, 6th Annual ACM Symposium on Theory of Computing, Seattle, Washington, 13-26, 1974.
RV75 R.L. Rivest and J. Vuillemin. A generalization and proof of the Aanderaa-Rosenberg conjecture, 7th Annual ACM Symposium on Theory of Computing, Albuquerque, New Mexico, 6-12, 1975.
FRV77 P. Flajolet, J.C. Raoult and J. Vuillemin. On the average number of registers required for evaluating arithmetic expressions, 18th ACM Symposium on Foundations of Computer Science, Providence, Rhode Island, 196-205, 1977.
FVV78 G. Viennot, J. Francon and J. Vuillemin. Description and analysis of an efficient priority queue representation, 19th ACM Symposium on Foundations of Computer Science, Ann Arbor, Michigan, 1-7, 1978.
RV78 J.C. Raoult and J. Vuillemin. Operational and semantic equivalence of recursive programs, 10th Annual ACM Symposium on Theory of Computing, San Diego, California, 75-85, 1978.
FFV78 P. Flajolet, J. Francon and J. Vuillemin. Computing integrated costs of sequences of operations with application to dictionaries, 11th Annual ACM Symposium on Theory of Computing, Atlanta, Georgia, 49-61, 1978.
Vui79a J. Vuillemin. A unifying look at data structures, IEEE International Symposium on Information Theory, Grigano, Italie, 27-36, 1979.
Vui79b J. Vuillemin. A representation of linear lists with good average time performance, International Symposium on Circuits and Systems, Tokyo, Japan, 1979.
FFV79 P. Flajolet, J. Francon and J. Vuillemin. Sequence of operations analysis for dynamic data structures, 20th IEEE Symposium of Foundations of Computer Science, Puerto Rico, 183-195, 1979.
Vui79c J. Vuillemin. A geometric view of algorithms, Symposium Al-Khowarizmi on Algorithms in Modern Mathematics and Computer Science, Urgench, Khorezm, URSS, 1979.
PV79 F.P. Preparata and J. Vuillemin. The cube connected cycles: a versatile network for parallel computation, 20th IEEE Symposium on Foundations of Computer Science, Puerto Rico, 140-147, 1979.
CFF+80 L. Cheno, P. Flajolet, J. Francon, C. Puech and J. Vuillemin. Dynamic data structures : finite files, limiting profiles and variance analysis, 18th Conference on Communication, Control and Computing, Allerton, Illinois, 223-232, 1980.
RV80b J.C. Raoult and J. Vuillemin. Unbounded optimal search strategies, 7th Colloquium on Automata, Noordwijkerhout, Pays-Bas, 1980.
PV80c F.P. Preparata and J. Vuillemin. Area-time optimal VLSI networks for parallel matrix multiplication, 14th Annual Conference on Information Science and System, Princeton, Mars 1980.
PV80d F.P. Preparata and J. Vuillemin. Optimal integrated circuit implementation of triangular matrix inversion, International Conference on Parallel Processing, Boyne, Mich., 211-216, Aug. 1980.
Vui80b J. Vuillemin. A combinatorial limit to the computing power of VLSI circuits, 21st IEEE Symposium on Theory of Computing, Syracuse, 294-301, 1980.
PV81b F.P. Preparata and J. Vuillemin. Area-time optimal VLSI networks for computing integer multiplication and Discrete Fourier Transform, Proceedings of I.C.A.L.P (Springer-Verlag), Haifa, Israel, Jul. 1981.
GV82 L. Guibas and J. Vuillemin. On fast binary addition in n-MOS technologies, Proceedings of IEEE Conference, New York ICCC 1982, 147-151.
Vui83c J. Vuillemin. La révolution informatique dans la conception et la fabrication des circuits électroniques, 5èmes Journées Francophones sur l'Informatique, Genève, 1983.
LV83 W.K. Luk and J. Vuillemin. Recursive implementations of fast VLSI multipliers, Proceedings of the IFIP TC 10/WG 10.5 International Conference on VLSI, Trondheim, Norway, 155-170, August 1983.
Vui83d J. Vuillemin. A fast addition algorithm for VLSI MOS integrated circuits, Proceedings of the 2nd Franco-Southeast Asian Mathematics Conference, Manila, June 1982, SEA BULL MATH 7:96-111, 1983.
Vui84a J. Vuillemin. Nouvelles structures d'ordinateurs, Proceedings of the International Worshop on Parallel Computing and VLSI, Amalfi, Italy, 137-152, May 1984.
Vui84c J. Vuillemin. Maîtrise informatique de la complexité informatique, "Affronter la complexité", Proceedings de la Semaine des Sciences du Cent cinquantenaire de l'Université Libre de Bruxelles, 1984.
MV85 L. Monier and J. Vuillemin. Using Silicon Assemblers, Proceedings of the IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration, Tokyo, Japan, 309-318, Aug. 1985.
Vui88 J. Vuillemin. Exact real arithmetic with continued fractions, 1988 ACM Conference on Lisp and Functional Programming, Snowbird, Utah, 1988.
BRV89a P. Bertin, D. Roncin and J. Vuillemin. Introduction to Programmable Active Memories, Systolic Array Processors, Prentice Hall, 300-309, 1989.
SBV90 P. Bertin, M. Shand and J. Vuillemin. Hardware speedups in long integer multiplication, 2nd Annual ACM Symposium on Parallel Algorithms and Architectures, 138-145, 1990.
Vui91 J. Vuillemin. Constant time arbitrary length synchronous binary counters, 10-th IEEE Symposium on Computer Arithmetic, 301-309, 1991.
BRV92 P. Bertin, D. Roncin and J. Vuillemin. Programmable Active Memories: a performance assessment, Lecture Notes in Computer Science, Springer Verlag, Parallel Architectures and Their Efficient Use, Paderborn, 678:119-130, Nov. 1992. This paper has also appeared in Symposium on Integrated Systems, MIT Press, University of Washington, Seattle, March 1993.
KLS+93 R.A. Keaney, C.H. Lee, D.J. Skellern, M. Shand and J. Vuillemin. Implementation of long constraint length viterbi decoders using Programmable Active Memories, Proceedings of the 11th Australian Microelectronics Conference, Sydney, Australia, 52-57, Oct. 1993.
SV93 M. Shand and J. Vuillemin. Fast implementation of RSA cryptography, 11-th IEEE Symposium on Computer Arithmetic, Windsor, Ontario, Canada, 1993.
KSV+93 S. Katsanevas, M. Shand, J. Vuillemin, DecPeRLe-1 Implementation Of NESTOR's First Level Trigger, Proc. 3rd NESTOR International Workshop, Pylos-Greece, Edited by L.K. Resvanis, Universtity of Athens, Dept of Physics, 19-21, Oct. 1993.
Vui94a J.Vuillemin. On computing power, Lecture Notes in Computer Science, Springer-Verlag, International Conference on Programming Languages and System Architectures, Zurich, Switzerland, 782:69-86, March 1994.
Vui94b J.Vuillemin. Fast linear Hough transform, The International Conference on Application-Specific Array Processors, IEEE press, 1-9, 1994.
DMV94 M. Daumas, J.-M. Muller and J. Vuillemin. Implementing on line arithmetic on PAM, Fourth International Workshop on Field Programmable Logic Applications, Prague, Czech Republic, Sept. 1994.
MVB95 L. Moll, J. Vuillemin and P. Boucard. High-Energy Physics on DECPeRLe-1 Programmable Active Memory, Proceedings of the 1995 ACM/SIGDA Symposium on FPGAs, Monterey (CA), Feb. 1995.
Jean Vuillemin
Mon May 26 22:01:18 MET DST 1997