Technical Reports

10-01 Juengling Solving Continuous Linear Least-Squares Problems by Iterated Projection pdf
09-01 Akshay Dua, Jim Binkley, and Suresh Singh Finding IRC-like Meshes Sans L7 Payloads pdf
09-02 McKenny, Gupta, Michael, Howard, Triplett, Walpole Is Parallel Programming Hard, And If So, Why? pdf
09-04 Robert T. Bauer Operational Verification of a Relativistic Program pdf
09-05 Tim Chevalier Design and Implementation of a Safe, Lightweight Haskell Compiler pdf
09-03 Kathryn Mohror and Karen Karavanic Evaluating Similarity-based Trace Reduction Techniques for Scalable Performance Analysis pdf
08-04 Ralf Juengling Reconstructing Images as Piecewise Smooth Functions pdf
08-02 Ki-yung Ahn Cache Coherence Protocol Verification using ?mega pdf
08-03 Sudarshan Murthy, David Meier A Framework for Relationship Pattern Languages pdf
08-01 Tom Harke Toward A Sound Integration of Isabelle With a Combined Decision pdf
08-06 Josh Triplett Scalable Concurrent Hash Tables via Relativistic Programming pdf
08-07 James Binkley and Divya Parekh Traffic Analysis of UDP-based Flows in Ourmon pdf
07-01 Edward Kaiser and Wu-chang Feng Protecting the Internet with Public Work pdf
06-01 Lina Dong, Saurabh Sethia and Pavel Sumazin Simple Rearrangement using Length-Weighted Inversions
06-03 Sangsuree Vasupongayya and Su-hui Chiang Impact of Objectives on Performance of Scheduling Jobs for Parallel Computer Workloads
06-04 Sergio Antoy (none available)
06-05 Emerson Murphy-Hill Improving Refactoring with Alternate Program Views
06-06 Kathryn Mohror and Karen Karavanic An Investigation of Tracing Overheads on High-End Systems pdf
05-01 Chuan-kai Lin and Andrew Black DirectFlow: Toward a DSL for Infopipes
04-01 James Binkley Ourmon vs IXIA: Monitoring Gigabit Speeds
04-04 James Binkley Locality, Network Control, and Anomaly Detection pdf
04-03 Kathryn Mohror and Karen Karavanic Performance Tool Support for MPI-2 on Linux
03-01 Shashidhar Lakkavalli Stretched Call Model for Next Generation Cellular Networks
02-01 Sarah Mocas (none available)
02-02 Harkirat Singh Analysius of Energy Consumption of TCP Reno, Newreno, and SACK in multi-hop wireless.network
01-10 Jim Binkley An Integrated IPSEC and Mobile - IP for Free BSD
01-11 Joseph Albert The DataWeb System for Exporting Relational Databases On the World Wide Web
90-11 Jean Scholtz and Susan Wiedenbeck Learning a New Programming Language: A Model of the Plannng Process