Technical Reports Search

This is an archive of department research. Research published since 2020 is available through arXiv or Mudd Library.

DISPLAY BY AUTHOR:

Reports for Authors (Last name "D")

• TR-405-93 - Bibliography of Technical Reports 1985-91 (1993)

• TR-689-04 - Spacetime Stereo: A Unifying Framework for Depth from Triangulation (2004)

• TR-614-99 - Using UML-FW, Refactoring, and Unification Rules to Assist Framework Maintenance and Evolution (1999)

• TR-310-91 - Dynamic Perfect Hashing: Upper and Lower Bounds (1991)

• TR-428-93 - Minimum Spanning Tree Verification, Fast Priority Queues, and Massively Parallel Factoring (Thesis) (1993)
• TR-289-90 - Verification and Sensitivity Analysis of Minimum Spanning Trees in Linear Time (1990)

• TR-569-96 - Thread Scheduling for Cache Locality (1996)

• TR-345-91 - CLOVER: A User Guide (1991)
• TR-297-90 - A New Specification Model for Timing constraints and Efficient Methods for their Verification (thesis) (1991)
• TR-274-90 - CLOVER: A Timing Constraints Verification System (1990)
• TR-128-87 - Analysis of Algorithms for the Configuration of Wafer Scale Linear Arrays in the Presence of Defects (1987)

• TR-797-07 - Maximum Entropy Density Estimation and Modeling Geographic Distributions of Species (thesis) (2007)

• TR-319-91 - Empirical Studies of Competitive Spinning for Shared-Memory Multiprocessors (1991)

• TR-582-98 - Efficient Connection-Oriented Communication on High-Performance Networks (Thesis) (1998)
• TR-581-98 - Firmware Support for Reliable Communication and Dynamic System Configuration in System Area Networks (1998)
• TR-580-98 - UTLB: A Mechanism for Address Translation On Network Interfaces (1998)
• TR-573-98 - VMMC-2: Efficient Support for Reliable, Connection-Oriented Communication (1998)
• TR-525-96 - Reducing Waiting Costs in User-Level Communication (1996)
• TR-513-96 - Stream Sockets on SHRIMP (1996)
• TR-510-96 - Early Experience with Message-Passing on the SHRIMP Multicomputer (1996)
• TR-455-94 - An Analysis of a Combined Hardware-software Mechanism for Speculative Loads (1994)

• TR-854-09 - Rendering Filters for Controlling Detail and Creating Effects (thesis) (2009)
• TR-785-07 - Bayesian Aggregation for Hierarchical Classfication (2008)
• TR-781-07 - Subtractive Shadows: A Flexible Framework for Shadow Level-of-Detail (2007)

• TR-446-94 - A Comparison Study of Heuristics for Mapping Parallel Algorithms to Message-Passing Multiprocessors (1994)
• TR-444-94 - FAST: A Functional Algorithm Simulation Testbed (Thesis) (1994)
• TR-271-90 - Comparison of Tree and Straight-Line Clocking for Long Systolic Arrays (1990)

• TR-826-08 - Language Support for Processing Ad Hoc Data (2008)
• TR-795-07 - Analyzing Security Advice in Functional Aspect-oriented Programming Languages (thesis) (2007)
• TR-717-05 - Analyzing Polymorphic Advice (2005)
• TR-696-04 - Protection from Bad Advice (2004)

