• Academics
  • Course Schedule
  • Course Catalog
  • Graduate Program
  • Undergraduate Programs
  • Interdisciplinary Programs
• Research
  • Research Areas
  • Research Projects
  • Public Lectures and Colloquia
  • Technical Reports
• People
  • Faculty
  • Research Scholars
  • Research and Technical Staff
  • Administrative Staff
  • Graduate Students
  • Undergraduate Students
  • Alumni/ae
• Connect
  • Collaborations
  • Industrial Affiliates
  • Libraries
• Jobs
• About
  • Contact Us
  • News and Events
  • Department Information
  • Visit Us

Technical Reports

• Damianakis, Stefanos N.
  • An Analysis of a Combined Hardware-software Mechanism for Speculative Loads, TR-455-94, April 1994
  • Early Experience with Message-Passing on the SHRIMP Multicomputer, TR-510-96, January 1996
  • Efficient Connection-Oriented Communication on High-Performance Networks (Thesis), TR-582-98, April 1998
  • Firmware Support for Reliable Communication and Dynamic System Configuration in System Area Networks, TR-581-98, June 1998
  • Reducing Waiting Costs in User-Level Communication, TR-525-96, September 1996
  • Stream Sockets on SHRIMP, TR-513-96, February 1996
  • UTLB: A Mechanism for Address Translation On Network Interfaces, TR-580-98, June 1998
  • VMMC-2: Efficient Support for Reliable, Connection-Oriented Communication, TR-573-98, February 1998
• Danskin, John M.
  • Compressing the X Graphics Protocol (Thesis), TR-465-94, November 1994
  • Compression Performance of the Xremote Protocol, TR-441-94, January 5, 1994
  • Profiling the X Protocol, TR-442-94, January 5, 1994
• Dantas, Daniel S.
  • Analyzing Polymorphic Advice, TR-717-05, January 2005
  • Analyzing Security Advice in Functional Aspect-oriented Programming Languages, TR-795-07, August 2007
  • Language Support for Processing Ad Hoc Data, TR-826-08, July 2008
  • Protection from Bad Advice, TR-696-04, April 2004
• Das, Gautam
  • Generating Sparse Spanners for Weighted Graphs, TR-261-90, April 1990
• David Walker
  • A Foundation for Automated Reasoning About Pointer Programs, TR-738-05, October 2005
  • Certifying Compilation for a Language with Stack Allocation, TR-724-05, March, 2005
  • PADS/T: A Language for Describing and Transforming Ad Hoc Data, TR-736-05, September 2005
• Davies, Rebecca
  • Bibliography of Technical Reports 1985-91, TR-405-93, January 1993
• Davis, James
  • Spacetime Stereo: A Unifying Framework for Depth from Triangulation, TR-689-04, January 2004
• de Lucena, Carlos José P.
  • Using UML-FW, Refactoring, and Unification Rules to Assist Framework Maintenance and Evolution, TR-614-99, December 1999
• Dean, Drew
  • Extensible Security Architectures for Java, TR-546-97, April 1997
  • Java Security: Web Browsers and Beyond, TR-566-97, February 1997
  • Reading Between the Lines: Lessons from the SDMI Challenge, TR-657-02, July 2002
  • Security Flaws in the HotJava Web Browser, TR-501-95, November 1995
  • Web Spoofing: An Internet Con Game, TR-540-96, December 1996
• DeCoro, Christopher
  • Rendering Filters for Controlling Detail and Creating Effects , TR-854-09, April 2009
  • Subtractive Shadows: A Flexible Framework for Shadow Level-of-Detail, TR-781-07, July 2007
• DeCoro, Christopher R.
  • Bayesian Aggregation for Hierarchical Classfication, TR-785-07, May 2008
• Dietzfelbinger, Martin
  • Dynamic Perfect Hashing: Upper and Lower Bounds, TR-310-91, March 1991
• Dikaiakos, Marios D.
  • A Comparison Study of Heuristics for Mapping Parallel Algorithms to Message-Passing Multiprocessors, TR-446-94, February 1994
  • Comparison of Tree and Straight-Line Clocking for Long Systolic Arrays, TR-271-90, June 1990
  • FAST: A Functional Algorithm Simulation Testbed (Thesis), TR-444-94, June 1994
• Ding Liu
  • Sublinear Geometric Algorithms and Geometric Lower Bounds, TR-727-05, April 2005
• Dinghao Wu
  • Interfacing Compilers, Proof Checkers, and Proofs for Foundational Proof-Carrying Code, TR-733-05, August 2005
• Dixon, Brandon
  • Minimum Spanning Tree Verification, Fast Priority Queues, and Massively Parallel Factoring (Thesis), TR-428-93, October 1993
  • Verification and Sensitivity Analysis of Minimum Spanning Trees in Linear Time, TR-289-90, July 1990
