Reports for Authors (Last name "D")
-
Damianakis, Stefanos N.
- 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)
-
Danskin, John M.
- 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)
-
Dantas, Daniel S.
- 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)
-
Das, Gautam
- TR-261-90 - Generating Sparse Spanners for Weighted Graphs (1990)
-
Davies, Rebecca
- TR-405-93 - Bibliography of Technical Reports 1985-91 (1993)
-
Davis, James
- TR-689-04 - Spacetime Stereo: A Unifying Framework for Depth from Triangulation (2004)
- de Lucena, Carlos José P.
-
Dean, Drew
- 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)
-
DeCoro, Christopher
- 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)
-
Deng, Jia
- TR-923-12 - Large Scale Visual Recognition (2012)
-
Dhesi, Aman
- TR-928-12 - Greedy Algorithms for Online Allocation Problems with Stochastic Input (2012)
-
Dietzfelbinger, Martin
- TR-310-91 - Dynamic Perfect Hashing: Upper and Lower Bounds (1991)
-
Dikaiakos, Marios D.
- 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)
- Dixon, Brandon
-
Dobkin, David P.
- 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)
-
Dockins, Rob
- TR-936-12 - Operational Refinement for Compiler Correctness (2012)
-
Dodds, Josiah
- TR-996-15 - COMPUTATION IMPROVES INTERACTIVE SYMBOLIC EXECUTION (2015)
-
Dong, Wei
- TR-913-11 - High-Dimensional Similarity Search for Large Datasets (2011)
-
Douglas, Craig C.
- TR-569-96 - Thread Scheduling for Cache Locality (1996)
-
Doukas, Dimitris
- 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)
-
Dousti, Mohammad Javad
- TR-934-12 - Scaffold: Quantum Programming Language (2012)
-
Doyle, Jon
- TR-314-91 - Prolegomena to any Future Qualitative Physics (1991)
- TR-305-91 - Markov Analysis of Qualitative Dynamics (1991)
-
Driscoll, James R.
- TR-299-90 - Fully Persistent Lists with Catenation (1990)
- TR-109-87 - Relaxed Heaps: An Alternative to Fibronacci Heaps (1987)
-
Drutskoy, Dmitry
- TR-929-12 - Software-Defined Network Virtualization with FlowN (2012)
- TR-914-11 - Cloud Resident Data Center (2011)
-
Duba, Bruce F.
- TR-197-88 - Profiling in the Presence of Optimization and Garbage Collection (1988)
-
Dubnicki, Cezary
- 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)
- Dudik, Miroslav
-
Dunworth, Christopher
- TR-499-95 - On The Computational Power of DNA (1995)
- TR-489-95 - Breaking DES Using a Molecular Computer (1995)
-
Dwicki, Susan
- TR-319-91 - Empirical Studies of Competitive Spinning for Shared-Memory Multiprocessors (1991)