• TR-565-95 - The Quickhull Algorithm for Convex Hulls (1995)
• TR-564-95 - Strategies for Polyhedral Surface Decomposition: An Experimental Study (1995)
• TR-563-95 - Concept Learning with Geometric Hypotheses (1995)
• TR-562-95 - Computing the Maximum Bichromatic Discrepancy with Applications to Computer Graphics and Machine Learning (1995)
• TR-561-96 - Computing the Discrepancy with Applicaitons to Supersampling Patterns (1996)
• TR-559-95 - Visualization of Geometric Algorithms (1995)
• TR-481-94 - Concept Learning with Simple Geometric Hypotheses (1994)
• TR-480-94 - The Maximum Discrepancy of Simple Geometric Ranges (1994)
• TR-467-94 - Computing the Maximum Bichromatic Discrepancy, with Applications to Computer Graphics and Machine Learning (1994)
• TR-443-94 - Computing the Rectangle Discrepancy (1994)
• TR-411-93 - Building and Using Polyhedral Hierarchies (1993)
• TR-383-92 - Computational Geometry and Computer Graphics (1992)
• TR-379-92 - The New Jersey Line-Segment-Saw Massacre (Companion to Video) (1992)
• TR-366-92 - Optimal Algorithms for Computing Connected Components of Bichromatic Line Segments and Polygons (1992)
• TR-261-90 - Generating Sparse Spanners for Weighted Graphs (1990)
• TR-255-90 - Determining the Separation of Preprocessed Polyhedra - A Unified Approach (1990)
• TR-235-89 - Visibility with a Moving Point of View (1989)
• TR-231-89 - Detecting the Intersection of Convex Objects in the Plane (1989)
• TR-196-88 - Maintenance of Geometric Extrema (1988)
• TR-192-88 - Applied Computational Geometry: Towards Robust Solutions of Basic Problems (1988)
• TR-174-88 - A Library for Incremental Update of Bitmap Images (1988)
• TR-153-88 - Searching for Empty Convex Polygons (1988)
• TR-152-88 - An Efficient Algorithm for Finding the CSG Representation of a Simple Polygon (1988)
• TR-144-88 - Recipes for Geometry & Numerical Analysis - Part I: An Empirical Study (1988)
• TR-113-87 - Delaunay Graphs are Almost as Good as Complete Graphs (1987)
• TR-089-87 - Primitives for the Manipulation of Three-Dimensional Subdivisions (1987)
• TR-084-87 - Computational Geometry - Then and Now (1987)
• TR-054-86 - Robust Contour Tracing (1986)
• TR-051-86 - Decomposition and Intersection of Simple Splinegons (1986)
• TR-025-86 - Intersection of Convex Objects in Two and Three Dimensions (1986)
• TR-014-85 - Geometric Complexity and Computer Graphics - Does Theory Apply in Practice? (1985)

• TR-465-94 - Compressing the X Graphics Protocol (Thesis) (1994)
• TR-442-94 - Profiling the X Protocol (1994)
• TR-441-94 - Compression Performance of the Xremote Protocol (1994)

• TR-657-02 - Reading Between the Lines: Lessons from the SDMI Challenge (2002)
• TR-566-97 - Java Security: Web Browsers and Beyond (1997)
• TR-546-97 - Extensible Security Architectures for Java (1997)
• TR-540-96 - Web Spoofing: An Internet Con Game (1996)
• TR-501-95 - Security Flaws in the HotJava Web Browser (1995)

• TR-314-91 - Prolegomena to any Future Qualitative Physics (1991)
• TR-305-91 - Markov Analysis of Qualitative Dynamics (1991)

• TR-581-98 - Firmware Support for Reliable Communication and Dynamic System Configuration in System Area Networks (1998)
• TR-580-98 - UTLB: A Mechanism for Address Translation On Network Interfaces (1998)
• TR-575-98 - Shared Virtual Memory with Automatic Update Support (1998)
• TR-573-98 - VMMC-2: Efficient Support for Reliable, Connection-Oriented Communication (1998)
• TR-572-95 - Protected, User-level DMA for the SHRIMP Network Interface (1995)
• TR-571-96 - Software Support for Virtual Memory-Mapped Communication (1996)
• TR-570-97 - Design and Implementation of Virtual Memory-Mapped Communication on Myrinet (1997)
• TR-518-96 - Improving Release-Consistent Shared Virtual Memory using Automatic Update (1996)
• TR-513-96 - Stream Sockets on SHRIMP (1996)
• TR-510-96 - Early Experience with Message-Passing on the SHRIMP Multicomputer (1996)
• TR-507-96 - Design and Implementation of NX Message Passing Using SHRIMP Virtual Memory Mapped Communication (1996)
• TR-437-93 - Virtual Memory Mapped Network Interface for the SHRIMP Multicomputer (1993)

• TR-499-95 - On The Computational Power of DNA (1995)
• TR-489-95 - Breaking DES Using a Molecular Computer (1995)

• TR-923-12 - Large Scale Visual Recognition (2012)

• TR-913-11 - High-Dimensional Similarity Search for Large Datasets (2011)

• TR-928-12 - Greedy Algorithms for Online Allocation Problems with Stochastic Input (2012)

• TR-929-12 - Software-Defined Network Virtualization with FlowN (2012)
• TR-914-11 - Cloud Resident Data Center (2011)

• TR-936-12 - Operational Refinement for Compiler Correctness (2012)

• TR-261-90 - Generating Sparse Spanners for Weighted Graphs (1990)

• TR-934-12 - Scaffold: Quantum Programming Language (2012)

• TR-299-90 - Fully Persistent Lists with Catenation (1990)
• TR-109-87 - Relaxed Heaps: An Alternative to Fibronacci Heaps (1987)

• TR-197-88 - Profiling in the Presence of Optimization and Garbage Collection (1988)

• TR-996-15 - COMPUTATION IMPROVES INTERACTIVE SYMBOLIC EXECUTION (2015)