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 "S")
Sahni, Urvashi
- TR-723-05 - The Digital StudyHall (2005)
- TR-488-95 - Efficient Support for Irregular Applications on Distributed--Memory Machines (1995)
- TR-548-97 - Home-based SVM Protocols for SMP Clusters: Design, Implementation and Performance (1997)
- TR-437-93 - Virtual Memory Mapped Network Interface for the SHRIMP Multicomputer (1993)
- TR-298-90 - A Free-Market Exchange for Information (1990)
- TR-254-90 - Design of the PRAM Network (1990)
- TR-240-89 - How to Store a Triangular Matrix (1989)
- TR-180-88 - PRAM: A Scalable Shared Memory (1988)
- TR-749-06 - The Real-Time Reprojection Cache (2006)
- TR-005-85 - Planar Point Location Using Persistent Search Trees (1985)
- TR-370-92 - Analysis of Heapsort (Thesis) (1992)
- TR-330-91 - The Analysis of Heapsort (1991)
- TR-293-90 - The Best Case of Heapsort (1990)
- TR-785-07 - Bayesian Aggregation for Hierarchical Classfication (2008)
- TR-837-08 - Query-Independent Ranking for Large-Scale Persistent Search Systems (2008)
- TR-745-06 - SiteRank: Link-Based Relevance Computation for Persistent Search (2006)
- TR-638-01 - A Proof-Carrying Authorization System (2001)
- TR-029-86 - Distributed Computing Research at Princeton - 1985 (1986)
- TR-622-00 - Practical LFU Implementation for Web Caching (2000)
- TR-554-97 - The Zephyr Abstract Syntax Description Language (1997)
- TR-499-95 - On The Computational Power of DNA (1995)
- TR-585-98 - Resistance of Digital Watermarks to Collusive Attacks (1998)
- TR-488-95 - Efficient Support for Irregular Applications on Distributed--Memory Machines (1995)
- TR-468-94 - Collusion-Secure Fingerprinting for Digital Data (1994)
- TR-817-08 - Shape Distinction for 3D Object Retrieval (2008)
- TR-564-95 - Strategies for Polyhedral Surface Decomposition: An Experimental Study (1995)
- TR-653-02 - iWalk: Interactive Out-Of-Core Rendering of Large Models (2002)
- TR-637-01 - Video Cubism (2001)
- TR-527-96 - A Lower Bound for Randomized Algebraic Decision Trees (1996)
- TR-029-86 - Distributed Computing Research at Princeton - 1985 (1986)
- TR-231-89 - Detecting the Intersection of Convex Objects in the Plane (1989)
- TR-094-87 - Computational Geometry in a Curved World (thesis) (1986)
- TR-051-86 - Decomposition and Intersection of Simple Splinegons (1986)
- TR-724-05 - Certifying Compilation for a Language with Stack Allocation (2005)
- TR-588-98 - Defending Against Denial of Service Attacks in Scout (1998)
- TR-347-91 - High Performance File System Design (Thesis) (1991)
- TR-283-90 - Clustering Active Disk Data To Improve Disk Performance (1990)
- TR-246-90 - File System Design Using Large Memories (1990)
- TR-179-88 - File Access Patterns (1988)
- TR-338-91 - Improved Algorithms for Bipartite Network Flow (1991)
- TR-657-02 - Reading Between the Lines: Lessons from the SDMI Challenge (2002)
- TR-648-02 - A Trustworthy Proof Checker (2002)
- TR-934-12 - Scaffold: Quantum Programming Language (2012)
- TR-902-11 - Reliable Internet Routing (thesis) (2011)
- TR-881-10 - BGP Safety with Spurious Updates (2010)
- TR-849-09 - Comparing the Security Performance of Network-Layer and Application-Layer Anycast (2009)
- TR-808-07 - How Small Groups Can Secure Interdomain Routing (2007)
- TR-676-03 - Typed Machine Language (Thesis) (2003)
- TR-657-02 - Reading Between the Lines: Lessons from the SDMI Challenge (2002)
- TR-466-94 - Wavelet Algorithms for Illumination Computations (Thesis) (1994)
- TR-449-94 - Textures and Radiosity: Controlling Emission and Reflection with Texture Maps (1994)
- TR-404-93 - A Closed Form Expression for the Form Factor between Two Polygons (1993)
- TR-330-91 - The Analysis of Heapsort (1991)
- TR-293-90 - The Best Case of Heapsort (1990)
- TR-137-88 - Tight Lower Bounds for Shellsort (1988)
- TR-130-88 - Analysis of a Simple Yet Efficient Convex Hull Algorithm (1988)
- TR-130-87 - Analysis of a Simple Yet Efficient Convex Hull Algorithm (1987)
- TR-027-86 - Practical Variations of Shellsort (1986)
- TR-008-85 - The Pairing Heap: A New Form of Self-Adjusting Heap (1985)
- TR-779-07 - Exploring Social Networks in Computer Systems (2007)
- TR-664-02 - A Peer-to-Peer Mobile Storage System (2002)
- TR-487-95 - A Type-Based Compiler for Standard ML (1995)
- TR-475-94 - Compiling Standard ML for Efficient Execution on Modern Machines (Thesis) (1994)
- TR-454-94 - Space-Efficient Closure Representations (1994)
- TR-453-94 - Unrolling Lists (1994)
- TR-450-94 - An Empirical and Analytic Study of Stack vs. Heap Cost for Languages with Closures (1994)
- TR-395-92 - Smartest Recompilation (1992)
- TR-326-91 - Callee-save Registers in Continuation-Passing Style (1991)
- TR-729-05 - Improving Mathematical Programming Approaches for Motif Finding (2005)
- TR-728-05 - Combinatorial Optimization Approaches to Motif Finding (2005)
- TR-606-99 - Alloyed Global and Local Branch History: A Robust Solution to Wrong-History Misprediction (1999)
- TR-604-99 - Characterizing and Removing Branch Mispredictions (Thesis) (1999)
- TR-595-99 - Selecting a Single, Representative Sample for Accurate Simulation of SPECint Benchmarks (1999)
- TR-594-99 - Alloying Global and Local Branch History: Taxonomy, Performance, and Analysis (1999)
- TR-589-98 - Speculative Updates of Local and Global Branch History: A Quantitative Analysis (1998)
- TR-578-98 - Branch Prediction, Instruction-Window Size, and Cache Size: Performance Tradeoffs and Sampling Techniques (1998)
- TR-577-98 - Improving Prediction for Procedure Returns with Return-Address-Stack Repair Mechanisms (1998)
- TR-723-05 - The Digital StudyHall (2005)
- 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-768-06 - Deterministic Sharing of Distributed Resources (2006)
- TR-722-05 - Communication synchronization (2005)
- TR-721-05 - Evolving beyond asynchrony (2005)
- TR-626-00 - Evaluating Network Processors in IP Forwarding (2000)
- TR-312-91 - Ordered and Reliable Multicast Communication (Thesis) (1991)
- TR-219-89 - Telematics Research at Princeton - 1988 (1989)
- TR-184-88 - Ordered and Reliable Multicast Communication (1988)
- TR-161-88 - Message Ordering in a Multicast Environment (1988)
- TR-151-88 - Telematics Research at Princeton - 1987 (1988)
- TR-073-87 - Distributed Computing Research at Princeton - 1986 (1987)
- TR-056-86 - Increasing Availability under Mutual Exclusion Constraints with Dynamic Vote Reassignment (1986)
- TR-037-86 - Protocols for Dynamic Vote Reassignment (1986)
- TR-029-86 - Distributed Computing Research at Princeton - 1985 (1986)
- TR-010-85 - Policies for Dynamic Vote Reassignment (1985)
- TR-484-95 - General Parallel Computation without CPUs: VLSI Realization of a Particle Machine (1995)
- TR-478-94 - Programmable Parallel Arithmetic in Cellular Automata Using a Particle Model (1994)
- TR-446-94 - A Comparison Study of Heuristics for Mapping Parallel Algorithms to Message-Passing Multiprocessors (1994)
- TR-398-92 - Maintaining Bipartite Matchings in the Presence of Failures (1992)
- TR-346-91 - Computer Science 111 Lab Manual (1991)
- TR-339-91 - Error Detection in Arrays Via Dependency Graphs (1991)
- TR-315-91 - Reliable Reconfigurable Structures for Array Architectures (1991)
- TR-280-90 - Reconfigurability and Reliability of Systolic/Wavefront Arrays (1990)
- TR-279-90 - Ein Kleiner Filter Compiler (1990)
- TR-278-90 - METEOR: A Constraint-based FIR Filter Design Program (1990)
- TR-271-90 - Comparison of Tree and Straight-Line Clocking for Long Systolic Arrays (1990)
- TR-269-90 - Testing Parallel Simulators for Two-Dimensional Lattice-Gas Automata (1990)
- TR-190-88 - Throughput of Long Self-Timed Pipelines (1988)
- TR-124-87 - A Probabilistic Model for Clock Skew (1987)
- TR-083-87 - Performance of VLSI Engines for Lattice Computations (1987)
- TR-066-86 - Planarity Testing of Doubly Periodic Infinite Graphs (1986)
- TR-053-86 - A Semiring On Convex Polygons and Zero-Sum Cycle Problems (1986)
- TR-044-86 - Soliton Phase Shifts in a Dissipative Lattice (1986)
- TR-031-86 - Optimization of One-Bit Full Adders Embedded in Regular Structures (1986)
- TR-015-85 - Embedding Computation in One-Dimensional Automata by Phase Coding Solitons (1985)
- TR-875-10 - Estimating Application Hierarchical Bandwidth Requirements using BSP Family Models (2010)
- TR-811-08 - The PARSEC Benchmark Suite: Characterization and Architectural Implications (2008)
- TR-745-06 - SiteRank: Link-Based Relevance Computation for Persistent Search (2006)
- TR-725-05 - Towards Scalable Content-based Publish-Subscribe Networks (2005)
- TR-723-05 - The Digital StudyHall (2005)
- TR-692-04 - MEDYM: An Architecture for Content-based Publish-Subscribe Service Networks (2004)
- TR-684-03 - Approximate Index Routing: A Case for Content-based Peer-to-Peer Routing (2003)
- TR-682-03 - Scheduling Web Crawl for Better Performance and Quality (2003)
- TR-623-00 - Toward quantitative simulation of germinal center dynamics. I. Biologicaland modeling insights from experimental validation (2000)
- TR-621-00 - Query Affinity in Internet Applications (2000)
- TR-579-98 - Network Interface Support for Shared Virtual Memory on Clusters (1998)
- TR-576-98 - Limits to the Performance of Software Shared Memory: A Layered Approach (1997)
- TR-575-98 - Shared Virtual Memory with Automatic Update Support (1998)
- TR-552-97 - Shared Virtual Memory: Progress and Challenges (1997)
- TR-550-97 - Comparison of Shared Virtual Memory across Uniprocessor and SMP Nodes (1997)
- TR-548-97 - Home-based SVM Protocols for SMP Clusters: Design, Implementation and Performance (1997)
- TR-535-96 - Relaxed Consistency and Coherence Granularity in DSM Systems: A Performance Evaluation (1996)
- TR-519-96 - Understanding Application Performance on Shared Virtual Memory Systems (1996)
- TR-517-96 - Shared Virtual Memory Across SMP Nodes Using Automatic Update: Protocols and Performance (1996)
- TR-516-96 - Real-Time Parallel MPEG-2 Decoding in Software (1996)
- TR-514-96 - Irregular Applications under Software Shared Memory (1996)
- TR-509-96 - Scope Consistency: a Bridge between Release Consistency and Entry Consistency (1996)
- 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-365-92 - Nonlinear Heart Model Predicts the Range of Heart Rates for Electrical Alternans in Pericardial Effusion (1992)
- TR-342-91 - A Smart Interface for Numerical Software (1991)
- TR-341-91 - A Smart Interface for Numerical Software (1991)
- TR-314-91 - Prolegomena to any Future Qualitative Physics (1991)
- TR-305-91 - Markov Analysis of Qualitative Dynamics (1991)
- TR-300-90 - Computational Kinematics (1990)
- TR-244-90 - Automatic Analysis of One-Parameter Planar Ordinary Differential Equations (1990)
- TR-328-91 - Probabilistic Diagnosis of Hot Spots (1991)
- TR-247-90 - Coordinating Multi-Transaction Activities (1990)
- TR-219-89 - Telematics Research at Princeton - 1988 (1989)
- TR-195-88 - System M: A Transaction Processing System for Memory Resident Data (1988)
- TR-188-88 - Failure Recovery in Memory-Resident Transaction Processing Systems (thesis) (1988)
- TR-151-88 - Telematics Research at Princeton - 1987 (1988)
- TR-126-87 - Checkpointing Memory-Resident Databases (1987)
- TR-119-87 - Crash Recovery for Memory-Resident Databases (1987)
- TR-099-87 - Concurrency Controls for Global Procedures in Federated Database Systems (1987)
- TR-087-87 - Altruistic Locking: A Strategy for Coping with Long Lived Transactions (1987)
- TR-073-87 - Distributed Computing Research at Princeton - 1986 (1987)
- TR-070-87 - SAGAS (1987)
- TR-034-86 - Crash Recovery Mechanisms for Main Storage Database Systems (1986)
- TR-535-96 - Relaxed Consistency and Coherence Granularity in DSM Systems: A Performance Evaluation (1996)
- TR-464-94 - Application-Specific Protocols for User-Level Shared Memory (1994)
- TR-798-07 - Adaptive Algorithms for Online Decision Problems (2007)
- TR-789-07 - Testing Expansion in Bounded Degree Graphs (2007)
- TR-432-93 - Static Scheduling for Synthesis of DSP Algorithms on Various Models (1993)
- TR-398-92 - Maintaining Bipartite Matchings in the Presence of Failures (1992)
- TR-396-92 - Scheduling Data-Flow Graphs via Retiming and Unfolding (1992)
- TR-380-92 - Fault Tolerance For Array Architectures (Thesis) (1992)
- TR-339-91 - Error Detection in Arrays Via Dependency Graphs (1991)
- TR-315-91 - Reliable Reconfigurable Structures for Array Architectures (1991)
- TR-280-90 - Reconfigurability and Reliability of Systolic/Wavefront Arrays (1990)
- TR-642-02 - Intelligent Devices as Symmetric Partners for End--to--end Data Flows (2002)
- TR-641-02 - Snow on Silk: A NodeOS in the Linux Kernel (2002)
- TR-350-91 - Ray Shooting in Polygons Using Geodesic Triangulations (1991)
- TR-334-91 - Computing a Face in an Arrangement of Line Segments and Related Problems (1991)
- TR-294-90 - Lines in Space: Combinatorics and Algorithms (1990)
- TR-290-90 - Quasi-Optimal Upper Bounds for Simplex Range Searching and New Zone Theorems (1990)
- TR-288-90 - Counting and Cutting Cycles of Lines and Rods in Space (1990)
- TR-257-90 - Slimming Down by Adding: Selecting Heavily Covered Points (1990)
- TR-252-90 - Algorithms for Bichromatic Line Segment Problems and Polyhedral Terrains (1990)
- TR-039-86 - Linear Time Algorithms for Visibility and Shortest Path Problems Inside Simple Polygons (1986)
- TR-545-97 - An Introduction to Client-Server Programming with Sockets (1997)
- TR-534-96 - Mobile Network Objects (1996)
- TR-524-96 - Simplifying Distributed File Systems Using a Shared Logical Disk (1996)
- TR-219-89 - Telematics Research at Princeton - 1988 (1989)
- TR-202-89 - Querying a Network of Autonomous Databases (1989)
- TR-158-88 - Query Processing in a Heterogeneous Retrieval Network (1988)
- TR-151-88 - Telematics Research at Princeton - 1987 (1988)
- TR-085-87 - The Application of Workstation Caching to Information Systems (1987)
- TR-073-87 - Distributed Computing Research at Princeton - 1986 (1987)
- TR-029-86 - Distributed Computing Research at Princeton - 1985 (1986)
- TR-414-93 - Communication and Fault Tolerance in Parallel Computers (Thesis) (1993)
- TR-385-92 - On the Fault Tolerance of Some Popular Bounded-Degree Networks (1992)
- TR-299-90 - Fully Persistent Lists with Catenation (1990)
- TR-265-90 - Short Encodings of Evolving Structures (1990)
- TR-163-88 - A Tight Amortized Bound for Path Reversal (1988)
- TR-131-88 - Rotation Distance, Triangulations and Hyperbolic Geometry (1988)
- TR-008-85 - The Pairing Heap: A New Form of Self-Adjusting Heap (1985)
- TR-004-85 - A Locally Adaptive Data Compression Scheme (1985)
- TR-003-85 - Rotation Distance (1985)
- TR-350-91 - Ray Shooting in Polygons Using Geodesic Triangulations (1991)
- TR-334-91 - Computing a Face in an Arrangement of Line Segments and Related Problems (1991)
- TR-288-90 - Counting and Cutting Cycles of Lines and Rods in Space (1990)
- TR-152-88 - An Efficient Algorithm for Finding the CSG Representation of a Simple Polygon (1988)
- TR-484-95 - General Parallel Computation without CPUs: VLSI Realization of a Particle Machine (1995)
- TR-478-94 - Programmable Parallel Arithmetic in Cellular Automata Using a Particle Model (1994)
- TR-304-91 - Efficient, Scalable Architectures for Lattice-Gas Computations (Thesis) (1991)
- TR-269-90 - Testing Parallel Simulators for Two-Dimensional Lattice-Gas Automata (1990)
- TR-083-87 - Performance of VLSI Engines for Lattice Computations (1987)
- TR-422-93 - Lazy Structure Sharing for Query Optimization (1993)
- TR-381-92 - Data Structural Bootstrapping, Linear Path Compression, and Catenable Heap Ordered Double Ended Queues (1992)
- TR-267-90 - Unique Binary Search Tree Representations and Equality-testing of Sets and Sequences (1989)
- TR-113-87 - Delaunay Graphs are Almost as Good as Complete Graphs (1987)
- TR-059-86 - Recognizing Circle Graphs in Polynomial Time (1986)
- TR-058-86 - Finding the Optimal Variable Ordering for Binary Decision Diagrams (1986)
- TR-794-07 - Counteracting Discrimination against Network Traffic (2007)
- TR-769-06 - Secure Availability Monitoring Using Stealth Probes (2006)
- TR-963-13 - New Results in the Theory of Approximation: Fast Graph Algorithms and Inapproximability (2013)
- TR-946-13 - New Systems and Algorithms for Scalable Fault Tolerance (2013)
- TR-943-12 - Scalable, Optimal Flow Routing in Datacenters via Local Link Balancing (2012)
- 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-976-14 - Multi-tenant Resource Allocation For Shared Cloud Storage (2014)
- TR-943-12 - Scalable, Optimal Flow Routing in Datacenters via Local Link Balancing (2012)
- TR-885-10 - Service-Centric Networking with SCAFFOLD (2010)
- TR-596-14 - Multi-tenant Resource Allocation For Shared Cloud Storage (2014)
- TR-918-11 - Network-based Analysis of Protein Function (2011)
- TR-977-14 - A HYBRID SPMD – COARSE GRAIN DATAFLOW PARALLEL PROGRAMMING MODEL (2014)
- TR-875-10 - Estimating Application Hierarchical Bandwidth Requirements using BSP Family Models (2010)
- TR-887-10 - On the Complexity of Unique Games and Graph Expansion (2010)
- TR-883-10 - Reinforcement Learning Without Rewards (2010)
- TR-850-09 - Namecast: A Reliable, Flexible, Scalable DNS Hosting System (2009)
- TR-917-11 - Rehoming Edge Links for Better Traffic Engineering (2011)
- TR-844-08 - Neighbor-Specific BGP: More Flexible Routing Policies Without Sacrificing Global Stability (2008)
- TR-932-12 - Twitter News: Harnessing Twitter to Build an Article Recommendation System (2012)
- TR-192-88 - Applied Computational Geometry: Towards Robust Solutions of Basic Problems (1988)
- TR-178-88 - Geometry, Graphics, and Numerical Analysis (thesis) (1988)
- TR-144-88 - Recipes for Geometry & Numerical Analysis - Part I: An Empirical Study (1988)
- TR-277-90 - Scalable Shared Memory Interconnections (thesis) (1990)
- TR-150-88 - Minimizing Expansions of Recursions (1988)
- TR-281-90 - A Rapid Hierarchical Radiosity Algorithm for Unoccluded Environments (1990)
- TR-288-90 - Counting and Cutting Cycles of Lines and Rods in Space (1990)
- TR-257-90 - Slimming Down by Adding: Selecting Heavily Covered Points (1990)
- TR-988-16 - CAPTURING, PROCESSING, AND SYNTHESIZING SURFACES WITH DETAILS (2016)
- TR-988-16 - CAPTURING, PROCESSING, AND SYNTHESIZING SURFACES WITH DETAILS (2016)
- TR-977-16 - An RGBN Benchmark (2016)
- TR-974-14 - Alignment of Images Captured Under Different Light Directions (2014)
- TR-973-14 - Niagara: Scalable Load Balancing on Commodity Switches (2014)
- TR-109-87 - Relaxed Heaps: An Alternative to Fibronacci Heaps (1987)
- TR-171-88 - Transitive Reduction in Parallel Via Branchings (1988)
- TR-294-90 - Lines in Space: Combinatorics and Algorithms (1990)
- TR-210-89 - Shared Virtual Memory Accomodating Heterogeneity (1989)
- TR-196-88 - Maintenance of Geometric Extrema (1988)
- TR-934-12 - Scaffold: Quantum Programming Language (2012)
- TR-914-11 - Cloud Resident Data Center (2011)
- TR-980-15 - Verified Separate Compilation for C (2015)
- TR-983-15 - Optimizing Full Correlation Matrix Analysis of fMRI Data on Intel R Xeon PhiTM Coprocessors (2015)
- 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-983-15 - Optimizing Full Correlation Matrix Analysis of fMRI Data on Intel R Xeon PhiTM Coprocessors (2015)
- TR-990-15 - Integrating Network Management For Cloud Computing Services (2015)
- TR-991-15 - Exoskeleton: Fast Cache-enabled Load Balancing for Key-Value Stores (2015)
- TR-992-16 - A Framework for Access Control and Resource Allocation in Federations (2016)
- TR-003-18 - TRELLIS: VISUAL TOPIC AGGREGATION (2018)
- TR-007-18 - On the Connections between Compressed Sensing, Learning and Natural Language Representations (2018)
- TR-019-18 - Learning Algorithms in Strategic Environments (2018)
- TR-020-18 - Data-Driven 3D Scene Understanding (2018)
- TR-005-19 - UTILITY SCHEDULING FOR MULTI-TENANT CLUSTERS (2019)
- TR-005-19 - UTILITY SCHEDULING FOR MULTI-TENANT CLUSTERS (2019)
- TR-011-19 - Verified Extraction for Coq (2019)