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 "L")
Larmore, Lawrence L.
- TR-539-96 - Correctness of Constructing Optimal Alphabetic Trees Revisited (1996)
- TR-756-06 - Acquisition and Representation of Material Appearance for Editing and Rendering (thesis) (2006)
- TR-464-94 - Application-Specific Protocols for User-Level Shared Memory (1994)
- TR-039-86 - Linear Time Algorithms for Visibility and Shortest Path Problems Inside Simple Polygons (1986)
- TR-054-86 - Robust Contour Tracing (1986)
- TR-579-98 - Network Interface Support for Shared Virtual Memory on Clusters (1998)
- TR-752-06 - Policy Enforcement via Program Monitoring (thesis) (2006)
- TR-218-89 - Decreasing Channel Width Bounds by Channel Widening (1989)
- TR-201-89 - Placement Problems Arising From Automatic Logic Compilation (thesis) (1989)
- TR-023-86 - A Weinberger Array Generator (1986)
- TR-657-02 - Reading Between the Lines: Lessons from the SDMI Challenge (2002)
- TR-727-05 - Sublinear Geometric Algorithms and Geometric Lower Bounds (thesis) (2005)
- TR-833-08 - Performance Bounds for Peer-Assisted Live Streaming (2008)
- TR-643-02 - Measuring the Web Using a Versatile Meta Information Crawler (2002)
- TR-819-08 - Scalable Isosurface Visualization (thesis) (2008)
- TR-549-97 - Efficient Animation Techniques Balancing Both User Control And Physical Realism (Thesis) (1997)
- TR-344-91 - A Theory for Deadlocks (1991)
- TR-317-91 - Lecture Notes on Evasiveness of Graph Properties (1991)
- TR-251-90 - Algorithmic Discrete Mathematics (1990)
- TR-204-89 - Communication Complexity; A Survey (1989)
- TR-114-87 - Covering Minima and Lattice Point Free Convex Bodies (1987)
- TR-021-86 - The Rotation Graph of Binary Trees is Hamiltonian (1986)
- TR-504-95 - Hardness of Approximations (1995)
- TR-842-08 - Virtualizing Network File Systems (thesis) (2008)
- TR-705-04 - Networking Going Postal (2004)
- TR-691-04 - Postmanet: Turning the Postal System into a Generic Digital Communication Mechanism (2004)
- TR-672-03 - Coherent and Network-Aware Tracking of Objects (2003)
- TR-664-02 - A Peer-to-Peer Mobile Storage System (2002)
- TR-687-03 - Secure Linking: A Logical Framework for Policy-Enforced Component Composition (2003)
- TR-663-02 - Secure Linking: a Framework for Trusted Software Components (Extended Version) (2002)
- TR-662-02 - Secure Linking: a Framework for Trusted Software Components (2002)
- TR-985-16 - Incremental Full Correlation Matrix Analysis for Real-Time fMRI Studies (2016)
- TR-985-16 - Incremental Full Correlation Matrix Analysis for Real-Time fMRI Studies (2016)
- TR-818-08 - PARSEC vs. SPLASH2: A Quantitative Comparison of Two Multithreaded Benchmark Suites on Chip-Multiprocessors (2008)
- TR-811-08 - The PARSEC Benchmark Suite: Characterization and Architectural Implications (2008)
- 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-707-04 - A Multi-Cursor X Window Manager Supporting Control Room Collaboration (2004)
- TR-705-04 - Networking Going Postal (2004)
- TR-688-04 - Turning the Postal System into a Generic Digital Communication Mechanism (2004)
- TR-685-03 - Distance Learning Technologies for Basic Education in Disadvantaged Areas (2003)
- TR-618-00 - Avoiding Seams On High-Resolution Multi-Projector Displays using An Un-calibrated Camera (2000)
- TR-612-99 - MimdRAID: Low Latency Secondary Storage (1999)
- TR-592-99 - Dynamic Join and Departure in Shared Object Middleware (1999)
- TR-591-99 - Fast Cluster Failover Using Virtual Memory-Mapped Communication (1999)
- TR-590-99 - Thread Scheduling for Out-of-Core Applications with Memory Server on Multicomputers (1999)
- 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-569-96 - Thread Scheduling for Cache Locality (1996)
- TR-543-97 - CLIP: A Checkpointing Tool for Message-Passing Parallel Programs (1997)
- TR-535-96 - Relaxed Consistency and Coherence Granularity in DSM Systems: A Performance Evaluation (1996)
- TR-529-96 - Performance Evaluation of Two Home-Based Lazy Release Consistency Protocols for Shared Virtual Memory Systems (1996)
- TR-519-96 - Understanding Application Performance on Shared Virtual Memory Systems (1996)
- TR-518-96 - Improving Release-Consistent Shared Virtual Memory using Automatic Update (1996)
- TR-514-96 - Irregular Applications under Software Shared Memory (1996)
- TR-510-96 - Early Experience with Message-Passing on the SHRIMP Multicomputer (1996)
- TR-509-96 - Scope Consistency: a Bridge between Release Consistency and Entry Consistency (1996)
- TR-507-96 - Design and Implementation of NX Message Passing Using SHRIMP Virtual Memory Mapped Communication (1996)
- TR-493-95 - Implementation and Performance of Integrated Application-Controlled Caching, Prefetching and Disk Scheduling (1995)
- TR-479-94 - A Study of Integrated Prefetching and Caching Strategies (1994)
- TR-462-94 - Implementation and Performance of Application-Controlled File Caching (1994)
- TR-455-94 - An Analysis of a Combined Hardware-software Mechanism for Speculative Loads (1994)
- TR-445-94 - Application-Controlled File Caching Policies (1994)
- TR-439-93 - Process Capturing (1993)
- TR-437-93 - Virtual Memory Mapped Network Interface for the SHRIMP Multicomputer (1993)
- TR-401-92 - An Evaluation of Multiprocessor Cache Coherence Based on Virtual Memory Support (1992)
- TR-400-92 - Cache Coherence for Shared Memory Multiprocessors Based on Virtual Memory Support (1992)
- TR-373-92 - A Comparative Evaluation of Cache Coherence Schemes Based on Virtual Memory Support (1992)
- TR-372-92 - Software Support for Speculative Loads (1992)
- TR-360-92 - An Empirical Comparison of Loop Scheduling Algorithms on a Shared Memory Multiprocessor (1992)
- TR-319-91 - Empirical Studies of Competitive Spinning for Shared-Memory Multiprocessors (1991)
- TR-316-91 - Checkpointing Multicomputer Applications (1991)
- TR-307-91 - Evaluation of Memory System Extensions (1991)
- TR-291-90 - Real-Time Concurrent Collection in User Mode (1990)
- TR-276-90 - Virtual Memory Primitives for User Programs (1990)
- TR-242-90 - Simple Hardware for Fast Interprocessor Communication (1990)
- TR-239-89 - Real-Time, Concurrent Checkpoint for Parallel Programs (1989)
- TR-217-89 - Shiva: An Operating System Transforming a Hypercube into a Shared-Memory Machine (1989)
- TR-210-89 - Shared Virtual Memory Accomodating Heterogeneity (1989)
- TR-159-88 - Multiprocessor Main Memory Transaction Processing (1988)
- TR-133-88 - Real-time Concurrent Collection on Stock Multiprocessors (1988)
- TR-018-18 - Scheduling Computation Graphs of Deep Learning Models on Manycore CPUs (2018)
- TR-026-86 - Comparing Long Strings on a Short Systolic Array (1986)
- TR-022-86 - Using Residue Arithmetic to Simplify VLSI Processor Arrays for Dynamic Programming (1986)
- TR-020-86 - The Total DNA Homology Experiment (1986)
- TR-011-85 - A Suggested Architecture for the Massive Memory Machine (1985)
- 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-643-02 - Measuring the Web Using a Versatile Meta Information Crawler (2002)
- TR-384-92 - Finding All Minimal Shapes in a Routing Channel (1992)
- TR-345-91 - CLOVER: A User Guide (1991)
- TR-274-90 - CLOVER: A Timing Constraints Verification System (1990)
- TR-240-89 - How to Store a Triangular Matrix (1989)
- TR-218-89 - Decreasing Channel Width Bounds by Channel Widening (1989)
- TR-149-88 - Algorithms for Finding a Maximum Bipartite Subgraph for Special Classes of Graphs (1988)
- TR-128-87 - Analysis of Algorithms for the Configuration of Wafer Scale Linear Arrays in the Presence of Defects (1987)
- TR-068-86 - Optimal Compaction of Multiple Two-Component Channels under River Routing (1986)
- TR-023-86 - A Weinberger Array Generator (1986)
- TR-627-00 - Cheaper by the Dozen: Batched Algorithms (2000)
- TR-520-96 - A Revocable Backup System (1996)
- TR-499-95 - On The Computational Power of DNA (1995)
- TR-491-95 - Making DNA Computers Error Resistant (1995)
- TR-489-95 - Breaking DES Using a Molecular Computer (1995)
- TR-328-91 - Probabilistic Diagnosis of Hot Spots (1991)
- TR-298-90 - A Free-Market Exchange for Information (1990)
- TR-240-89 - How to Store a Triangular Matrix (1989)
- TR-238-89 - Playing Games of Incomplete Information (1989)
- TR-237-89 - On Bounded Round Multi-Prover Interactive Proof Systems (1989)
- TR-213-89 - Recursively Enumerable Languages Have Finite State Interactive Proofs (1989)
- TR-212-89 - Fingerprinting Sets (1989)
- TR-209-89 - Estimating the Size of Path Relations (1989)
- TR-203-89 - Clocked Adversaries for Hashing (1989)
- TR-180-88 - PRAM: A Scalable Shared Memory (1988)
- TR-176-88 - A Class of Randomized Strategies for Low-Cost Comparison of File Copies (1988)
- TR-088-87 - The Processor Identity Problem (1987)
- TR-074-87 - IOStone: A Synthetic File System Performance Benchmark (1987)
- TR-067-86 - Models and Measurements of File System Performance (1986)
- TR-042-86 - Array Access Bound for Block Storage Memory Systems (1986)
- TR-026-86 - Comparing Long Strings on a Short Systolic Array (1986)
- TR-022-86 - Using Residue Arithmetic to Simplify VLSI Processor Arrays for Dynamic Programming (1986)
- TR-020-86 - The Total DNA Homology Experiment (1986)
- TR-794-07 - Counteracting Discrimination against Network Traffic (2007)
- TR-769-06 - Secure Availability Monitoring Using Stealth Probes (2006)
- 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-463-94 - Where is Time Spent in Message-Passing and Shared-Memory Programs? (1994)
- TR-585-98 - Resistance of Digital Watermarks to Collusive Attacks (1998)
- TR-385-92 - On the Fault Tolerance of Some Popular Bounded-Degree Networks (1992)
- TR-776-07 - Fault-tolerant Typed Assembly Language (2007)
- TR-720-05 - Enforcing Non-safety Security Policies with Program Monitors (2005)
- TR-699-04 - A Language and System for Composing Security Policies (2004)
- TR-681-03 - Edit Automata: Enforcement Mechanisms for Run-time Security Policies (2003)
- TR-655-02 - A Calculus for Composing Security Policies (2002)
- TR-649-02 - More Enforceable Security Policies (2002)
- TR-628-00 - Understanding TCP Vegas: A Duality Model* (2000)
- TR-616-00 - Understanding TCP Vegas: Theory and Practice* (2000)
- TR-969-14 - Approximation Algorithms for Network Routing and Facility Location Problems (2014)
- TR-948-13 - Stronger Consistency and Semantics for Low-Latency Geo-Replicated Storage (2013)
- TR-005-20 - Performance-Optimal Read-Only Transactions (Extended Version) (2022)
- TR-004-20 - Tolerating Slowdowns in Replicated State Machines using Copilots: Pseudocode and Proof of Correctness (2021)
- TR-907-11 - Dynamic Hair Capture (2011)
- TR-970-14 - Composition-Aware Scene Optimization for Product Images (2014)
- TR-957-13 - Localization Using Feature Matching in Near-Random Textures (2013)
- TR-125-87 - A Data Structure for Manipulating Three-Dimensional Subdivisions (thesis) (1987)
- TR-089-87 - Primitives for the Manipulation of Three-Dimensional Subdivisions (1987)
- TR-884-10 - Linear Maps (2010)
- TR-907-11 - Dynamic Hair Capture (2011)
- TR-950-13 - SoftCell: Taking control of Cellular Core Networks (2013)
- TR-922-12 - CellSDN: Software-Defined Cellular Networks (2012)
- TR-970-14 - Composition-Aware Scene Optimization for Product Images (2014)
- TR-123-87 - Reliable Broadcast in Networks with Nonprogrammable Servers (1987)
- TR-977-15 - RIPQ: Advanced Photo Caching on Flash for Facebook (2015)
- TR-977-15 - RIPQ: Advanced Photo Caching on Flash for Facebook (2015)
- TR-978-14 - Data-driven Digital Drawing and Painting (2014)
- TR-981-15 - ArMOR: Defending Against Memory Consistency Model Mismatches in Heterogeneous Architectures (2015)
- TR-981-15 - ArMOR: Defending Against Memory Consistency Model Mismatches in Heterogeneous Architectures (2015)
- TR-983-15 - Optimizing Full Correlation Matrix Analysis of fMRI Data on Intel R Xeon PhiTM Coprocessors (2015)
- TR-992-15 - Label Optimal Regret Bounds for Online Local Learning (2015)
- TR-978-16 - Targeted analyses of very large genome-wide data collections (2016)
- TR-005-20 - Performance-Optimal Read-Only Transactions (Extended Version) (2022)
- TR-001-22 - A Serverless Architecture for Application-Level Orchestration (2022)