Technical Reports
A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z
103 matches found for W:
- Walker, David
- A Calculus for Composing Security Policies, TR-655-02, August 2002
- A Context-free Markup Language for Semi-structured Text, TR-870-09, December 2009
- A Foundation for Automated Reasoning About Pointer Programs, TR-738-05, October 2005
- A Language and System for Composing Security Policies, TR-699-04, April 2004
- Ad Hoc Data and the Token Ambiguity Problem, TR-834-08, September 2008
- An Effective Theory of Type Refinements, TR-656-02, December 2002
- Analyzing Polymorphic Advice, TR-717-05, January 2005
- Certifying Compilation for a Language with Stack Allocation, TR-724-05, March, 2005
- Concurrent Separation Logic for Pipelined Parallelization, TR-876-10, June 2010
- Dynamic Typing with Dependent Types, TR-695-04, April 2004
- Edit Automata: Enforcement Mechanisms for Run-time Security Policies, TR-681-03, May 2003
- Enforcing Non-safety Security Policies with Program Monitors, TR-720-05, January 2005
- Fault-tolerant Typed Assembly Language, TR-776-07, April 2007
- Forest 1.0: A Language and Toolkit for Programming with Filestores, TR-904-11, June 2011
- Forest: A Language and Toolkit For Programming with Filestores, TR-889-10, December 2010
- Language Support for Processing Ad Hoc Data, TR-826-08, July 2008
- Linear Logic, Heap-shape Patterns and Imperative Programming , TR-762-06, July 2006
- Linear Maps, TR-884-10, September 2010
- Modal Proofs As Distributed Programs, TR-671-03, August 2003
- More Enforceable Security Policies, TR-649-02, June 2002
- PADS/ML: A Functional Data Description Language , TR-761-06, July 2006
- PADS/T: A Language for Describing and Transforming Ad Hoc Data, TR-736-05, September 2005
- Protection from Bad Advice, TR-696-04, April 2004
- Reasoning about Control Flow in the Presence of Transient Faults, TR-799-07, October 2007
- Wallace, Grant
- A Multi-Cursor X Window Manager Supporting Control Room Collaboration, TR-707-04, July 2004
- Wallach, Dan S.
- Extensible Security Architectures for Java, TR-546-97, April 1997
- Java Security: Web Browsers and Beyond, TR-566-97, February 1997
- Reading Between the Lines: Lessons from the SDMI Challenge, TR-657-02, July 2002
- Security Flaws in the HotJava Web Browser, TR-501-95, November 1995
- Web Spoofing: An Internet Con Game, TR-540-96, December 1996
- Wang, Chong
- Hierarchical Bayesian Modeling: Efficient Inference and Applications, TR-933-12, July 2012
- Wang, Daniel C.
- JVM TCB: Measurements of the Trusted Computing Base of Java Virtual Machines, TR-647-02, April 2002
- Managing Memory with Types (Thesis), TR-640-01, December 2001
- Safe Garbage Collection = Regions + Intensional Type Analysis, TR-609-99, October 1999
- Safe Heterogeneous Applications: Curing the Java Native Interface, TR-715-04, October 2004
- The Zephyr Abstract Syntax Description Language, TR-554-97, October 1997
- Type-Preserving Garbage Collectors (Extended Version), TR-624-00, December 2000
- Wang, Ge
- Wang, Jia
- Scalable Flow-Based Networking with DIFANE, TR-877-10, June 2010
- Wang, Limin
- Building Robust Network Services Through Efficient Resource Management (Thesis), TR-680-03, October 2003
- MSB: Media Streaming Booster, TR-666-02, December 2002
- The Effectiveness of Request Redirection on CDN Robustness, TR-654-02, June 2002
- Thread Scheduling for Out-of-Core Applications with Memory Server on Multicomputers, TR-590-99, January 1999
- Understanding TCP Vegas: A Duality Model*, TR-628-00, November 2000
- Understanding TCP Vegas: Theory and Practice*, TR-616-00, February 2000
- Wang, Randolph Y.
- A Peer-to-Peer Mobile Storage System, TR-664-02, October 2002
- Coherent and Network-Aware Tracking of Objects, TR-672-03, December 2003
- Distance Learning Technologies for Basic Education in Disadvantaged Areas, TR-685-03, December 2003
- MimdRAID: Low Latency Secondary Storage, TR-612-99, September 1999
- Networking Going Postal, TR-705-04, May 2004
- Nicephorus: Striking a Balance between the Recovery Capability and the Overhead of Byzantine Detection, TR-710-04, October 2004
- Opt and Vent: An Efficient Protocol for Byzantine Detection in Wireless Ad Hoc Network Routing, TR-709-04, October 2004
- Postmanet: Turning the Postal System into a Generic Digital Communication Mechanism, TR-691-04, March 1, 2004
- Probabilistic Packet Scheduling: Achieving Proportional Share Bandwidth Allocation, TR-632-01, February 2001
- SkipIndex: Towards a Scalable Peer-to-Peer Index Service for High Dimensional Data, TR-703-04, May 2004
- The Digital StudyHall, TR-723-05, March, 2005
- Turning the Postal System into a Generic Digital Communication Mechanism, TR-688-04, January 2004
- Wang, Richard
- Openflow-Based Load Balancing Gone Wild (MSE thesis), TR-899-11, May 2011
- Wang, Yi
- A Principled Approach to Managing Routing in Large ISP Networks, TR-858-09, May 2009
- Atomic Routing Theory: Making an AS Route Like a Single Node, TR-827-08, July 2008
- Morpheus: Enabling Flexible Interdomain Routing Policies , TR-802-07, October 2007
- Morpheus: Making Routing Programmable, TR-784-07, June 2007
- Neighbor-Specific BGP: More Flexible Routing Policies Without Sacrificing Global Stability, TR-844-08, November 2008
- Wang, Yong
- Situation-Aware Optimizations in Challenged Networks, TR-790-07, August 2007
- Wang, Zhe
- A Time-Space Efficient Locality Sensitive Hashing Method for Similarity Search in High Dimensions, TR-759-06, June 2006
- Analysis of Filtering for Similarity Search Using Sketches, TR-760-06, July 2006
- CoDNS: Masking DNS Delays via Cooperative Lookups, TR-690-04, February 2004
- Similarity Search with Multimodal Data, TR-916-11, November 2011
- Washburn, Geoffrey
- Analyzing Polymorphic Advice, TR-717-05, January 2005
- Waters, Brent R.
- Puzzle Outsourcing for IP-Level DoS Resistance, TR-700-04, May 2004
- Secure, Private Proofs of Location, TR-667-03, January 2003
- Watson, Arthur
- Embedding Computation in One-Dimensional Automata by Phase Coding Solitons, TR-015-85, November 1985
- Structured Testing: Analysis and Extensions (Thesis), TR-528-96, November 1996
- Wawrzoniak, Mike
- A Divert Mechanism for Service Overlays, TR-668-03, February 2003
- Intelligent Devices as Symmetric Partners for End--to--end Data Flows, TR-642-02, July 2002
- Snow on Silk: A NodeOS in the Linux Kernel, TR-641-02, June 2002
- Wei, Victor K.
- A Locally Adaptive Data Compression Scheme, TR-004-85, July 1985
- Weirich, Stephanie
- Analyzing Polymorphic Advice, TR-717-05, January 2005
- Weise, Thibaut
- Dynamic Hair Capture, TR-907-11, August 2011
- Weiss, Mark Allen
- Lower Bounds for Shellsort (thesis), TR-098-87, June 1987
- Tight Lower Bounds for Shellsort, TR-137-88, February 1988
- Welsh, J. Douglas
- The Total DNA Homology Experiment, TR-020-86, January 1986
- Welzl, Emo
- Quasi-Optimal Upper Bounds for Simplex Range Searching and New Zone Theorems, TR-290-90, October 1990
- Wendell, Patrick
- Decentralized Server Selection Through Joint Proximity and Load Optimization, TR-868-09, September 2009
- Werneck, Renato
- Design and Analysis of Data Structures for Dynamic Trees, TR-750-06, May 2006
- Westbrook, Jeffrey
- Algorithms and Data Structures for Dynamic Graph Problems (thesis), TR-229-89, October 1989
- Amortized Analysis of Algorithms for Set Union with Backtracking, TR-103-87, May 1987
- Maintaining Bridge-Connected and Biconnected Components Online, TR-228-89, August 1989
- Maintenance of a Minimum Spanning Forest in a Dynamic Planar Graph, TR-243-90, January 1990
- Weyrich, Tim
- Multi-Feature Matching of Fresco Fragments, TR-874-10, May 2010
- Widman, Lawrence
- Nonlinear Heart Model Predicts the Range of Heart Rates for Electrical Alternans in Pericardial Effusion, TR-365-92, February 1992
- Wigderson, Avi
- On the Second Eigenvalue of Hypergraphs, TR-232-89, November 1989
- Wilfong, Gordon
- Routers of the AS, Unite! Guaranteeing a Network Realizes Its Routing Policy, TR-847-09, January 2009
- Wilfong, Gordon T.
- One-Processor Scheduling of Tasks with Preferred Starting Times, TR-049-86, August 1986
- Wilks, Allan R.
- Robust Contour Tracing, TR-054-86, September 1986
- Wirth, Anthony
- Approximation Algorithms for Clustering (Thesis), TR-716-04, October 2004
- Wood, David A.
- Application-Specific Protocols for User-Level Shared Memory, TR-464-94, August 1994
- Relaxed Consistency and Coherence Granularity in DSM Systems: A Performance Evaluation, TR-535-96, December 1996
- Wortman, David
- Shared Virtual Memory Accomodating Heterogeneity, TR-210-89, February 1989
- Wright, Rebecca N.
- Rationality and Traffic Attraction: Incentives for Honest Path Announcements in BGP, TR-823-08, August 2008
- Wu, Dinghao
- Interfacing Compilers, Proof Checkers, and Proofs for Foundational Proof-Carrying Code, TR-733-05, August 2005
- Wu, Min
- Reading Between the Lines: Lessons from the SDMI Challenge, TR-657-02, July 2002
- Wu, Qiang
