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 "J")

• TR-823-08 - Rationality and Traffic Attraction: Incentives for Honest Path Announcements in BGP (2008)

• TR-484-95 - General Parallel Computation without CPUs: VLSI Realization of a Particle Machine (1995)

• TR-833-08 - Performance Bounds for Peer-Assisted Live Streaming (2008)

• TR-417-93 - Depth Reduction for Noncommutative Arithmetic Circuits (Extended Abstract) (1993)

• TR-814-08 - The Role of Prices in Peer-Assisted Content Distribution (2008)

• TR-700-04 - Puzzle Outsourcing for IP-Level DoS Resistance (2004)

• TR-661-02 - Scan-Based Scheduling and Layout in a Reliable Write-Optimized File System (2002)
• TR-633-01 - Availability, Scalability and Cost-Effectiveness of Cluster-Based Internet Infrastructures (Thesis) (2001)
• TR-621-00 - Query Affinity in Internet Applications (2000)
• TR-620-00 - A Low-Cost Consistency Protocol for Replicated Directory Data in Cluster-Based Storage Systems (2000)
• TR-610-99 - Design, Analysis, Implementation and Performance of An Archipelagic File System (1999)

• TR-826-08 - Language Support for Processing Ad Hoc Data (2008)
• TR-762-06 - Linear Logic, Heap-shape Patterns and Imperative Programming (2006)
• TR-738-05 - A Foundation for Automated Reasoning About Pointer Programs (2005)
• TR-724-05 - Certifying Compilation for a Language with Stack Allocation (2005)
• TR-671-03 - Modal Proofs As Distributed Programs (2003)

• TR-682-03 - Scheduling Web Crawl for Better Performance and Quality (2003)
• TR-576-98 - Limits to the Performance of Software Shared Memory: A Layered Approach (1997)

• TR-893-11 - A Direct-Access File System for a New Generation of Flash Memory (thesis) (2011)
• TR-760-06 - Analysis of Filtering for Similarity Search Using Sketches (2006)
• TR-759-06 - A Time-Space Efficient Locality Sensitive Hashing Method for Similarity Search in High Dimensions (2006)

• TR-556-97 - Shrinking Lambda Expressions in Linear Time (1997)
• TR-477-94 - Making Lambda Calculus Smaller, Faster (1994)
• TR-183-88 - Continuation-Passing, Closure-Passing Style (1988)
• TR-168-88 - Optimizing Closure Environment Representation (1988)

• TR-424-93 - A Catalog of Higher Pairs and Their Configuration Spaces (1993)
• TR-421-93 - Comprehensive Kinematic Analysis of Higher Pairs with Two Degrees of Freedom (1993)
• TR-367-92 - Mechanism Simulation with Configuration Spaces and Simple Dynamics (1992)
• TR-300-90 - Computational Kinematics (1990)

• TR-945-13 - Automatic Parallelization for GPUs (2013)

• TR-911-11 - Deterministic Compressed Sensing (2011)
• TR-888-10 - Sparse Approximation and Compressed Sensing Using the Reed-Muller Sieve (2010)

• TR-962-13 - Combinatorial Code Analysis for Understanding Biological Regulation (2013)

• TR-930-12 - Hiding Amongst the Clouds: A Proposal for Cloud-Based Onion Routing (2012)

• TR-986-16 - DYNAMIC CONTROL OF SOFTWARE-DEFINED NETWORKS (2016)
• TR-950-13 - SoftCell: Taking control of Cellular Core Networks (2013)

• TR-865-09 - Design and Implementation of Secure Trusted Overlay Networks (thesis) (2009)

• TR-998-15 - To Coordinate Or Not To Coordinate? Wide-Area Traffic Management for Data Centers (2012)
• TR-919-12 - Wide-Area Traffic Management for Cloud Services (2012)
• TR-868-09 - Decentralized Server Selection Through Joint Proximity and Load Optimization (2009)
• TR-846-08 - Cooperative Content Distribution and Traffic Engineering in an ISP Network (2008)

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

• TR-979-16 - Leveraging Electromagnetic Polarization in a Two-Antenna Motion Tracking System (2016)
• TR-010-17 - Transforming MIMO BPSK Maximum Likelihood Detection into QUBO Form (2017)

• TR-006-17 - Boosted Stochastic Backpropagation for Variational Inference (2017)

• TR-012-18 - Speech Synthesis for Text-Based Editing of Audio Narration (2018)