Browse

ftp://gatekeeper.pa.dec.com (42)

	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-7.ps.Z, 19921006 7 The Siphon: Managing Distant Replicated Repositories Francis J. Prusker Edward P. Wobber May 91 Publication Notes This report is a revised and extended version of the paper entitled The Siphon: Managing Distant Replicated Repositories, by the same authors, published in the Proceedings of the IEEE
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-8.ps.Z, 19921006 8 Constructive Logics. Part I: A Tutorial on Proof Systems and Typed >=-Calculi Jean Gallier May 1991 Publication Notes This work was done while the author was on sabbatical leave from the University of Pennsylvania at Digital PRL. c Digital Equipment Corporation 1991 This work may not be copied or
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-5.ps.Z, 19921006 PARIS RESEARCH LABORATORY Library and Publication Services Thank you for your interest in obtaining PRL Report Number 5, "The WAM: A (Real) Tutorial" by Hassan Ait Kaci. This is to let you know that Digital's Paris Research Laboratory has transfered to MIT Press the distribution right for this report,
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-9.ps.Z, 19921006 9 Constructive Logics. Part II: Linear Logic and Proof Nets Jean Gallier May 1991 Publication Notes This work was done while the author was on sabbatical leave from the University of Pennsylvania at Digital PRL. c Digital Equipment Corporation 1991 This work may not be copied or reproduced in whole or
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-2.ps.Z, 19921006 2 BigNum: A Portable and Efficient Package for Arbitrary-Precision Arithmetic Bernard Serpette Jean Vuillemin Jean-Claude Herv e May 1989 Publication Notes Bernard Serpette is with the Institut National de Recherche en Informatique et Automatique, 78150 Rocquencourt, France. This report will also appear
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/Summer91.ps, 19931110 digital
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/Spring93.ps, 19931221 PRL RR 26 Research Report 26 : Numerical Valuation of High Dimensional Multivariate European Securities. J r me Barraquand, March 1993. We consider the problem of pricing a contingent claim whose payoff depends on several sources of uncer tainty. Using classical assumptions from the Arbitrage Pricing
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/Fall93.ps, 19931221 Last, the polygonal approximation of the stroke outline is fitted. The result is a closed piecewise B zier curve approximating the brushstroke outline to within an arbitrary error tolerance. Several examples of hand sketched drawings realized with this method are presented. PRL RR 30 Research Report 30
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/Spring92.ps, 19931221 PRL RR 15 Research Report 15: A Hardware Implementation of Esterel. G rard Berry. July 1991. Esterel is a synchronous concurrent programming language dedicated to reactive systems (controllers, protocols, man machine interfaces, etc.). Esterel has an efficient standard software implementation based on
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-4.ps.Z, 19931221 4 Compiling Pattern Matching by Term Decomposition Laurence Puel Asc ander Su arez January 1990 Publication Notes Laurence Puel's address is: Laboratoire d'Informatique LIENS URA CNRS 1327, Ecole Normale Sup erieure, 45 rue d'Ulm, 72230 Paris C edex 05, FRANCE. This article will also appear as the
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PubList.ps, 19940131 PRL RR 17 Research Report 17 : Inferring Graphical Constraints with with Rockit. Solange Karsenty, James A. Landay, and Chris Weikart. April 1992. PRL RR 18 Research Report 18 : Abstract Interpretation by Dynamic Partitioning. Fran ois Bourdoncle, March 1992. PRL RR 19 Research Report 19 : Measuring
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-33.ps.Z, 19940328 PARIS RESEARCH LABORATORY digital September 1993 J er ome Barraquand Pierre Ferbach Path Planning through Variational Dynamic Programming Path Planning through Variational Dynamic Programming J er ome Barraquand Pierre Ferbach September 1993 Publication Notes The authors can be contacted at the
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-37.ps.Z, 19940412 PARIS RESEARCH LABORATORY digital January 1994 37 J er ome Barraquand Thierry Pudet Pricing of American Path-Dependent Contingent Claims 37 Pricing of American Path-Dependent Contingent Claims J er ome Barraquand Thierry Pudet January 1994 Publication Notes The authors can be contacted at the following
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-38.ps.Z, 19940412 PARIS RESEARCH LABORATORY digital April 1994 38 J er ome Barraquand Didier Martineau Numerical Valuation of High Dimensional Multivariate American Securities 38 Numerical Valuation of High Dimensional Multivariate American Securities J er ome Barraquand Didier Martineau April 1994 Publication Notes The
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-30.ps.Z, 19940504 PARIS RESEARCH LABORATORY digital April 1993 30 Solange Karsenty Chris Weikart Rollit: An Application Builder 30 Rollit: An Application Builder Solange Karsenty Chris Weikart April 1993 Publication Notes A videotape is available with this report. Information can be obtained from the librarian at PRL
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-39.ps.Z, 19940718 DRAFT On Computing Power Jean Vuillemin Version of 21 February 1994 Publication Notes The author may be contacted at the following address: Digital Equipment Corporation, Paris Research Laboratory, 85 Av. Victor Hugo, 92563 Rueil-Malmaison, Cedex France. c Digital Equipment Corporation 1994 This work
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-36.ps.Z, 19940822 PARIS RESEARCH LABORATORY digital December 1993 36 Peter Van Roy 1983 1993: The Wonder Years of Sequential Prolog Implementation 36 1983 1993: The Wonder Years of Sequential Prolog Implementation Peter Van Roy December 1993 Publication Notes This report is an edited version of an article to appear in
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-11.ps.Z, 19950419 PARIS RESEARCH LABORATORY digital June 1991 (Revised, October 1992) 11 Hassan A t-Kaci Andreas Podelski Towards a Meaning of LIFE 11 Towards a Meaning of LIFE Hassan A t-Kaci Andreas Podelski June 1991 (Revised, October 1992) Publication Notes A short form of an earlier version of this report was
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-26.ps.Z, 19950419 PARIS RESEARCH LABORATORY digital March 1993 26 J er ome Barraquand Numerical Valuation of High Dimensional Multivariate European Securities 26 Numerical Valuation of High Dimensional Multivariate European Securities J er ome Barraquand March 1993 Publication Notes The author can be contacted at the
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-35.ps.Z, 19950419 PARIS RESEARCH LABORATORY digital October 1993 35 Jacques Garrigue Hassan A t-Kaci The Typed Polymorphic Label-Selective >=-Calculus 35 The Typed Polymorphic Label-Selective >=-Calculus Jacques Garrigue Hassan A t-Kaci October 1993 Publication Notes A reprint of this report will appear in the
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-10.ps.Z, 19950419 PARIS RESEARCH LABORATORY digital May 1991 10 Delia Kesner Pattern Matching in Order-Sorted Languages 10 Pattern Matching in Order-Sorted Languages Delia Kesner May 1991 Publication Notes This work was initiated by the author while she was a research intern at Digital's Paris Research Laboratory from
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-27.ps.Z, 19950419 PARIS RESEARCH LABORATORY digital March 1993 27 Marcel Holsheimer Rolf A. de By Hassan A t-Kaci A Database Interface for Complex Objects 27 A Database Interface for Complex Objects Marcel Holsheimer Rolf A. de By Hassan A t-Kaci March 1993 Publication Notes The authors may be contacted at the following
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-21.ps.Z, 19950419 PARIS RESEARCH LABORATORY digital December 1992 21 Giuseppe Longo Kathleen Milsted Sergei Soloviev The Genericity Theorem and the Notion of Parametricity in the Polymorphic >=-calculus 21 The Genericity Theorem and the Notion of Parametricity in the Polymorphic >=-calculus Giuseppe Longo Kathleen
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-12.ps.Z, 19950419 PARIS RESEARCH LABORATORY digital June 1991 12 Gert Smolka Residuation and Guarded Rules for Constraint Logic Programming 12 Residuation and Guarded Rules for Constraint Logic Programming Gert Smolka June 1991 Publication Notes The author is affiliated with the German Research Center for Artificial
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-25.ps.Z, 19950419 PARIS RESEARCH LABORATORY digital November 1993 25 Jean Vuillemin On Circuits and Numbers 25 On Circuits and Numbers Jean Vuillemin November 1993 Publication Notes The author may be contacted at the following address: Digital Equipment Corporation, Paris Research Laboratory, 85 Av. Victor Hugo, 92563
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-24.ps.Z, 19950419 PARIS RESEARCH LABORATORY digital March 1993 24 Patrice Bertin Didier Roncin Jean Vuillemin Programmable Active Memories: a Performance Assessment 24 Programmable Active Memories: a Performance Assessment Patrice Bertin Didier Roncin Jean Vuillemin March 1993 Publication Notes The authors may be
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-28.ps.Z, 19950419 PARIS RESEARCH LABORATORY digital March 1993 28 Joachim Niehren Andreas Podelski Feature Automata and Sets of Feature Trees 28 Feature Automata and Sets of Feature Trees Joachim Niehren Andreas Podelski March 1993 Publication Notes This report is a revised version of a paper that was presented at the
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-3.ps.Z, 19950419 PARIS RESEARCH LABORATORY digital June 1989 3 Patrice Bertin Didier Roncin Jean Vuillemin Introduction to Programmable Active Memories 3 Introduction to Programmable Active Memories Patrice Bertin Didier Roncin Jean Vuillemin June 1989 Publication Notes An earlier version of this report appears, with
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-19.ps.Z, 19950419 PARIS RESEARCH LABORATORY digital August 1992 19 Mark Shand Measuring System Performance with Reprogrammable Hardware 19 Measuring System Performance with Reprogrammable Hardware Mark Shand August 1992 Publication Notes An early version of this report appeared in AUUG'91, the Australian Open Systems
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-32.ps.Z, 19950419 PARIS RESEARCH LABORATORY digital May 1993 32 Hassan A t-Kaci Andreas Podelski Seth Copen Goldstein Order-Sorted Feature Theory Unification 32 Order-Sorted Feature Theory Unification Hassan A t-Kaci Andreas Podelski Seth Copen Goldstein May 1993 Publication Notes An abridged version of this article will
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-18.ps.Z, 19950419 PARIS RESEARCH LABORATORY digital March 1992 18 Fran cois Bourdoncle
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-17.ps.Z, 19950419 PARIS RESEARCH LABORATORY digital March 1992 17 Solange Karsenty James A. Landay Chris Weikart Inferring Graphical Constraints with Rockit 17 Inferring Graphical Constraints with Rockit Solange Karsenty James A. Landay Chris Weikart March 1992 Publication Notes This report also appears in Human Computer
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-20.ps.Z, 19950419 PARIS RESEARCH LABORATORY digital November 1992 20 Hassan A t-Kaci Andreas Podelski Gert Smolka A Feature Constraint System for Logic Programming with Entailment 20 A Feature Constraint System for Logic Programming with Entailment Hassan A t-Kaci Andreas Podelski Gert Smolka November 1992 Publication
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-14.ps.Z, 19950419 PARIS RESEARCH LABORATORY digital June 1991 14 J er ome Barraquand Automatic Motion Planning for Complex Articulated Bodies 14 Automatic Motion Planning for Complex Articulated Bodies J er ome Barraquand June 1991 Publication Notes This report is derived from lecture notes presented at the ACM
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-16.ps.Z, 19950419 PARIS RESEARCH LABORATORY digital February 1992 16 Jean Vuillemin Contribution a la R esolution Num erique des Equations de Laplace et de la Chaleur 16 Contribution a la R esolution Num erique des Equations de Laplace et de la Chaleur Jean Vuillemin February 1992 Publication Notes The author can be
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-1.ps.Z, 19950419 1 Incremental Computation of Planar Maps Michel Gangnet Jean-Claude Herv e Thierry Pudet Jean-Manuel Van Thong May 1989 Publication Notes This report is a revised and extended version of the paper entitled `Incremental Computation of Planar Maps', by the same authors, published in the SIGGRAPH'89
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-29.ps.Z, 19950419 PARIS RESEARCH LABORATORY digital March 1993 29 Thierry Pudet Real Time Fitting of Pressure Brushstrokes 29 Real Time Fitting of Pressure Brushstrokes Thierry Pudet March 1993 Publication Notes The author can be reached by email at the following address: pudet@prl.dec.com c Digital Equipment Corporation
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-6.ps.Z, 19950419 6 Binary Periodic Synchronizing Sequences Marcin Skubiszewski May 1991 Publication Notes This article will also appear in Theoretical Computer Science, Part A, Volume 99 (October 1992). Author's electronic address: skubi@prl.dec.com c Digital Equipment Corporation 1991 This work may not be copied or
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-34.ps.Z, 19950419 PARIS RESEARCH LABORATORY digital September 1993 34 Pierre Ferbach J er ome Barraquand A penalty function method for constrained motion planning 34 A penalty function method for constrained motion planning Pierre Ferbach J er ome Barraquand September 1993 Publication Notes The authors can be contacted
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-31.ps.Z, 19950419 PARIS RESEARCH LABORATORY digital May 1993 31 Hassan A t-Kaci Jacques Garrigue Label-Selective >=-Calculus 31 Label-Selective >=-Calculus Hassan A t-Kaci Jacques Garrigue May 1993 Publication Notes The authors may be contacted at the following addresses: Hassan A t-Kaci Jacques Garrigue Digital
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-15.ps.Z, 19950419 PARIS RESEARCH LABORATORY digital July 1991 15 G erard Berry A Hardware Implementation of Pure Esterel 15 A Hardware Implementation of Pure Esterel G erard Berry July 1991 Publication Notes Author's address: G erard Berry Ecole des Mines Sophia-Antipolis 06565 Valbonne, France e-mail: berry@cma.cma.fr,
	ftp://gatekeeper.pa.dec.com/pub/DEC/PRL/research-reports/PRL-RR-13.ps.Z, 19950419 PARIS RESEARCH LABORATORY digital June 1991 (Revised, November 1992) 13 Hassan A t-Kaci Andreas Podelski Functions as Passive Constraints in LIFE 13 Functions as Passive Constraints in LIFE Hassan A t-Kaci Andreas Podelski June 1991 (Revised, November 1992) Publication Notes The part of this report