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 "W")
Wallace, Grant
- TR-707-04 - A Multi-Cursor X Window Manager Supporting Control Room Collaboration (2004)
- TR-824-08 - The ChucK Audio Programming Language "A Strongly-timed and On-the-Fly Environ/mentality" (2008)
- TR-790-07 - Situation-Aware Optimizations in Challenged Networks (2007)
- TR-717-05 - Analyzing Polymorphic Advice (2005)
- TR-004-85 - A Locally Adaptive Data Compression Scheme (1985)
- TR-717-05 - Analyzing Polymorphic Advice (2005)
- TR-020-86 - The Total DNA Homology Experiment (1986)
- TR-750-06 - Design and Analysis of Data Structures for Dynamic Trees (2006)
- TR-365-92 - Nonlinear Heart Model Predicts the Range of Heart Rates for Electrical Alternans in Pericardial Effusion (1992)
- TR-847-09 - Routers of the AS, Unite! Guaranteeing a Network Realizes Its Routing Policy (2009)
- TR-049-86 - One-Processor Scheduling of Tasks with Preferred Starting Times (1986)
- TR-054-86 - Robust Contour Tracing (1986)
- TR-716-04 - Approximation Algorithms for Clustering (Thesis) (2004)
- TR-823-08 - Rationality and Traffic Attraction: Incentives for Honest Path Announcements in BGP (2008)
- TR-733-05 - Interfacing Compilers, Proof Checkers, and Proofs for Foundational Proof-Carrying Code (2005)
- TR-657-02 - Reading Between the Lines: Lessons from the SDMI Challenge (2002)
- TR-753-06 - Architectural and Compiler Techniques for Microprocessor Power and Performance Management (2006)
- TR-987-16 - SNAP: Stateful Network-Wide Abstractions for Packet Processing (2016)
- TR-966-13 - Infinite CacheFlow in Software-Defined Networks (2013)
- 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-884-10 - Linear Maps (2010)
- TR-876-10 - Concurrent Separation Logic for Pipelined Parallelization (2010)
- TR-870-09 - A Context-free Markup Language for Semi-structured Text (2009)
- TR-834-08 - Ad Hoc Data and the Token Ambiguity Problem (2008)
- TR-826-08 - Language Support for Processing Ad Hoc Data (2008)
- TR-799-07 - Reasoning about Control Flow in the Presence of Transient Faults (2007)
- TR-776-07 - Fault-tolerant Typed Assembly Language (2007)
- TR-762-06 - Linear Logic, Heap-shape Patterns and Imperative Programming (2006)
- TR-761-06 - PADS/ML: A Functional Data Description Language (2006)
- TR-738-05 - A Foundation for Automated Reasoning About Pointer Programs (2005)
- TR-736-05 - PADS/T: A Language for Describing and Transforming Ad Hoc Data (2005)
- TR-724-05 - Certifying Compilation for a Language with Stack Allocation (2005)
- TR-720-05 - Enforcing Non-safety Security Policies with Program Monitors (2005)
- TR-717-05 - Analyzing Polymorphic Advice (2005)
- TR-699-04 - A Language and System for Composing Security Policies (2004)
- TR-696-04 - Protection from Bad Advice (2004)
- TR-695-04 - Dynamic Typing with Dependent Types (2004)
- TR-681-03 - Edit Automata: Enforcement Mechanisms for Run-time Security Policies (2003)
- TR-671-03 - Modal Proofs As Distributed Programs (2003)
- TR-656-02 - An Effective Theory of Type Refinements (2002)
- TR-655-02 - A Calculus for Composing Security Policies (2002)
- TR-649-02 - More Enforceable Security Policies (2002)
- TR-715-04 - Safe Heterogeneous Applications: Curing the Java Native Interface (2004)
- TR-647-02 - JVM TCB: Measurements of the Trusted Computing Base of Java Virtual Machines (2002)
- TR-640-01 - Managing Memory with Types (Thesis) (2001)
- TR-624-00 - Type-Preserving Garbage Collectors (Extended Version) (2000)
- TR-609-99 - Safe Garbage Collection = Regions + Intensional Type Analysis (1999)
- TR-554-97 - The Zephyr Abstract Syntax Description Language (1997)
- TR-680-03 - Building Robust Network Services Through Efficient Resource Management (Thesis) (2003)
- TR-666-02 - MSB: Media Streaming Booster (2002)
- TR-654-02 - The Effectiveness of Request Redirection on CDN Robustness (2002)
- TR-628-00 - Understanding TCP Vegas: A Duality Model* (2000)
- TR-616-00 - Understanding TCP Vegas: Theory and Practice* (2000)
- TR-590-99 - Thread Scheduling for Out-of-Core Applications with Memory Server on Multicomputers (1999)
- TR-858-09 - A Principled Approach to Managing Routing in Large ISP Networks (2009)
- TR-844-08 - Neighbor-Specific BGP: More Flexible Routing Policies Without Sacrificing Global Stability (2008)
- TR-827-08 - Atomic Routing Theory: Making an AS Route Like a Single Node (2008)
- TR-802-07 - Morpheus: Enabling Flexible Interdomain Routing Policies (2007)
- TR-784-07 - Morpheus: Making Routing Programmable (2007)
- TR-916-11 - Similarity Search with Multimodal Data (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-690-04 - CoDNS: Masking DNS Delays via Cooperative Lookups (2004)
- TR-700-04 - Puzzle Outsourcing for IP-Level DoS Resistance (2004)
- TR-667-03 - Secure, Private Proofs of Location (2003)
- TR-668-03 - A Divert Mechanism for Service Overlays (2003)
- 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-657-02 - Reading Between the Lines: Lessons from the SDMI Challenge (2002)
- 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-501-95 - Security Flaws in the HotJava Web Browser (1995)
- TR-723-05 - The Digital StudyHall (2005)
- TR-710-04 - Nicephorus: Striking a Balance between the Recovery Capability and the Overhead of Byzantine Detection (2004)
- TR-709-04 - Opt and Vent: An Efficient Protocol for Byzantine Detection in Wireless Ad Hoc Network Routing (2004)
- TR-705-04 - Networking Going Postal (2004)
- TR-703-04 - SkipIndex: Towards a Scalable Peer-to-Peer Index Service for High Dimensional Data (2004)
- TR-691-04 - Postmanet: Turning the Postal System into a Generic Digital Communication Mechanism (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-672-03 - Coherent and Network-Aware Tracking of Objects (2003)
- TR-664-02 - A Peer-to-Peer Mobile Storage System (2002)
- TR-632-01 - Probabilistic Packet Scheduling: Achieving Proportional Share Bandwidth Allocation (2001)
- TR-612-99 - MimdRAID: Low Latency Secondary Storage (1999)
- TR-528-96 - Structured Testing: Analysis and Extensions (Thesis) (1996)
- TR-015-85 - Embedding Computation in One-Dimensional Automata by Phase Coding Solitons (1985)
- 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-933-12 - Hierarchical Bayesian Modeling: Efficient Inference and Applications (2012)
- TR-868-09 - Decentralized Server Selection Through Joint Proximity and Load Optimization (2009)
- TR-899-11 - Openflow-Based Load Balancing Gone Wild (MSE thesis) (2011)
- TR-232-89 - On the Second Eigenvalue of Hypergraphs (1989)
- TR-243-90 - Maintenance of a Minimum Spanning Forest in a Dynamic Planar Graph (1990)
- TR-229-89 - Algorithms and Data Structures for Dynamic Graph Problems (thesis) (1989)
- TR-228-89 - Maintaining Bridge-Connected and Biconnected Components Online (1989)
- TR-103-87 - Amortized Analysis of Algorithms for Set Union with Backtracking (1987)
- TR-877-10 - Scalable Flow-Based Networking with DIFANE (2010)
- TR-907-11 - Dynamic Hair Capture (2011)
- TR-137-88 - Tight Lower Bounds for Shellsort (1988)
- TR-098-87 - Lower Bounds for Shellsort (thesis) (1987)
- TR-290-90 - Quasi-Optimal Upper Bounds for Simplex Range Searching and New Zone Theorems (1990)
- TR-874-10 - Multi-Feature Matching of Fresco Fragments (2010)
- TR-210-89 - Shared Virtual Memory Accomodating Heterogeneity (1989)
- TR-983-15 - Optimizing Full Correlation Matrix Analysis of fMRI Data on Intel R Xeon PhiTM Coprocessors (2015)
- TR-018-18 - Scheduling Computation Graphs of Deep Learning Models on Manycore CPUs (2018)
- TR-983-15 - Optimizing Full Correlation Matrix Analysis of fMRI Data on Intel R Xeon PhiTM Coprocessors (2015)
- TR-994-15 - Compiling Path Queries (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-018-18 - Scheduling Computation Graphs of Deep Learning Models on Manycore CPUs (2018)
- 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)