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 "H")
Hainsworth, John
- TR-748-06 - Enabling Truly Collaborative Writing on a Computer (2006)
- TR-859-09 - Investigating Security Failures and their Causes: An Analytic Approach to Computer Security (thesis) (2009)
- TR-816-08 - AVC Advantage: Hardware Functional Specifications (2008)
- TR-679-03 - Analysis of the MediaMax CD3 Copy-Prevention System (2003)
- TR-656-02 - An Effective Theory of Type Refinements (2002)
- TR-218-89 - Decreasing Channel Width Bounds by Channel Widening (1989)
- TR-175-88 - Two-Dimensional Compaction: Computing the Shape Function of a Slicing Layout (thesis) (1988)
- TR-068-86 - Optimal Compaction of Multiple Two-Component Channels under River Routing (1986)
- TR-810-07 - Analysis and Visualization of Large-Scale Gene Expression Microarray Compendia (thesis) (2007)
- TR-836-08 - Oracle Semantics (thesis) (2008)
- TR-825-08 - Oracle Semantics for Concurrent Separation Logic (Extended Version) (2008)
- TR-030-86 - PATHALIAS or The Care and Feeding of Relative Addresses (1986)
- TR-593-99 - Robust Mesh Watermarking (1999)
- TR-618-00 - Avoiding Seams On High-Resolution Multi-Projector Displays using An Un-calibrated Camera (2000)
- TR-059-86 - Recognizing Circle Graphs in Polynomial Time (1986)
- TR-565-95 - The Quickhull Algorithm for Convex Hulls (1995)
- TR-500-95 - A Machine-Independent Debugger (1995)
- TR-399-92 - DUEL - A Very High-Level Debugging Language (1992)
- TR-386-92 - Engineering Efficient Code Generators Using Tree Matching and Dynamic Programming (1992)
- TR-349-91 - Distributed EZ (1991)
- TR-324-91 - Garbage Collection Alternatives for Icon (1991)
- TR-306-91 - String Processing Languages (1991)
- TR-303-91 - A Retargetable Compiler for ANSI C (1991)
- TR-270-90 - A Code Generation Interface for ANSI C (1990)
- TR-233-89 - EZ Processes (1989)
- TR-191-88 - Fast Allocation and Deallocation of Memory Based on Object Lifetimes (1988)
- TR-162-88 - Copying Garbage Collection in the Presence of Ambiguous References (1988)
- TR-798-07 - Adaptive Algorithms for Online Decision Problems (2007)
- TR-766-06 - Efficient Algorithms for Online Convex Optimization and Their Applications (thesis) (2006)
- TR-747-06 - Logarithmic Regret Algorithms for Online Convex Optimization (2006)
- TR-746-06 - Approximating Quadratic Programs with Postitive Semidefinite Constraints (2006)
- TR-740-05 - New Algorithms for Repeated Play and Universal Portfolio Management (2005)
- TR-706-04 - HAPLOFREQ - Estimating Haplotype Frequencies Efficiently (2004)
- TR-823-08 - Rationality and Traffic Attraction: Incentives for Honest Path Announcements in BGP (2008)
- TR-813-08 - Rational ASes and Traffic Attraction: Incentives for honestly announcing paths in BGP (2008)
- TR-706-04 - HAPLOFREQ - Estimating Haplotype Frequencies Efficiently (2004)
- TR-678-03 - Perfect Phylogeny and Haplotype Assignment (2003)
- TR-356-91 - Computing Minimal Spanning Subgraphs in Linear Time (1991)
- TR-322-91 - An Algorithmic Approach to Extremal Graph Problems (Thesis) (1991)
- TR-309-91 - An O(m log n)-Time Algorithm for the Maximal Planar Subgraph Problem (1991)
- TR-449-94 - Textures and Radiosity: Controlling Emission and Reflection with Texture Maps (1994)
- TR-442-94 - Profiling the X Protocol (1994)
- TR-441-94 - Compression Performance of the Xremote Protocol (1994)
- TR-427-93 - Evenly Distributed Depth is the Worst for Distributed Snooping (1993)
- TR-410-93 - A Hierarchical Illumination Algorithm for Surfaces with Glossy Reflection (1993)
- TR-409-93 - Reflection from Layered Surfaces due to Subsurface Scattering (1993)
- TR-404-93 - A Closed Form Expression for the Form Factor between Two Polygons (1993)
- TR-382-92 - Depth Complexity in Object-Parallel Graphics Architectures (1992)
- TR-281-90 - A Rapid Hierarchical Radiosity Algorithm for Unoccluded Environments (1990)
- TR-787-07 - Towards Internet-wide Multipath Routing (2007)
- TR-774-07 - Rethinking Internet Traffic Management: From Multiple Decompositions to a Practical Protocol (2007)
- TR-770-06 - Design Principles of Manageable Networks (2006)
- TR-447-94 - Supporting Dynamic Data Structures on Distributed Memory Machines (1994)
- TR-374-92 - Supporting SPMD Execution for Dynamic Data Structures (1992)
- TR-350-91 - Ray Shooting in Polygons Using Geodesic Triangulations (1991)
- TR-257-90 - Slimming Down by Adding: Selecting Heavily Covered Points (1990)
- TR-152-88 - An Efficient Algorithm for Finding the CSG Representation of a Simple Polygon (1988)
- TR-039-86 - Linear Time Algorithms for Visibility and Shortest Path Problems Inside Simple Polygons (1986)
- TR-535-96 - Relaxed Consistency and Coherence Granularity in DSM Systems: A Performance Evaluation (1996)
- TR-488-95 - Efficient Support for Irregular Applications on Distributed--Memory Machines (1995)
- TR-464-94 - Application-Specific Protocols for User-Level Shared Memory (1994)
- TR-841-08 - Analysis of Large Genomic Data Collections (thesis) (2008)
- TR-915-11 - A Study of Privacy and Fairness in Sensitive Data Analysis (2011)
- TR-897-11 - Error Correction and the Cryptographic Key (thesis) (2011)
- TR-886-10 - Probabilistic Graphical Models for the Analysis and Synthesis of Musical Audio (thesis) (2010)
- TR-898-11 - Frenetic: A Network Programming Language (MSE thesis) (2011)
- TR-248-90 - Two Epoch Algorithms for Disaster Recovery (1990)
- TR-177-88 - The Design of a Document Database (1988)
- TR-198-88 - Management of a Remote Backup Copy for Disaster Recovery (1988)
- TR-888-10 - Sparse Approximation and Compressed Sensing Using the Reed-Muller Sieve (2010)
- TR-977-15 - RIPQ: Advanced Photo Caching on Flash for Facebook (2015)
- TR-983-15 - Optimizing Full Correlation Matrix Analysis of fMRI Data on Intel R Xeon PhiTM Coprocessors (2015)
- TR-996-16 - Lower Bounds for Error-Correcting Codes with Local Recovery (2016)
- TR-003-19 - SCALABLE, NETWORK-WIDE TELEMETRY WITH PROGRAMMABLE SWITCHES (2019)
- TR-003-19 - SCALABLE, NETWORK-WIDE TELEMETRY WITH PROGRAMMABLE SWITCHES (2019)
- TR-007-19 - RGBD Pipeline for Indoor Scene Reconstruction and Understanding (2019)
- TR-008-19 - Deciphering Disease Genomes in a Network Context (2019)