• Dobkin, David P.
  • A Library for Incremental Update of Bitmap Images, TR-174-88, September 1988
  • An Efficient Algorithm for Finding the CSG Representation of a Simple Polygon, TR-152-88, May 1988
  • Applied Computational Geometry: Towards Robust Solutions of Basic Problems, TR-192-88, December 1988
  • Building and Using Polyhedral Hierarchies, TR-411-93, February 1993
  • Computational Geometry - Then and Now, TR-084-87, March 1987
  • Computational Geometry and Computer Graphics, TR-383-92, August 1992
  • Computing the Discrepancy with Applicaitons to Supersampling Patterns, TR-561-96, September 1996
  • Computing the Maximum Bichromatic Discrepancy with Applications to Computer Graphics and Machine Learning, TR-562-95, December 1995
  • Computing the Maximum Bichromatic Discrepancy, with Applications to Computer Graphics and Machine Learning, TR-467-94, October 1994
  • Computing the Rectangle Discrepancy, TR-443-94, January 24, 1994
  • Concept Learning with Geometric Hypotheses, TR-563-95, December 1995
  • Concept Learning with Simple Geometric Hypotheses, TR-481-94, December 1994
  • Decomposition and Intersection of Simple Splinegons, TR-051-86, August 1986
  • Delaunay Graphs are Almost as Good as Complete Graphs, TR-113-87, June 1987
  • Detecting the Intersection of Convex Objects in the Plane, TR-231-89, October 1989
  • Determining the Separation of Preprocessed Polyhedra - A Unified Approach, TR-255-90, April 1990
  • Generating Sparse Spanners for Weighted Graphs, TR-261-90, April 1990
  • Geometric Complexity and Computer Graphics - Does Theory Apply in Practice?, TR-014-85, July 1985
  • Intersection of Convex Objects in Two and Three Dimensions, TR-025-86, January 1986
  • Maintenance of Geometric Extrema, TR-196-88, December 1988
  • Optimal Algorithms for Computing Connected Components of Bichromatic Line Segments and Polygons, TR-366-92, March 1992
  • Primitives for the Manipulation of Three-Dimensional Subdivisions, TR-089-87, April 1987
  • Recipes for Geometry & Numerical Analysis - Part I: An Empirical Study, TR-144-88, March 1988
  • Robust Contour Tracing, TR-054-86, September 1986
  • Searching for Empty Convex Polygons, TR-153-88, May 1988
  • Strategies for Polyhedral Surface Decomposition: An Experimental Study, TR-564-95, December 1995
  • The Maximum Discrepancy of Simple Geometric Ranges, TR-480-94, December 1994
  • The New Jersey Line-Segment-Saw Massacre (Companion to Video), TR-379-92, July 1992
  • The Quickhull Algorithm for Convex Hulls, TR-565-95, January 1995
  • Visibility with a Moving Point of View, TR-235-89, November 1989
  • Visualization of Geometric Algorithms, TR-559-95, February 1995
• Douglas, Craig C.
  • Thread Scheduling for Cache Locality, TR-569-96, December 1996
• Doukas, Dimitris
  • A New Specification Model for Timing constraints and Efficient Methods for their Verification, TR-297-90, January 1991
  • CLOVER: A Timing Constraints Verification System, TR-274-90, July 1990
  • CLOVER: A User Guide, TR-345-91, August 1991
• Doukas, Dimitris A.
  • Analysis of Algorithms for the Configuration of Wafer Scale Linear Arrays in the Presence of Defects, TR-128-87, December 1987
• Doyle, Jon
  • Markov Analysis of Qualitative Dynamics, TR-305-91, February 1991
  • Prolegomena to any Future Qualitative Physics, TR-314-91, April 1991
• Driscoll, James R.
  • Fully Persistent Lists with Catenation, TR-299-90, December 1990
  • Relaxed Heaps: An Alternative to Fibronacci Heaps, TR-109-87, July 1987
• Duba, Bruce F.
  • Profiling in the Presence of Optimization and Garbage Collection, TR-197-88, November 1988
• Dubnicki, Cezary
  • Design and Implementation of NX Message Passing Using SHRIMP Virtual Memory Mapped Communication, TR-507-96, January 1996
  • Design and Implementation of Virtual Memory-Mapped Communication on Myrinet, TR-570-97, February 1997
  • Early Experience with Message-Passing on the SHRIMP Multicomputer, TR-510-96, January 1996
  • Firmware Support for Reliable Communication and Dynamic System Configuration in System Area Networks, TR-581-98, June 1998
  • Improving Release-Consistent Shared Virtual Memory using Automatic Update, TR-518-96, March 1996
  • Protected, User-level DMA for the SHRIMP Network Interface, TR-572-95, December 1995
  • Shared Virtual Memory with Automatic Update Support, TR-575-98, February 1998
  • Software Support for Virtual Memory-Mapped Communication, TR-571-96, April 1996
  • Stream Sockets on SHRIMP, TR-513-96, February 1996
  • UTLB: A Mechanism for Address Translation On Network Interfaces, TR-580-98, June 1998
  • Virtual Memory Mapped Network Interface for the SHRIMP Multicomputer, TR-437-93, November 1993
  • VMMC-2: Efficient Support for Reliable, Connection-Oriented Communication, TR-573-98, February 1998
• Dudik, Miroslav
  • Maximum Entropy Density Estimation and Modeling Geographic Distributions of Species, TR-797-07, August 2007
• Dunworth, Christopher
  • Breaking DES Using a Molecular Computer, TR-489-95, May 1995
  • On The Computational Power of DNA, TR-499-95, October 1995
• Dwicki, Susan
  • Empirical Studies of Competitive Spinning for Shared-Memory Multiprocessors, TR-319-91, March 1991