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 "F")
Falsafi, Babak
- TR-464-94 - Application-Specific Protocols for User-Level Shared Memory (1994)
- TR-780-07 - UFO: A Resilient Layered Routing Architecture (2007)
- TR-925-12 - Privacy and Integrity in the Untrusted Cloud (2012)
- TR-816-08 - AVC Advantage: Hardware Functional Specifications (2008)
- TR-607-99 - Lightweight Lemmas in Lambda Prolog (Extended Version) (1999)
- TR-755-06 - Experiences Building PlanetLab (2006)
- TR-008-85 - The Pairing Heap: A New Form of Self-Adjusting Heap (1985)
- TR-943-12 - Scalable, Optimal Flow Routing in Datacenters via Local Link Balancing (2012)
- TR-885-10 - Service-Centric Networking with SCAFFOLD (2010)
- TR-877-10 - Scalable Flow-Based Networking with DIFANE (2010)
- TR-868-09 - Decentralized Server Selection Through Joint Proximity and Load Optimization (2009)
- TR-850-09 - Namecast: A Reliable, Flexible, Scalable DNS Hosting System (2009)
- TR-814-08 - The Role of Prices in Peer-Assisted Content Distribution (2008)
- TR-236-89 - Data Structures for Formal Verification of Circuit Designs (thesis) (1990)
- TR-211-89 - Data Structures for Formal Verification of Circuit Designs (1989)
- TR-113-87 - Delaunay Graphs are Almost as Good as Complete Graphs (1987)
- TR-058-86 - Finding the Optimal Variable Ordering for Binary Decision Diagrams (1986)
- TR-516-96 - Real-Time Parallel MPEG-2 Decoding in Software (1996)
- TR-970-14 - Composition-Aware Scene Optimization for Product Images (2014)
- TR-874-10 - Multi-Feature Matching of Fresco Fragments (2010)
- TR-782-07 - Symmetry-Aware Mesh Processing (2007)
- TR-605-99 - TCP mechanisms for Diff-Serv Architecture (1999)
- TR-601-99 - The "Expected Capacity" Famework: Simulation Results (1999)
- TR-600-99 - Explicit Allocation of Best Effort Packet Delivery Service (1999)
- TR-599-99 - Building An Accounting Infrastructure for the Internet (1999)
- TR-598-99 - Inter-AS Traffic Patterns and Their Implications (1999)
- TR-508-96 - Contention and Queueing in an Experimental Multicomputer: Analytical and Simulation-based Results (1996)
- TR-777-07 - Stylized Depiction of Images with Normals (2007)
- TR-726-05 - Lighting with Paint (2005)
- TR-637-01 - Video Cubism (2001)
- TR-618-00 - Avoiding Seams On High-Resolution Multi-Projector Displays using An Un-calibrated Camera (2000)
- TR-593-99 - Robust Mesh Watermarking (1999)
- TR-574-98 - Image Mosaics (1998)
- TR-700-04 - Puzzle Outsourcing for IP-Level DoS Resistance (2004)
- TR-667-03 - Secure, Private Proofs of Location (2003)
- TR-661-02 - Scan-Based Scheduling and Layout in a Reliable Write-Optimized File System (2002)
- TR-657-02 - Reading Between the Lines: Lessons from the SDMI Challenge (2002)
- TR-638-01 - A Proof-Carrying Authorization System (2001)
- TR-636-01 - Models for Security Policies in Proof-Carrying Code (2001)
- TR-621-00 - Query Affinity in Internet Applications (2000)
- TR-617-00 - Technological Access Control Interferes with Noninfringing Scholarship (2000)
- TR-610-99 - Design, Analysis, Implementation and Performance of An Archipelagic File System (1999)
- TR-603-99 - Mechanisms for Secure Modular Programming in Java (1999)
- 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-567-97 - A Java Filter (1997)
- TR-566-97 - Java Security: Web Browsers and Beyond (1997)
- TR-546-97 - Extensible Security Architectures for Java (1997)
- TR-540-96 - Web Spoofing: An Internet Con Game (1996)
- TR-534-96 - Mobile Network Objects (1996)
- TR-525-96 - Reducing Waiting Costs in User-Level Communication (1996)
- TR-524-96 - Simplifying Distributed File Systems Using a Shared Logical Disk (1996)
- TR-518-96 - Improving Release-Consistent Shared Virtual Memory using Automatic Update (1996)
- TR-513-96 - Stream Sockets on SHRIMP (1996)
- TR-512-96 - Fast RPC on the SHRIMP Virtual Memory Mapped Network Interface (1996)
- TR-510-96 - Early Experience with Message-Passing on the SHRIMP Multicomputer (1996)
- TR-508-96 - Contention and Queueing in an Experimental Multicomputer: Analytical and Simulation-based Results (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-445-94 - Application-Controlled File Caching Policies (1994)
- TR-437-93 - Virtual Memory Mapped Network Interface for the SHRIMP Multicomputer (1993)
- TR-490-95 - The Implementation of mlcc and mld: A Machine-Independent Compiler and A Retargetable, Optimizing Linker (1995)
- TR-474-94 - Simple and Effective Link-Time Optimization of Modula-3 Programs (1994)
- TR-471-94 - New Jersey Machine-Code Toolkit Reference Manual Version 0.1 (1994)
- TR-470-94 - New Jersey Machine-Code Toolkit Architecture Specifications (1994)
- TR-469-94 - The New Jersey Machine-Code Toolkit (1994)
- TR-324-91 - Garbage Collection Alternatives for Icon (1991)
- TR-904-11 - Forest 1.0: A Language and Toolkit for Programming with Filestores (2011)
- TR-889-10 - Forest: A Language and Toolkit For Programming with Filestores (2010)
- TR-834-08 - Ad Hoc Data and the Token Ambiguity Problem (2008)
- TR-826-08 - Language Support for Processing Ad Hoc Data (2008)
- TR-761-06 - PADS/ML: A Functional Data Description Language (2006)
- TR-736-05 - PADS/T: A Language for Describing and Transforming Ad Hoc Data (2005)
- TR-614-99 - Using UML-FW, Refactoring, and Unification Rules to Assist Framework Maintenance and Evolution (1999)
- TR-613-99 - UML-F: A Modeling Language for Object-Oriented Frameworks (1999)
- TR-386-92 - Engineering Efficient Code Generators Using Tree Matching and Dynamic Programming (1992)
- TR-303-91 - A Retargetable Compiler for ANSI C (1991)
- TR-270-90 - A Code Generation Interface for ANSI C (1990)
- TR-387-92 - Probabilistic Spaces of Boolean Functions of a Given Complexity: Generalities and Random $k$-SAT Coefficients (1992)
- TR-357-91 - On the Bit Extraction Problem (1991)
- TR-340-91 - Some Geometric Aspects of Graphs and their Eigenfunctions (1991)
- TR-333-91 - Point Location Among Hyperplanes and Unidirectional Ray-Shooting (1991)
- TR-308-91 - A Note on Matrix Rigidity (1990)
- TR-292-90 - A Note on Poset Geometries (1990)
- TR-285-90 - The Spectra of Infinite Hypertrees (1990)
- TR-232-89 - On the Second Eigenvalue of Hypergraphs (1989)
- TR-230-89 - Some Graphs With Small Second Eigenvalue (1989)
- TR-181-88 - A Deterministic View of Random Sampling and its Use in Geometry (1988)
- TR-172-88 - On the Second Eigenvalue and Random Walks in Random d-Regular Graphs (1988)
- TR-116-87 - Random Polynomials and Approximate Zeros of Newton's Method (1987)
- TR-115-87 - A Density Theorem for Purely Iterative Zero Finding Methods (1987)
- TR-761-06 - PADS/ML: A Functional Data Description Language (2006)
- TR-736-05 - PADS/T: A Language for Describing and Transforming Ad Hoc Data (2005)
- TR-881-10 - BGP Safety with Spurious Updates (2010)
- TR-869-09 - BUFFALO: Bloom Filter Forwarding Architecture for Large Organizations (2010)
- TR-891-10 - Real-Time Human Interaction with Supervised Learning Algorithms for Music Composition and Performance (thesis) (2010)
- TR-904-11 - Forest 1.0: A Language and Toolkit for Programming with Filestores (2011)
- TR-889-10 - Forest: A Language and Toolkit For Programming with Filestores (2010)
- TR-934-12 - Scaffold: Quantum Programming Language (2012)
- TR-189-88 - Simplified Linear-Time Jordan Sorting and Polygon Clipping (1988)
- TR-002-17 - PHOTOMANIPULATION, THE EASY WAY (2017)