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 "G")
Gabor, Csaba P.
- TR-275-90 - Graph Decompositions with Applications to Circle and Permutation Graphs (thesis) (1990)
- TR-059-86 - Recognizing Circle Graphs in Polynomial Time (1986)
- TR-049-86 - One-Processor Scheduling of Tasks with Preferred Starting Times (1986)
- TR-737-05 - Linear-Time Algorithms for Dominators and Related Problems (thesis) (2005)
- TR-724-05 - Certifying Compilation for a Language with Stack Allocation (2005)
- TR-761-06 - PADS/ML: A Functional Data Description Language (2006)
- TR-871-10 - Analysis of Global Properties of Shapes (thesis) (2010)
- TR-782-07 - Symmetry-Aware Mesh Processing (2007)
- TR-560-97 - Experience with Secure Multi-Processing in Java (1997)
- TR-426-93 - A Uniform Circuit Lower Bound for the Permanent (1993)
- TR-394-92 - STARI: A Technique for High-Bandwidth Communication (Thesis) (1993)
- TR-242-90 - Simple Hardware for Fast Interprocessor Communication (1990)
- TR-190-88 - Throughput of Long Self-Timed Pipelines (1988)
- TR-350-91 - Ray Shooting in Polygons Using Geodesic Triangulations (1991)
- TR-306-91 - String Processing Languages (1991)
- TR-627-00 - Cheaper by the Dozen: Batched Algorithms (2000)
- TR-822-08 - Shape Analysis with Inductive Recursion Synthesis (thesis) (2008)
- TR-359-92 - Evaluation of Remote Backup Algorithms for Transaction Processing Systems (1992)
- TR-354-91 - Processing of Read-Only Queries at a Remote Backup (1991)
- TR-320-91 - The Demarcation Protocol: A Technique for Maintaining Arithmetic Constraints in Distributed Database Systems (1991)
- TR-295-90 - Distributed Processing of Filtering Queries in HyperFile (1990)
- TR-287-90 - Scheduling I/O Requests with Deadlines: A Performance Evaluation (1990)
- TR-283-90 - Clustering Active Disk Data To Improve Disk Performance (1990)
- TR-248-90 - Two Epoch Algorithms for Disaster Recovery (1990)
- TR-247-90 - Coordinating Multi-Transaction Activities (1990)
- TR-246-90 - File System Design Using Large Memories (1990)
- TR-219-89 - Telematics Research at Princeton - 1988 (1989)
- TR-215-89 - A Probabilistic Relational Data Model (1989)
- TR-207-89 - Scheduling Real-Time Transactions with Disk Resident Data (1989)
- TR-206-89 - Indexing in a Hypertext Database (1989)
- TR-198-88 - Management of a Remote Backup Copy for Disaster Recovery (1988)
- TR-195-88 - System M: A Transaction Processing System for Memory Resident Data (1988)
- TR-184-88 - Ordered and Reliable Multicast Communication (1988)
- TR-177-88 - The Design of a Document Database (1988)
- TR-170-88 - An Implementation of Reliable Broadcast Using an Unreliable Multicast Facility (1988)
- TR-161-88 - Message Ordering in a Multicast Environment (1988)
- TR-151-88 - Telematics Research at Princeton - 1987 (1988)
- TR-147-88 - Supporting Probabilistic Data in a Relational System (1988)
- TR-146-88 - Scheduling Real-time Transactions: A Performance Evaluation (1988)
- TR-129-87 - Scheduling Real-time Transactions (1987)
- TR-126-87 - Checkpointing Memory-Resident Databases (1987)
- TR-123-87 - Reliable Broadcast in Networks with Nonprogrammable Servers (1987)
- TR-119-87 - Crash Recovery for Memory-Resident Databases (1987)
- TR-117-87 - Exploiting Symmetries for Low-Cost Comparison of File Copies (1987)
- TR-101-87 - Quasi-Copies: Efficient Data Sharing for Information Retrieval Systems (1987)
- TR-100-87 - Some Thoughts on Data Sharing Among Autonomous Cooperating Database Systems (1987)
- TR-099-87 - Concurrency Controls for Global Procedures in Federated Database Systems (1987)
- TR-091-87 - Update Propagation in Bakunin Data Networks (1987)
- TR-090-87 - Some Thoughts on Probabilistic Databases (1987)
- TR-087-87 - Altruistic Locking: A Strategy for Coping with Long Lived Transactions (1987)
- TR-076-87 - Recovery in a Triple Modular Redundant Database System (1987)
- TR-075-87 - Performance Through Memory (1987)
- TR-073-87 - Distributed Computing Research at Princeton - 1986 (1987)
- TR-070-87 - SAGAS (1987)
- TR-065-86 - Data Caching in an Information Retrieval System (1986)
- TR-064-86 - Maintaining Availability of Replicated Data in a Dynamic Failure Environment (1986)
- TR-056-86 - Increasing Availability under Mutual Exclusion Constraints with Dynamic Vote Reassignment (1986)
- TR-047-86 - Reliable Distributed Database Management (1986)
- TR-043-86 - Achieving High Availability in Distributed Databases (1986)
- TR-037-86 - Protocols for Dynamic Vote Reassignment (1986)
- TR-034-86 - Crash Recovery Mechanisms for Main Storage Database Systems (1986)
- TR-029-86 - Distributed Computing Research at Princeton - 1985 (1986)
- TR-028-86 - Reliable Scheduling in a TMR Database System (1986)
- TR-012-85 - Optimizing Shadow Recovery Algorithms (1985)
- TR-010-85 - Policies for Dynamic Vote Reassignment (1985)
- TR-002-85 - Database Processing with Triple Modular Redundancy (1985)
- TR-001-85 - Mutual Exclusion in Partitioned Distributed Systems (1985)
- TR-757-06 - A Postal System Based Digital Network And A Distance Learning System (thesis) (2006)
- 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-438-93 - A Very High Level Debugging Language (thesis) (1994)
- TR-399-92 - DUEL - A Very High-Level Debugging Language (1992)
- TR-473-94 - Wavelet Methods for Computer Graphics (Thesis) (1994)
- TR-456-94 - Variational Modeling with Wavelets (1994)
- TR-408-93 - Radiosity and Relaxation Methods: Progressive Refinement is Southwell Relaxation (1993)
- TR-775-07 - A Formal Approach to Practical Network Security Management (thesis) (2007)
- TR-773-07 - Automatic Configuration Vulnerability Analysis (2007)
- TR-744-06 - Windows Access Control Demystified (2006)
- TR-718-04 - Policy-based Multihost Multistage Vulnerability Analysis (2004)
- TR-714-04 - Network Security Management with High-level Security Policies (2004)
- TR-563-95 - Concept Learning with Geometric Hypotheses (1995)
- TR-562-95 - Computing the Maximum Bichromatic Discrepancy with Applications to Computer Graphics and Machine Learning (1995)
- TR-481-94 - Concept Learning with Simple Geometric Hypotheses (1994)
- TR-480-94 - The Maximum Discrepancy of Simple Geometric Ranges (1994)
- TR-467-94 - Computing the Maximum Bichromatic Discrepancy, with Applications to Computer Graphics and Machine Learning (1994)
- TR-443-94 - Computing the Rectangle Discrepancy (1994)
- TR-492-95 - Cache Performance of Programs with Intensive Heap Allocation and Generational Garbage Collection (thesis) (1995)
- TR-482-94 - Cache Performance of Fast-Allocating Programs (1994)
- TR-412-93 - Hash-Consing Garbage Collection (1993)
- TR-630-00 - Optimal Spilling for CISC Machines with Few Registers (2000)
- TR-498-95 - Iterated Register Coalescing (1995)
- TR-485-95 - An Adaptive Gauss Method for Computing Irradiance Coefficients of Galerkin Radiosity Systems (1995)
- TR-449-94 - Textures and Radiosity: Controlling Emission and Reflection with Texture Maps (1994)
- TR-530-96 - Expected Performance of Dijkstra's Shortest Path Algorithm (1996)
- TR-216-89 - Network Flow Algorithms (1989)
- TR-193-88 - Efficiency of the Network Simplex Algorithm for the Maximum Flow Problem (1988)
- TR-186-88 - A Parallel Algorithm for Finding A Blocking Flow in an Acyclic Network (1988)
- TR-164-88 - Finding Minimum-Cost Flows by Double Scaling (1988)
- TR-107-87 - Finding Minimum-Cost Circulations by Canceling Negative Cycles (1987)
- TR-106-87 - Finding Minimum-Cost Circulations by Successive Approximation (1987)
- TR-081-87 - Solving Minimum-Cost Flow Problems by Successive Approximation (1987)
- TR-050-86 - A New Approach to the Maximum Flow Problem (1986)
- 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-807-07 - Path-Quality Monitoring in the Presence of Adversaries (2007)
- TR-800-07 - A Cryptographic Study of Secure Fault Detection in the Internet (2007)
- TR-783-07 - A Cryptographic Study of Secure Internet Measurement (2007)
- TR-771-06 - Towards a Cryptanalysis of Spectral-Phase Encoded Optical CDMA with Phase-Scrambling (2006)
- TR-029-86 - Distributed Computing Research at Princeton - 1985 (1986)
- TR-018-86 - A Load Balancing Implementation for a Local Area Network of Workstations (1986)
- TR-711-04 - Operating System Support for Generalized Packet Forwarding (Thesis) (2004)
- TR-641-02 - Snow on Silk: A NodeOS in the Linux Kernel (2002)
- TR-538-96 - Randomized Omega (n^2) Lower Bound for Knapsack (1996)
- TR-527-96 - A Lower Bound for Randomized Algebraic Decision Trees (1996)
- 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-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-167-88 - Visibility and Intersection Problems in Plane Geometry (1988)
- TR-152-88 - An Efficient Algorithm for Finding the CSG Representation of a Simple Polygon (1988)
- TR-082-87 - The Complexity of Cutting Complexes (1987)
- TR-039-86 - Linear Time Algorithms for Visibility and Shortest Path Problems Inside Simple Polygons (1986)
- TR-852-09 - Ideals and Reality: Adopting Secure Technologies and Developing Secure Habits to Prevent Message Disclosure (thesis) (2009)
- TR-968-14 - Provable Algorithms for Machine Learning Problems (2013)
- TR-976-15 - Scalable inference of discrete data: user behavior, networks and genetic variation (2015)
- TR-885-10 - Service-Centric Networking with SCAFFOLD (2010)
- TR-955-13 - GrapeVine: Tracking the Pulse of Businesses using Twitter (2013)
- TR-223-89 - Almost-Optimum Parallel Speed-ups of Algorithms for Bipartite Matching and Related Problems (1989)
- TR-222-89 - Faster Scaling Algorithms for General Graph Matching Problems (1989)
- TR-111-87 - Faster Scaling Algorithms for Network Problems (1987)
- TR-109-87 - Relaxed Heaps: An Alternative to Fibronacci Heaps (1987)
- TR-108-87 - A Linear-Time Algorithm for Finding a Minimum Spanning Pseudoforest (1987)
- TR-104-87 - Algorithms for Two Bottleneck Optimization Problems (1987)
- TR-105-87 - A Fast Parametric Maximum Flow Algorithm (1987)
- TR-247-90 - Coordinating Multi-Transaction Activities (1990)
- TR-973-14 - Niagara: Scalable Load Balancing on Commodity Switches (2014)
- TR-171-88 - Transitive Reduction in Parallel Via Branchings (1988)
- TR-163-88 - A Tight Amortized Bound for Path Reversal (1988)
- TR-266-90 - Probabilistic Analysis of Geometric Algorithms (thesis) (1990)
- TR-194-88 - Probabilistic Analysis of a Closest Pair Algorithm (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-193-88 - Efficiency of the Network Simplex Algorithm for the Maximum Flow Problem (1988)
- TR-105-87 - A Fast Parametric Maximum Flow Algorithm (1987)
- TR-235-89 - Visibility with a Moving Point of View (1989)
- TR-848-09 - New Approximation Algorithms for Degree Lower-bounded Arborescences and Max-Min Allocation (2009)
- TR-975-14 - RINC: Real-Time Inference-based Network Diagnosis in the Cloud (2015)
- TR-987-16 - SNAP: Stateful Network-Wide Abstractions for Packet Processing (2016)
- TR-995-16 - INFORMATION THEORETIC RELAXATIONS IN COMPLEXITY THEORY (2016)
- TR-997-16 - TRUSTGUARD: A CONTAINMENT ARCHITECTURE WITH VERIFIED OUTPUT (2016)
- TR-999-17 - Improving the Coq proof automation tactics of the Verified Software Toolchain, based on a case study on verifying a C implementation of the AES encryption algorithm (2017)
- TR-016-18 - Locality in Coding Theory (2018)
- TR-001-20 - Joint Optimization for Robust Network Design and Operation (2020)