 | ftp://cs.duke.edu/dist/techreport/1988/1988-6.ps.Z, 19920831
CS{1988{6 The Architecture of the Butterfly Plus Parallel Processor David Kotz Department of Computer Science Duke University Durham, North Carolina 27708-0129 January 22, 1988 The Architecture of the Butterfly Plus Parallel Processor David Kotz December 16, 1987 |
| ftp://cs.duke.edu/dist/techreport/1991/1991-33.ps.Z, 19920831
CS-1991-33 Computing a Segment-center for a Planar Point Set Pankaj K. Agarwal Alon Efrat Micha Sharir Sivan Toledo Department of Computer Science Duke University Durham, North Carolina 27708-0129 August 27, 1992 Computing a Segment-center for a Planar Point Set Pankaj K. Agarwaly Alon Efratz Micha |
| ftp://cs.duke.edu/dist/techreport/1990/1990-21.ps.Z, 19920831
CS{1990{21 The Duke Internet Programming Contest Owen Astrachan Vivek Khera David Kotz Department of Computer Science Duke University Durham, North Carolina 27708-0129 December 7, 1990 The Duke Internet Programming Contest Owen Astrachan Vivek Khera David Kotz December 7, 1990 On the evening of October |
| ftp://cs.duke.edu/dist/techreport/1989/89Abstr.ps.Z, 19920903
Technical Reports for 1989 Duke University Department of Computer Science Durham, North Carolina 27706 CS-1989-1 - On The Complexity of Sparse Gaussian Elimination Via Bordering", Randolph E. Bank and Donald J. Rose. We analyze the complexity of a general sparse Gaussian elimination algorithm based on |
| ftp://cs.duke.edu/dist/techreport/1987/87Abstr.ps, 19920903
Technical Reports for 1987 Duke University Department of Computer Science Durham, North Carolina 27706 CS-1987-1 - Stochastic Petri Net Analysis of a Replicated File System", Joanne Bechta Dugan and Gianfranco Ciardo. We present a stochastic Petri net model of a replicated file system in a distributed |
| ftp://cs.duke.edu/dist/techreport/Abstracts/87Abstr.ps.Z, 19920903
Technical Reports for 1987 Duke University Department of Computer Science Durham, North Carolina 27706 CS-1987-1 - Stochastic Petri Net Analysis of a Replicated File System", Joanne Bechta Dugan and Gianfranco Ciardo. We present a stochastic Petri net model of a replicated file system in a distributed |
| ftp://cs.duke.edu/dist/techreport/Abstracts/88Abstr.ps.Z, 19920903
Technical Reports for 1988 Duke University Department of Computer Science Durham, North Carolina 27706 CS-1988-1 - Optimal Randomized Parallel Algorithms for Computational Geometry I", John H. Reif and Sandeep Sen. We present parallel algorithms for some fundamental problems in computational geometry |
| ftp://cs.duke.edu/dist/techreport/Abstracts/84Abstr.ps.Z, 19920903
Technical Reports for 1984 Duke University Department of Computer Science Durham, North Carolina 27706 CS-1984-1 - Issues in Reliability Modeling of Fault-Tolerant Systems", K. S. Trivedi, Joanne Bechta Dugan, Robert Geist and Mark Smotherman. Four key issues in reliability modeling of fault-tolerant |
| ftp://cs.duke.edu/dist/techreport/Abstracts/91Abstr.ps.Z, 19920903
Technical Reports for 1991 Duke University Department of Computer Science Durham, North Carolina 27706 CS-1991-01 -The Harmonic Online Server Algorithm Is Polynomially Competitive," Ming-Yang Kao. No longer available. CS-1991-02 - The Harmonic Online Server Algorithm Is Polynomially Competitive Also |
| ftp://cs.duke.edu/dist/techreport/1992/1992-10.ps.Z, 19920918
CS-1992-10 Efficient simulation of action potential propagation in a bidomain Nigel F. Hooke Department of Computer Science Duke University Durham, North Carolina 27708-0129 September 11, 1992 Efficient simulation of action potential propagation in a bidomain Nigel F. Hooke1 September 11, 1992 1This |
| ftp://cs.duke.edu/dist/techreport/1992/1992-09.ps.Z, 19921005
CS-1992-9 Lossless Compression of Region Edge Maps Stephen R. Tate Department of Computer Science Duke University Durham, North Carolina 27706 Lossless Compression of Region Edge Maps Stephen R. Tate Department of Computer Science Duke University Durham, NC 27706 |
| ftp://cs.duke.edu/dist/techreport/1992/1992-11.ps.Z, 19921005
CS-1992-11 Linear Algebraic Transformations of the Bidomain Equations and Their Implications on Numerical Methods N. Hooke, C. Henriquez, P. Lanzkron and D. Rose Department of Computer Science Duke University Durham, North Carolina 27708-0129 September 30, 1992 Linear Algebraic Transformations of the |
| ftp://cs.duke.edu/dist/techreport/1992/1992-12.ps.Z, 19921005
CS-1992-12 Stable Computation of the Complex Roots of Unity Stephen R. Tate Department of Computer Science Duke University Durham, North Carolina 27708-0129 October 2, 1992 Stable Computation of the Complex Roots of Unity Stephen R. Tate Department of Computer Science Duke University Durham, NC 27706 |
| ftp://cs.duke.edu/dist/techreport/1992/1992-07.ps.Z, 19921012
CS-1992-07 The Use of Nonlinear Elimination in Steady-State Circuit and Device Simulation Donald J. Rose, Paul J. Lanzkron, James T. Wilkes Stephan M uller, Wolfgang Fichtner Department of Computer Science Duke University Durham, North Carolina 27708-0129 March 12, 1992 The Use of Nonlinear Elimination |
| ftp://cs.duke.edu/dist/techreport/1992/1992-14.ps.Z, 19921016
CS-1992-14 A Case-analysis Approach to Disjunctive Logic Programming David W. Reed Department of Computer Science Duke University Durham, North Carolina 27708-0129 1992 A CASE-ANALYSIS APPROACH TO DISJUNCTIVE LOGIC PROGRAMMING by David W. Reed Department of Computer Science Duke University Date: |
| ftp://cs.duke.edu/dist/techreport/1992/1992-13.ps.Z, 19921021
CS-1992-13 On Range Searching with Semialgebraic Sets Pankaj K. Agarwal and Ji<=r Matou<=sek Department of Computer Science Duke University Durham, North Carolina 27708-0129 On Range Searching with Semialgebraic Sets y Pankaj K. Agarwalz and Ji<=r Matou<=sekx |
| ftp://cs.duke.edu/dist/techreport/1992/1992-17.ps.Z, 19921119
CS-1992-17 A Proof Procedure for the Logic of Hereditary Harrop Formulas Gopalan Nadathur Department of Computer Science Duke University Durham, North Carolina 27708-0129 November 1992 A Proof Procedure for the Logic of Hereditary Harrop Formulas Gopalan Nadathur Department of Computer Science Duke |
| ftp://cs.duke.edu/dist/techreport/1992/1992-01.ps.Z, 19921119
CS-1992-01 Applications of Parametric Searching in Geometric Optimization Pankaj K. Agarwal Micha Sharir Sivan Toledo Department of Computer Science Duke University Durham, North Carolina 27708-0129 January 13, 1992 Applications of Parametric Searching in Geometric Optimization Pankaj K. Agarwaly Micha |
| ftp://cs.duke.edu/dist/techreport/1992/1992-02.ps.Z, 19921119
CS-1992-02 The Type System of a Higher-Order Logic Programming Language Gopalan Nadathur Frank Pfenning Department of Computer Science Duke University Durham, North Carolina 27708-0129 January 1992 The Type System of a Higher-Order Logic Programming Language Gopalan Nadathur Department of Computer |
| ftp://cs.duke.edu/dist/techreport/1991/1991-09.ps.Z, 19921120
Department of Computer Science Duke University Durham, North Carolina CS-1991-09 Towards Programming by Examples and Properties Pierre Flener Page i Towards Programming by Examples & Properties Pierre FLENER Institut d Informatique Facult s Universitaires Notre-Dame de la Paix 21, rue Grandgagnage |
| ftp://cs.duke.edu/dist/techreport/1992/1992-19.ps.Z, 19921215
CS-1992-19 The Near-Horn Approach to Disjunctive Logic Programming David W. Reed Donald W. Loveland Bruce T. Smith Department of Computer Science Duke University Durham, North Carolina 27708-0129 December 1992 This paper appeared in Proc. of the Second Workshop on Extensions of Logic Programming (ELP |
| ftp://cs.duke.edu/dist/techreport/Abstracts/92Abstr.ps.Z, 19930105
Technical Reports for 1992 Duke University Department of Computer Science Durham, North Carolina CS-1992-01 - Applications of Parametric Searching in Geometric Optimization, Pankaj K. Agarwal, Micha Sharir, Sivan Toledo. We present several applications in computational geometry of Megiddo's parametric |
| ftp://cs.duke.edu/dist/techreport/1992/1992-22.ps.Z, 19930112
CS-1992-22 METEOR: Exploring Model Elimination Theorem Proving Owen Astrachan Department of Computer Science Duke University Durham, NC USA ola@cs.duke.edu Department of Computer Science Duke University Durham, North Carolina 27708-0129 December 8, 1992 |
| ftp://cs.duke.edu/dist/techreport/1992/1992-15.ps.Z, 19930119
CS-1992-15 Optimal Parallel Evaluation of Matrix Product Expressions Amr F. Fahmy Department of Computer Science Duke University Durham, North Carolina 27708-0129 October 28, 1992 Optimal Parallel Evaluation of Matrix Product Expressions Amr F. Fahmy 17 April 1992 |
| ftp://cs.duke.edu/dist/techreport/1992/1992-04.ps.Z, 19930121
CS-1992-04 Searching in an Unknown Environment: An Optimal Randomized Algorithm for The Cow-Path Problem Ming-Yang Kao John H. Reif Stephen R. Tate Department of Computer Science Duke University Durham, North Carolina 27708-0129 February 27, 1992 Searching in an Unknown Environment: An Optimal |
| ftp://cs.duke.edu/dist/techreport/1993/1993-05.ps.Z, 19930215
CS-1993-05 Ray Shooting Amidst Convex Polyhedra and Polyhedral Terrains in Three Dimensions Pankaj K. Agarwal Micha Sharir Department of Computer Science Duke University Durham, North Carolina 27708-0129 February 12, 1993 Ray Shooting Amidst Convex Polyhedra and Polyhedral Terrains in Three Dimensions |
| ftp://cs.duke.edu/dist/techreport/1993/1993-04.ps.Z, 19930223
CS{1993{04 Convergence of Nested Iterative Methods for Linear Systems Paul Joshua Lanzkron Department of Computer Science Duke University Durham, North Carolina 27708-0129 1989 Convergence of Nested Iterative Methods for Linear Systems Paul Joshua Lanzkron 1989 Supervised by Donald J. Rose Dissertation |
| ftp://cs.duke.edu/dist/techreport/1993/1993-07.ps.Z, 19930409
CS-1993-07 On the Number of Views of Polyhedral Terrains Pankaj K. Agarwal Micha Sharir Department of Computer Science Duke University Durham, North Carolina 27708{0129 March 9, 1993 On the Number of Views of Polyhedral Terrains Pankaj K. Agarwaly Micha Sharirz March 9, 1993 |
| ftp://cs.duke.edu/dist/techreport/1991/91Abstr.ps.Z, 19930427
Technical Reports for 1991 Duke University Department of Computer Science Durham, North Carolina 27706 CS-1991-01 -The Harmonic Online Server Algorithm Is Polynomially Competitive," Ming-Yang Kao. No longer available. CS-1991-02 - The Harmonic Online Server Algorithm Is Polynomially Competitive Also |
| ftp://cs.duke.edu/dist/techreport/1993/1993-18.ps.Z, 19930806
CS-1993-18 Implementing a Notion of Modules in the Logic Programming Language >=Prolog Keehang Kwon Gopalan Nadathur Debra Sue Wilson Department of Computer Science Duke University Durham, North Carolina 27708{0129 August 1993 Implementing a Notion of Modules in the Logic Programming Language >=Prolog |
| ftp://cs.duke.edu/dist/techreport/1993/1993-16.ps.Z, 19930806
CS-1993-16 Implementation Considerations for Higher-Order Features in Logic Programming Gopalan Nadathur Bharat Jayaraman Debra Sue Wilson Department of Computer Science Duke University Durham, North Carolina 27708{0129 June 1993 Implementation Considerations for Higher-Order Features in Logic |
| ftp://cs.duke.edu/dist/techreport/1993/1993-21.ps.Z, 19930908
CS{1993{21 An Analysis of Approximate Nonlinear Elimination Paul J. Lanzkron, Donald J. Rose Department of Computer Science Duke University Durham, North Carolina 27708{0129 September 2, 1993 AN ANALYSIS OF APPROXIMATE NONLINEAR ELIMINATION PAUL J. LANZKRON y AND DONALD J. ROSEz |
| ftp://cs.duke.edu/dist/techreport/1993/1993-30.ps.Z, 19940218
CS--1993--30 An Efficient Parallel Algorithm for Shortest Paths in Planar Layered Digraphs Sairam Subramanian, Roberto Tamassia, Jeffrey Scott Vitter Department of Computer Science Duke University Durham, North Carolina 27708-0129 December 20, 1993 An Efficient Parallel Algorithm for Shortest Paths in |
| ftp://cs.duke.edu/dist/techreport/1993/1993-24.ps.Z, 19940218
CS-1993-24 Implementing Polymorphic Typing in a Logic Programming Language Keehang Kwon Gopalan Nadathur Debra Sue Wilson Department of Computer Science Duke University Durham, North Carolina 27708{0129 September 1993 Implementing Polymorphic Typing in a Logic Programming Language Keehang Kwon, Gopalan |
| ftp://cs.duke.edu/dist/techreport/1994/1994-02.ps.Z, 19940315
CS-1994-02 Selection in Monotone Matrices and Computing kth Nearest Neighbors Pankaj K. Agarwal Sandeep Sen Department of Computer Science Duke University Durham, North Carolina 27708{0129 January 11, 1994 Selection in Monotone Matrices and Computing kth Nearest Neighbors Pankaj K. Agarwaly Sandeep Senz |
| ftp://cs.duke.edu/dist/techreport/1994/1994-05.ps.Z, 19940315
CS{1994{05 Design and Evaluation of a Distributed Cache Architecture with Prediction Thomas Alexander and Gershon Kedem Department of Computer Science Duke University Durham, North Carolina 27708{0129 March 9, 1994 Design and Evaluation of a Distributed Cache Architecture with Prediction |
| ftp://cs.duke.edu/dist/techreport/1994/1994-14.ps.Z, 19940520
CS--1994--14 Fast Progressive Lossless Image Compression Paul G. Howard, Jeffrey S. Vitter Department of Computer Science Duke University Durham, North Carolina 27708-0129 March 25, 1994 Fast Progressive Lossless Image Compression Paul G. Howard and Jeffrey Scott Vitter To appear in Image and Video |
| ftp://cs.duke.edu/dist/techreport/1994/1994-13.ps.Z, 19940520
CS--1994--13 Complexity Models for Incremental Computation Peter B. Miltersen, Sairam Subramanian, Jeffresy S. Vitter, Roberto Tamassia Department of Computer Science Duke University Durham, North Carolina 27708-0129 March 25, 1994 Complexity Models for Incremental Computation Peter Bro Milterseny |
| ftp://cs.duke.edu/dist/techreport/1994/1994-10.ps.Z, 19940520
CS--1994--10 Fast and Efficient Lossless Image Compression Paul G. Howard, Jeffrey S. Vitter Department of Computer Science Duke University Durham, North Carolina 27708-0129 March 25, 1994 Fast and Efficient Lossless Image Compression Paul G. Howard and Jeffrey Scott Vitter appears in the proceedings of |
| ftp://cs.duke.edu/dist/techreport/1994/1994-06.ps.Z, 19940617
CS{1994{06 An O(n log3 n) Algorithm for the Real Root and Symmetric Tridiagonal Eigenvalue Problems John H. Reif Department of Computer Science Duke University Durham, North Carolina 27708{0129 March 9, 1994 An O(n log3 n) Algorithm for the Real Root and Symmetric Tridiagonal Eigenvalue Problems John H. |
| ftp://cs.duke.edu/dist/techreport/1994/1994-24.ps.Z, 19940811
CS-1994-24 Pathwise Optimum Policies for ATM Cell Scheduling and Rejection 1 Erol Gelenbe 2 Vijay Srinivasan 3 Duke University, Durham, NC 27708 Sridhar Seshadri 4 Leonard N. Stern School of Business, New York University, NY 10012-1118 Department of Computer Science Duke University Durham, North |
| ftp://cs.duke.edu/dist/techreport/1994/1994-19.ps.Z, 19940824
CS-1994-19 Proof Procedures for Logic Programming Donald W. Loveland and Gopalan Nadathur Department of Computer Science Duke University Durham, North Carolina 27708{0129 May 1994 Proof Procedures for Logic Programmingy Donald W. Loveland Gopalan Nadathur Computer Science Department Duke University |
| ftp://cs.duke.edu/dist/techreport/1994/1994-21.ps.Z, 19940830
CS-1994-21 Surface Approximation and Geometric Partitions Pankaj K. Agarwal Department of Computer Science Box 1029, Duke University Durahm, NC 27708-0129. Subhash Suri Bell Communications Research 445 South Street Morristown, NJ 07960. Department of Computer Science Duke University Durham, North |
| ftp://cs.duke.edu/dist/techreport/1994/1994-18.ps.Z, 19940906
CS-1994-18 The Overlay of Lower Envelopes and its Applications Pankaj K. Agarwal Otfried Schwarzkopf Micha Sharir Department of Computer Science Duke University Durham, North Carolina 27708{0129 September 1, 1994 The Overlay of Lower Envelopes and its Applications Pankaj K. Agarwaly Otfried Schwarzkopfz |
| ftp://cs.duke.edu/dist/techreport/1994/1994-23.ps.Z, 19940916
CS{1994{23 Multipole-Based Algorithms For Efficient Calculation of Forces and Potentials in Macroscopic Periodic Assemblies of Particles Christophe G. Lambert Department of Computer Science Duke University Durham, North Carolina 27708{0129 February 17, 1994 Multipole-Based Algorithms for Efficient |
| ftp://cs.duke.edu/dist/techreport/1994/1994-29.ps.Z, 19940916
CS{1994{29 AAA and CS 1 The Applied Apprenticeship Approach to CS 1 Owen Astrachan, David Reed Department of Computer Science Duke University Durham, North Carolina 27708{0129 September, 1994 AAA and CS 1 The Applied Apprenticeship Approach to CS 1 Owen Astrachan Duke University ola@cs.duke.edu David |
| ftp://cs.duke.edu/dist/techreport/1994/1994-28.ps.Z, 19940921
CS--1994--28 Using Vapnik-Chervonenkis Dimension to Analyze the Testing Complexity of Program Segments (Revised) Kathleen Romanik, Jeffrey Scott Vitter Department of Computer Science Duke University Durham, North Carolina 27708-0129 August, 1994 Using Vapnik-Chervonenkis Dimension to Analyze the Testing |
| ftp://cs.duke.edu/dist/techreport/1988/1988-14.ps.Z, 19940929
CS--1988--14 An Overview of Lambda Prolog Gopalan Nadathur,Dale Miller Department of Computer Science Duke University Durham, North Carolina 27708-0129 AN OVERVIEW OF >=PROLOG GOPALAN NADATHUR Department of Computer Science Duke University Durham, NC 27706 DALE MILLER Department of Computer and |
| ftp://cs.duke.edu/dist/techreport/1987/1987-25.ps.Z, 19940929
CS--1987--25 A Logic Programming Approach to Manipulating Formulas and Programs Dale Miller,Gopalan Nadathur Department of Computer Science Duke University Durham, North Carolina 27708-0129 A LOGIC PROGRAMMING APPROACH TO MANIPULATING FORMULAS AND PROGRAMS Dale Miller Gopalan Nadathur Computer and |
| ftp://cs.duke.edu/dist/techreport/1989/1989-18.ps.Z, 19941004
CS--1989-18 Higher-Order Logic as the Basis for Logic Programming Gopalan Nadathur Department of Computer Science Duke University Durham, North Carolina 27708-0129 HIGHER-ORDER HORN CLAUSES GOPALAN NADATHUR Duke University, Durham, North Carolina DALE MILLER University of Pennsylvania, Philadelphia, |
| ftp://cs.duke.edu/dist/techreport/1994/1994-33.ps.Z, 19941024
CS 1994 33 Characterizing Parallel File-Access Patterns on a Large-Scale Multiprocessor1 Apratim Purakayastha and Carla Schlatter Ellis2 David Kotz and Nils Nieuwejaar3 Michael Best4 Department of Computer Science Duke University Durham, North Carolina 27708 0129 October 24, 1994 1This work was |
| ftp://cs.duke.edu/dist/techreport/1994/1994-37.ps.Z, 19941206
CS{1994{37 Factors Affecting False Sharing on Page-Granularity Cache-Coherent Shared-Memory Multiprocessors Vivek Khera Department of Computer Science Duke University Durham, North Carolina 27708{0129 December 1, 1994 Factors Affecting False Sharing on Page-Granularity Cache-Coherent Shared-Memory |
| ftp://cs.duke.edu/dist/techreport/1994/1994-36.ps.Z, 19941219
CS{1994{36 Towards a Verified Abstract Machine for a Logic Programming Language with a Notion of Scope Keehang Kwon Department of Computer Science Duke University Durham, North Carolina 27708{0129 December 12, 1994 Towards a Verified Abstract Machine for a Logic Programming with a Notion of Scope |
| ftp://cs.duke.edu/dist/techreport/1994/1994-35.ps.Z, 19950106
CS-1994-35 Scoping Constructs in Logic Programming: Implementation Problems and their Solution Gopalan Nadathur Bharat Jayaraman Keehang Kwon Department of Computer Science Duke University Durham, North Carolina 27708{0129 October 1994 Scoping Constructs in Logic Programming: Implementation Problems and |
| ftp://cs.duke.edu/dist/techreport/1994/1994-40.ps.Z, 19950126
CS-1994-40 Uniform Proofs and Disjunctive Logic Programming Gopalan Nadathur Donald W. Loveland Department of Computer Science Duke University Durham, North Carolina 27708{0129 December 1994 Uniform Proofs and Disjunctive Logic Programmingy Gopalan Nadathurz and Donald W. Loveland Department of Computer |
| ftp://cs.duke.edu/dist/techreport/1994/1994-38.ps.Z, 19950126
CS-1994-38 Higher-Order Logic Programming Gopalan Nadathur Dale Miller Department of Computer Science Duke University Durham, North Carolina 27708{0129 December 1994 Higher-Order Logic Programmingy Gopalan Nadathur z Computer Science Department, Duke University Durham, NC 27706 gopalan@cs.duke.edu |
| ftp://cs.duke.edu/dist/techreport/1994/1994-39.ps.Z, 19950126
1 CS--1994--39 Behavior Of the X Window Server Under Normal Usage John L. Furlani Department of Computer Science Duke University Durham, North Carolina 27708-0129 December 19, 1994 2 ACKNOWLEDGEMENTS My thanks go to my fellow class members for their work on the class project during the Spring 1993 CPS |
| ftp://cs.duke.edu/dist/techreport/1995/1995-02.ps.Z, 19950126
CS{1995{02 Meta-Dialogue Behaviors: Improving the Efficiency of Human{Machine Dialogue | A Computational Model of Variable Initiative and Negotiation in Collaborative Problem-Solving Curry I. Guinn Department of Computer Science Duke University Durham, North Carolina 27708{0129 January 24, 1995 |
| ftp://cs.duke.edu/dist/techreport/1995/1995-01.ps.Z, 19950214
CS--1995--01 Coping with Uncertainty in Map Learning Kenneth Basye, Thomas Dean, Jeffrey Scott Vitter Department of Computer Science Duke University Durham, North Carolina 27708-0129 January, 1995 Coping With Uncertainty in Map Learning Kenneth Basye1 Thomas Dean2 Jeffrey Scott Vitter3y 1Department of |
| ftp://cs.duke.edu/dist/techreport/1995/1995-10.ps.Z, 19950324
CS--1995--10 Error Modeling for Hierarchical Lossless Image Compression Paul G. Howard Jeffrey Scott Vitter Department of Computer Science Duke University Durham, North Carolina 27708-0129 March 15, 1995 Error Modeling for Hierarchical Lossless Image Compression Paul G. Howard and Jeffrey Scott Vitter A |
| ftp://cs.duke.edu/dist/techreport/1995/1995-08.ps.Z, 19950324
CS{1995{08 Adaptive Disk Spindown via Optimal Rent-to-Buy in Probabilistic Environments1 P. Krishnan Brown University Philip M. Long Duke University Jeffrey S. Vitter Duke University Department of Computer Science Duke University Durham, North Carolina 27708{0129 March, 1995 Adaptive Disk Spindown via |
| ftp://cs.duke.edu/dist/techreport/1994/94Abstr.ps, 19950330
Technical Reports for 1994 Duke University Department of Computer Science Durham, North Carolina CS-1994-01 - A Notation for Lambda Terms II: Refinements and Applications, Gopalan Nadathur, Debra Sue Wilson. Issues that are relevant to the representation of lambda terms in contexts where their |
| ftp://cs.duke.edu/dist/techreport/1995/1995-06.ps.Z, 19950404
CS-1995-06 Constructing Levels in Arrangements and Higher Order Voronoi Diagrams1 Pankaj K. Agarwal1 Mark de Berg2 Ji<=r Matou<=sek3 Otfried Schwarzkopf2 Department of Computer Science Duke University Durham, North Carolina 27708{0129 1Work on this paper by P.A. has been supported by National Science |
| ftp://cs.duke.edu/dist/techreport/1995/1995-12.ps.Z, 19950404
CS-1995-12 Scheduling to Reduce Memory Coherence Overhead on Coarse-Grain Multiprocessors1 Christopher Connelly Carla Schlatter Ellis Department of Computer Science Duke University Durham, North Carolina 27708{0129 March, 1995 1This research was supported in part by NSF grant CCR-9113170. Scheduling to |
| ftp://cs.duke.edu/dist/techreport/1990/90Abstr.ps.Z, 19950410
Technical Reports for 1990 Duke University Department of Computer Science Durham, North Carolina 27706 CS-1990-1 - Combined Floorplanning and Partitioning Heuristics for Mixed Standard Cell and Macro Block Layout", Jitendra Apte and Gershon Kedem. Efficient heuristic algorithms for the layout of large |
| ftp://cs.duke.edu/dist/techreport/1990/1990-23.ps.Z, 19950410
CS{1990{23 A Mechanism for Processing Argumentative Discourse Curry I. Guinn Department of Computer Science Duke University Durham, North Carolina 27708{0129 December 6, 1990 A Mechanism for Processing Argumentative Discourse Curry I. Guinn December 6, 1990 Supervised by Alan W. Biermann Thesis |
| ftp://cs.duke.edu/dist/techreport/Abstracts/93Abstr.ps.Z, 19950717
Technical Reports for 1993 Duke University Department of Computer Science Durham, North Carolina CS-1993-01 - Algorithms for Parallel Memory I: Two-Level Memories, Jeffrey S. Vitter, Elizabeth A. M. Shriver. We provide the first optimal algorithms in terms of the number of input/outputs (I/Os) required |
| ftp://cs.duke.edu/dist/techreport/1995/1995-19.ps.Z, 19950727
CS{1995{19 An Experimental Comparison of Scheduling Policies on Coarse-Grain Multiprocessors Christopher Connelly Department of Computer Science Duke University Durham, North Carolina 27708{0129 July, 1995 An Experimental Comparison of Scheduling Policies on Coarse-Grain Multiprocessors Christopher |
| ftp://cs.duke.edu/dist/techreport/1995/1995-20.ps.gz, 19950829
CS-1995-20 Generating Levels of Detail for Large-Scale Polygonal Models 1 Amitabh Varshney2 Pankaj K. Agarwal3 Frederick P. Brooks, Jr.4 William V. Wright5 Hans Weber6 Department of Computer Science Duke University Durham, North Carolina 27708{0129 1Work by the first, third, fourth, and fifth authors |
| ftp://cs.duke.edu/dist/techreport/1995/1995-16.ps.Z, 19950830
CS{1995{16 Rate-Distortion Optimizations for Motion Estimation in Low-Bitrate Video Coding Dzung T. Hoang1 Philip M. Long2 Jeffrey Scott Vitter3 Department of Computer Science Duke University Durham, North Carolina 27708{0129 June 19, 1995 1Affiliated with Brown University. Supported in part by an NSF |
| ftp://cs.duke.edu/dist/techreport/1995/1995-09.ps.Z, 19950925
CS{1995{09 The Object Complexity Model for Hidden-Surface Elimination Edward F. Grove1 T. M. Murali2 Jeffrey Scott Vitter3 Department of Computer Science Duke University Durham, North Carolina 27708{0129 March 7th, 1995 1Support was provided in part by Army Research Office grant DAAH04{93{G{0076. Email: |
| ftp://cs.duke.edu/dist/techreport/1995/1995-21.ps.gz, 19951003
CS-1995-21 Davenport{Schinzel Sequences and Their Geometric Applications1 Pankaj K. Agarwal2 Micha Sharir3 Department of Computer Science Duke University Durham, North Carolina 27708{0129 September 1, 1995 1Work on this paper by the first author has been supported by NSF Grant CCR-93-01259, an NYI |
| ftp://cs.duke.edu/dist/techreport/1995/1995-05.ps.Z, 19951013
CS--1995--05 A Characterization of Communication Patterns in Isis Distributed Applications Margaret A. Dietz Carla Schlatter Ellis Department of Computer Science Duke University Durham, North Carolina 2 3 A Characterization of Communication Patterns in Isis Distributed Applications Margaret A. Dietz |
| ftp://cs.duke.edu/dist/techreport/1995/1995-22.ps.gz, 19951020
CS 1995 22 ENWRICH: A Compute-Processor Write Caching Scheme for Parallel File Systems1 Apratim Purakayastha2 Carla Schlatter Ellis3 David Kotz4 Department of Computer Science Duke University Durham, North Carolina 27708 0129 October 19, 1995 1This work was supported in part by the National Science |
| ftp://cs.duke.edu/dist/techreport/1995/1995-26.ps.gz, 19951207
CS-1995-26 Vertical Decomposition of Shallow Levels in 3-Dimensional Arrangements and Its Applications 1 Pankaj K. Agarwal2 Alon Efrat3 Micha Sharir4 Department of Computer Science Duke University Durham, North Carolina 27708{0129 December 2, 1995 1 Work on this paper by the first author has been |
| ftp://cs.duke.edu/dist/techreport/1995/1995-30.ps.gz, 19960115
CS-1995-30 Quasi-Planar Graphs Have a Linear Number of Edges1 Pankaj K. Agarwal2 Boris Aronov3 J anos Pach4 Richard Pollack5 Micha Sharir6 Department of Computer Science Duke University Durham, North Carolina 27708{0129 January 11, 1996 1Work on this paper by Pankaj K. Agarwal, Boris Aronov and Micha |
| ftp://cs.duke.edu/dist/techreport/1995/1995-29.ps.gz, 19960115
CS-1995-29 Largest Placement of One Convex Polygon inside Another1 Pankaj K. Agarwal2 Nina Amenta3 Micha Sharir4 Department of Computer Science Duke University Durham, North Carolina 27708{0129 January 11, 1996 1Pankaj Agarwal and Micha Sharir have been supported by a grant from the U.S.-Israeli |
| ftp://cs.duke.edu/dist/techreport/1995/1995-31.ps.Z, 19960123
CS-1995-31 Compiler-Controlled Cache Mapping Rules Robert A. Wagner Dept. of Computer Science Duke University Durham, NC 27708-0129 December 23, 1995 Compiler-Controlled Cache Mapping Rules Robert A. Wagner |
| ftp://cs.duke.edu/dist/techreport/1995/1995-07.ps.Z, 19960124
CS-1995-07 Using Set-Associative Caches Deterministically to Achieve Near Peak Performance on RS6000 Machines Robert A. Wagner Dept. of Computer Science Duke University Durham, NC 27708-0129 February 15, 1995 Using Set-Associative Caches Deterministically to Achieve Near Peak Performance on RS6000 |
| ftp://cs.duke.edu/dist/techreport/1995/1995-27.ps.Z, 19960124
CS{1995{27 On Elementary Unitary and -Unitary Transformations Xiaobai Sun Department of Computer Science Duke University Durham, North Carolina 27708{0129 Nov. 30, 1995 Duke University, Department of Computer Science. This work was supported by the Applied and Computational Mathematics Program, Advanced |
| ftp://cs.duke.edu/dist/techreport/1995/1995-25.ps.Z, 19960201
CS{1995{25 Optimal Prefetching via Data Compression1 Jeffrey Scott Vitter P. Krishnan Department of Computer Science Duke University Durham, North Carolina 27708{0129 November 1995 1An extended abstract of this work appears in Proceedings of the 32nd Annual IEEE Symposium on Foundations of Computer |
| ftp://cs.duke.edu/dist/techreport/1996/1996-01.ps.gz, 19960219
CS{1996{01 Linear Approximation of Simple Objects Kasturi R. Varadarajan Pankaj K. Agarwal Department of Computer Science Duke University Durham, North Carolina 27708{0129 January 11, 1996 Linear Approximation of Simple Objects Kasturi R. Varadarajany Pankaj K. Agarwaly January 11, 1996 |
| ftp://cs.duke.edu/dist/techreport/1996/1996-02.ps.gz, 19960219
CS{1996{02 Lexicographically Optimal Rate Control for Video Coding with MPEG Buffer Constraints Dzung T. Hoang, Elliot Linzer, and Jeffrey S. Vitter Department of Computer Science Duke University Durham, North Carolina 27708{0129 February 1996 Lexicographically Optimal Rate Control for Video Coding with |
| ftp://cs.duke.edu/dist/techreport/1996/1996-03.ps.gz, 19960411
CS{1996{03 Aggregations of Elementary Transformations Xiaobai Sun Department of Computer Science Duke University Durham, North Carolina 27708{0129 March, 1996 Aggregations of Elementary Transformations Xiaobai Sun March 10, 1996 |
| ftp://cs.duke.edu/dist/techreport/1996/1996-04.ps.gz, 19960412
CS{1996{04 Synthesizing Efficient Out-of-Core Programs for Block Recursive Algorithms using Block-Cyclic Data Distributions1 Zhiyong Li John H. Reif Sandeep K.S. Gupta Department of Computer Science Duke University Durham, North Carolina 27708{0129 March 1996 1Supported by NSF Grant NSF-IRI-91-00681, |
| ftp://cs.duke.edu/dist/techreport/1996/1996-09.ps.gz, 19960617
CS{1996{09 Simple Randomized Mergesort on Parallel Disks1 Rakesh Barve Edward F. Grove Jeffrey Scott Vitter Department of Computer Science Duke University Durham, North Carolina 27708{0129 June 1996 Simple Randomized Mergesort on Parallel Disks1 Rakesh Barve2 Dept. of Computer Science Duke University |
| ftp://cs.duke.edu/dist/techreport/1996/1996-05.ps.gz, 19960617
CS-1996-05 Range Searching Pankaj K. Agarwal Department of Computer Science Duke University Durham, North Carolina 27708{0129 May 21, 1996 Range Searching 1 RANGE SEARCHING Pankaj K. Agarwal INTRODUCTION Range searching is one of the central problems in computational geometry, because it arises in many |
| ftp://cs.duke.edu/dist/techreport/1996/1996-07.ps.gz, 19960617
CS-1996-07 Evaluating Uniform Expressions Within Two Steps of Minimum Parallel Time Robert A. Wagner Duke University Durham, NC 27708-0129 June 4, 1996 hhhhhhhhhhhhhhh Supported in part by DARPA/ISTO contract N00014-91-C-0114. Evaluating Uniform Expressions Within Two Steps of Minimum Parallel Time |
| ftp://cs.duke.edu/dist/techreport/1995/1995-28.ps.gz, 19960625
CS{1995{28 Dependability Analysis of Fault Tolerant Systems: A New Look at Combinatorial Modeling Stacy A. Doyle Department of Computer Science Duke University Durham, North Carolina 27708{0129 11-30-95 DEPENDABILITY ANALYSIS OF FAULT TOLERANT SYSTEMS: A NEW LOOK AT COMBINATORIAL MODELING by Stacy A. |
| ftp://cs.duke.edu/dist/techreport/1996/1996-08.ps.gz, 19960712
CS{1996{08 Unique Signal Analysis and Synthesis Project Jacqueline D. Leyland Sandia National Laboratories Department of Computer Science Duke University Durham, North Carolina 27708{0129 June 19, 1996 Unique Signal Analysis and Synthesis Project Jacqueline D. Leyland Department of Computer Science Duke |
| ftp://cs.duke.edu/dist/techreport/1996/1996-11.ps.gz, 19960731
CS-1996-11 Approximation Algorithms for Curvature-Constrained Shortest Paths 1 Hongyan Wang2 Pankaj K. Agarwal2 Department of Computer Science Duke University Durham, North Carolina 27708{0129 July 30, 1996 1Work by the first author has been supported by NSF Grant NSF-IRI-91-00681, Rome Labs Contracts |
| ftp://cs.duke.edu/dist/techreport/1995/1995-11.ps, 19960802
CS--1995--111 Parallel Lossless Image Compression Using Huffman and Arithmetic Coding Paul G. Howard Jeffrey Scott Vitter Department of Computer Science Duke University Durham, North Carolina 27708-0129 March 15, 1995 Parallel Lossless Image Compression Using Huffman and Arithmetic Coding Paul G. Howard |
| ftp://cs.duke.edu/dist/techreport/1996/1996-10.ps.gz, 19960916
CS 1996 10 Characterizing and Optimizing Parallel File Systems Apratim Purakayastha Department of Computer Science Duke University Durham, North Carolina 27708 0129 June, 1996 Characterizing and Optimizing Parallel File Systems Apratim Purakayastha June, 1996 Supervised by Carla S. Ellis Dissertation |
| ftp://cs.duke.edu/dist/techreport/1996/1996-13.ps.gz, 19960917
CS-1996-13 Spectral Division Methods for Block Generalized Schur Decompositions Xiaobai Sun and Enrique S. Quintana-Ort Department of Computer Science Duke University Durham, North Carolina 27708{0129 August, 1996 Spectral Division Methods for Block Generalized Schur Decompositions Xiaobai Sun y Enrique |
| ftp://cs.duke.edu/dist/techreport/1996/1996-12.ps.gz, 19960917
CS-1996-12 Approximating Shortest Paths on a Convex Polytope in Three Dimensions1 Pankaj K. Agarwal2 Sariel Har-Peled3 Micha Sharir4 Kasturi R. Varadarajan5 Department of Computer Science Duke University Durham, North Carolina 27708{0129 August 15, 1996 1Work by the first and the fourth authors has been |
| ftp://cs.duke.edu/dist/techreport/1996/1996-14.ps.gz, 19961003
CS--1996--14 Gathering and Using Time Measurements in Distributed Systems Margaret A. Dietz Department of Computer Science Duke University Durham, North Carolina GATHERING AND USING TIME MEASUREMENTS IN DISTRIBUTED SYSTEMS by Margaret A. Dietz Department of Computer Science Duke University Date: |
| ftp://cs.duke.edu/dist/techreport/1995/1995-18.ps.gz, 19961003
CS{1995{18 I/O-Efficient Scientific Computation Using TPIE Darren Erik Vengroff1 Brown University and Duke University Jeffrey Scott Vitter2 Duke University Department of Computer Science Duke University Durham, North Carolina 27708{0129 July 26, 1995 1Contact Author . e-mail: dev@cs.duke.edu. Supported |
| ftp://cs.duke.edu/dist/techreport/1996/1996-15.ps.gz, 19961025
CS{1996{15 Simple Randomized Mergesort on Parallel Disks1 Rakesh Barve Edward F. Grove Jeffrey Scott Vitter Department of Computer Science Duke University Durham, North Carolina 27708{0129 October 1996 Simple Randomized Mergesort on Parallel Disks1 Rakesh D. Barve 2 Edward F. Grove3 Jeffrey Scott Vitter |
| ftp://cs.duke.edu/dist/techreport/1995/1995-15.ps.gz, 19961104
CS{1995{15 Advances in ATM Network Management and Control Vijay Srinivasan Department of Computer Science Duke University Durham, North Carolina 27708{0129 June 1995 Advances in ATM Network Management and Control by Vijay Srinivasan Department of Computer Science Duke University June 1995 Dr. Erol |
| ftp://cs.duke.edu/dist/techreport/1996/1996-16.ps.gz, 19961106
CS{1996{16 Call Admission Control in ATM Networks Using the Random Neural Network Wei Jin Erol Gelenbe Department of Computer Science Duke University Durham, North Carolina 27708{0129 November 1996 |
| ftp://cs.duke.edu/dist/techreport/1996/1996-17.ps.gz, 19961125
CS{1996{17 Understanding MUC Performance1 Amit Bagga Alan W. Biermann Department of Computer Science Duke University Durham, North Carolina 27708{0129 November 19, 1996 1Work on this has been supported by a Fellowship from IBM Corporation. Understanding MUC Performance1 Amit Bagga Dept. of Computer |
| ftp://cs.duke.edu/dist/techreport/1996/1996-21.ps.gz, 19961219
CS{1996{21 Report of the Working Group on Storage I/O for Large-Scale Computing Garth A. Gibson Jeffrey Scott Vitter John Wilkes Department of Computer Science Duke University Durham, North Carolina 27708{0129 November 1996 1 ACM Computing Surveys, 28 (4), December 1996; copyright c 1996 by the |
| ftp://cs.duke.edu/dist/techreport/1997/1997-03.ps.gz, 19970213
CS{1997{03 WCDRAM: A fully associative integrated Cached-DRAM with wide cache lines Gershon Kedem Ram Prasad Koganti Department of Computer Science Duke University Durham, North Carolina 27708{0129 January 24, 1997 WCDRAM: A fully associative integrated Cached-DRAM with wide cache lines Gershon Kedem |
| ftp://cs.duke.edu/dist/techreport/1997/1997-02.ps.gz, 19970213
CS{1997{02 The Role Of WordNet in The Creation of a Trainable Message Understanding System 1 Amit Bagga Joyce Yue Chai Alan W. Biermann Department of Computer Science Duke University Durham, North Carolina 27708{0129 January 26, 1997 1Supported by Fellowships from IBM Corporation. The Role Of WordNet in |
| ftp://cs.duke.edu/dist/techreport/1997/1997-01.ps.gz, 19970213
CS{1997{01 Analyzing the Performance of Message Understanding Systems Amit Bagga Alan W. Biermann Department of Computer Science Duke University Durham, North Carolina 27708{0129 January 26, 1997 Analyzing the Performance of Message Understanding Systems Amit Bagga Dept. of Computer Science Duke |
| ftp://cs.duke.edu/dist/techreport/1996/1996-20.ps.gz, 19970214
CS-1996-20 On Levels in Arrangements of Lines, Segments, Planes, and Triangles Pankaj K. Agarwal Boris Aronov Micha Sharir Department of Computer Science Duke University Durham, North Carolina 27708-0129 January 24, 1997 On Levels in Arrangements of Lines, Segments, Planes, and Triangles Pankaj K. |
| ftp://cs.duke.edu/dist/techreport/1996/1996-19.ps.gz, 19970214
CS-1996-19 Efficient Algorithms for Geometric Optimization Pankaj K. Agarwal Micha Sharir Department of Computer Science Duke University Durham, North Carolina 27708-0129 January 24, 1997 Efficient Algorithms for Geometric Optimization y Pankaj K. Agarwal z Micha Sharir x January 24, 1997 |
| ftp://cs.duke.edu/dist/techreport/1996/1996-18.ps.gz, 19970214
Probabilistic Propositional Planning: Representations and Complexity Michael L. Littman Department of Computer Science Duke University, Durham, NC 27708-0129 mlittman@cs.duke.edu |
| ftp://cs.duke.edu/dist/techreport/1997/1997-04.ps.gz, 19970217
CS-1997-04 Evaluating Uniform Expressions Within Two Steps of Minimum Parallel Time Robert A. Wagner Duke University Durham, NC 27708-0129 June 4, 1996 hhhhhhhhhhhhhhh Supported in part by DARPA/ISTO contract N00014-91-C-0114. Evaluating Uniform Expressions Within Two Steps of Minimum Parallel Time |
| ftp://cs.duke.edu/dist/techreport/1997/1997-07.ps.gz, 19970224
The Complexity of Plan Existence and Evaluation in Probabilistic Domains Judy Goldsmith, goldsmit@cs.uky.edu Michael L. Littman, mlittman@cs.duke.edu and Martin Mundhenk mundhenk@ti.uni-trier.de February 22, 1997 |
| ftp://cs.duke.edu/dist/techreport/1997/1997-06.ps.gz, 19970304
CS{1997{06 Cut-Through Delivery in Trapeze: An Exercise in Low-Latency Messaging1 Kenneth G. Yocum Jeffrey S. Chase Andrew Gallatin Alvin R. Lebeck Department of Computer Science Duke University Durham, North Carolina 27708{0129 February 1997 1This work is supported in part by NSF grant CDA-95-12356, |
| ftp://cs.duke.edu/dist/techreport/1997/1997-08.ps.gz, 19970404
CS{1997{08 Application of Newton-Krylov Methods to a Biharmonic Model of Pattern Formation Eric J. Anderson Department of Computer Science Duke University Durham, North Carolina 27708{0129 April 2, 1997 Application of Newton-Krylov Methods to a Biharmonic Model of Pattern Formation Eric J. Anderson |
| ftp://cs.duke.edu/dist/techreport/1997/1997-09.ps.gz, 19970505
CS{1997-09 Binary Space Partitions for Fat Rectangles Pankaj K. Agarwal Edward F. Grove T. M. Murali Jeffrey Scott Vitter Department of Computer Science Duke University Durham, North Carolina 27708{0129 April 1997 Binary Space Partitions for Fat Rectangles Pankaj K. Agarwal Edward F. Grovey T. M. |
| ftp://cs.duke.edu/dist/techreport/1997/1997-10.ps.gz, 19970516
CS-1997-10 Line Transversals of Balls and Smallest Enclosing Cylinders in Three Dimensions Pankaj K. Agarwal Boris Aronov Micha Sharir Department of Computer Science Duke University Durham, North Carolina 27708-0129 May 14, 1997 Line Transversals of Balls and Smallest Enclosing Cylinders in Three |
| ftp://cs.duke.edu/dist/techreport/1997/1997-05.ps.gz, 19970522
CS-1997-05 Solving the Date Crisis Robert A.Wagner Department of Computer Science Box 90129 Duke University Durham, NC 27708-0129 919-660-6536 raw@cs.duke.edu February, 1997 Introduction Does the date 10-19-03 refer to October 19, 1903, or October 19, 2003 This and similar questions will soon need to be |
