Publications and Technical Reports

#01-24 Corsaro, A. Juno: A Framework for Reconciling Scheduling Disciplines A thesis presented to the Sever Institute of Washington University for the degree Master of Science August 2001

#01-26 Dharmapurikar, S. and Lockwood, J., Synthesizable Design of a Multi-Module Memory Controller

#01-07 Dowell, R. A Distributed Annotation System A master's project presented to the Department of Computer Science, February 2001

#01-14 Fu, H. and Lockwood, J., The FPX KCPSM Module: An Embedded, Reconfigurable Active Processing Module for the Field Programmable Port Extender (FPX)

#01-40 Handorean, R. and Roman, C., Service Provision in Ad Hoc Networks

#01-13 Horta, E. and Lockwood, J., PARBIT: A Tool to Transform Bitfiles to Implement Partial Reconfiguration of Field Programmable Gate Arrays (FPGAs)

#01-31 Huang, Q., Julien, C., Roman, C., and Hazemi, A., Relying on Safe Distance to Ensure Consistent Group Membership in Ad Hoc Networks

#01-22 Kantawala, A. and Turner, J. Efficient Queue Management for TCP Flows

#01-20 Kuhns, F., Dehart, J., Keller, R., Lockwood, J., Pappu, P., Parwatikar, J., Spitznagel, E., Richards, D., Taylor, D., Turner, J., and Wong, K., Implementation of an Open Multi-Service Router

#01-01 Moran, M. and Zhang, W., Local Search and Encoding Schemes for Soft Constraint Minimization Problems

#01-06 Norden, S. DRES: Internet Resource Management using Deferred Reservations

#01-25 Norden, S. and Turner, J., Performance of Deferred Reservations in Data Networks

#01-32 Pappu, P. and Wolf, T., Scheduling Processing Resources in Programmable Routers

#01-37 Qiu, R. and Yu, W., An Eficient Quality Scalable Motion-JPEG2000 Transmission Scheme

#01-21 Ramamirtham, J. and Turner, J., Design of Wavelength Converting Switches for Optical Burst Switching

#01-04 Roman, C., Julien, C. and Huang, Q., Formal Specification and Design of Mobile Systems

#01-28 Roman, C., Julien, C. and Huang, Q., Network Abstractions for Context-Aware Mobile Computing

#01-29 Roman, C. and Payton, J., A Termination Detection Protocol for Use in Mobile Ad Hoc Networks

#01-03 Shi, S. A Proposal for A Scalable Internet Multicast Architecture

#01-19 Shi, S. and Turner, J. Routing in Overlay Multicast Networks

#01-15 Taylor, D., Lockwood, J., and Dharmapurikar, S., Generalized RAD Module Interface Specification of the Field-programmable Port eXtender (FPX) Version 2.0

#01-16 Taylor, D., Lockwood, J. and Naufel, N., RAD Module Infrastructure of the Field-programmable Port eXtender (FPX) Version 2.0

#01-33 Taylor, D., Lockwood, J., Sproull, T., and Parlour, D. Scalable IP Lookup for Programmable Routers

#01-44 Tudoreanu, M. and Kraemer, E., Legends as a Device for Interacting with Visualizations

#01-02 Waldvogel, M., Deng, W. and Janakiraman, R., Fuzzycast: Media Broadcasting for Multiple Asynchronous Receivers

#01-35 Wischhof, L. and Lockwood, J., Packet Scheduling for Link-Sharing and Quality of Service Support in Wireless Local Area Networks

#01-05 Wolf, T. and Choi, S., Aggregated Hierarchical Multicast for Active Networks

#01-34 Yu, W., Qiu, R., and Fritts, J., Evaluation of Motion-JPEG2000 for Video Processing

#01-30 Zhang, Q. and Janakiraman, R., Indra: A Distributed Approach to Network Intrusion Detection and Prevention

#01-12 Zhang, W., Phase Transitions and Backbones of Constraint Minimization Problems

2000

#00-23 Amar, R. An Empirical Approach to Real-Valued Multiple-Instance Classifications A thesis presented to the Sever Institute of Washington University in partial fulfillment of the requirements for the degree of Master of Science August 2000

#00-04 Choi, S. Plugin Management for Active Network

#00-20 Choi, S., Turner, J. and Wolf, T., Configuring Sessions in Programmable Networks

#00-14 Hart, D. Supporting Exploratory Visualization of Distributed Computations A dissertation presented to the Sever Institute of Washington University in partial fulfillment of the requirements for the degree of Doctor of Science August 2000

#00-30 Judkins, T. and Gill, C., Synthesiser, A Pattern Language For Designing Digital Modular Synthesis Software

#00-27 Keller, R. Ramamirtham, J. Wolf, T. and Plattner, B., Programming Active Networks Using Active Pipes

#00-12 Lockwood, J. and Lim, D., Hello, World: A Simple Application for the Field Programmable Port Extender (FPX)

#00-11 Lockwood, J., McLaughlin, T., Chaney, T., Chen, Y., Rosenberger, F., Chandra, A., and Turner, J., Parallel FPGA Programming over Backplane Chassis

#00-02 Mascolo, C., Picco, G. and Roman, C. CodeWeave: Exploring Fine-Grained Mobility of Code

#00-15 Murphy, A. Enabling the Rapid Development of Dependable Applications in the Mobile Environment A dissertation presented to the Sever Institute of Washington University in partial fulfillment of the requirements for the degree of Doctor of Science August 2000

#00-16 Parwatikar, J. Customization of Collaborative Sessions A dissertation presented to the Sever Institute of Washington University in partial fulfillment of the requirements for the degree of Doctor of Science August 2000

#00-17 Pendarakis, D., Shi, S., Verma, D. and Waldvogel, M., ALMI: An Application Level Multicast Infrastructure

#00-05 Picco, G. Murphy, A and Roman, C., LIME: A Middleware for Physical and Logical Mobility

#00-01 Plezbert, M. and Cytron, R., Recognition and Verification of Design Patterns

#00-26 Roman, C., Huang, Q., and Hazemi, A. On Maintaing Group Membership Data in Ad Hoc Networks

#00-08 Roman, C., Murphy, A. and Picco, G., Coordination and Mobility

#00-03 Shi, S. and Waldvogel, M., A Rate-based End-to-end Multicast Congestion Control Protocol

#00-21 Suri, S., Waldvogel, M. and Warkhede, P., Profile-Based Routing: A New Framework for MPLS Traffic Engineering

#00-19 Wang, N., Parameswaran, K. and Schmidt, D., The Design and Performance of Meta-Programming Mechanisms for Object Request Broker Middleware

#00-24 Wolf, T., Franklin, M. and Spitznagel, E., Design Tradeoffs for Embedded Network Processors

#00-07 Zhou, J. Data Archiving with the SRB

#00-25 Zhou, Y. Shape Sensitive Geometric Complexity A dissertation presented to the Sever Institute of Washington University in partial fulfillment of the requirements for the degree of Doctor of Science December 2000

#00-29 Pattern Languages of Programs Conference 2000 Proceedings Archive

1999

#99-05 Brainov, S. and Sandholm, T., Auctions without Common Knowledge

#99-12 Kuhns, F., O'Ryan, C., Schmidt, D. and Parsons, P.,

#99-07 Mascolo, C., Picco, G. and Roman, G.-C., A Fine-Grained Model for Code Mobility

#99-17 Murphy, A., Rapid Development of Dependable Applications in Ad Hoc Mobility A Proposal for Dissertation Research

#99-15 Murphy, A., and Picco, G., Reliable Communication for Highly Mobile Agents

#99-30 Murphy, A., Roman, G.-C., and Varghese, G., Tracking Mobile Units for Dependable Message Delivery

#99-22 Papadopoulos, C. Error Control for Continuous Media and Large-Scale Multicast Applications A dissertation presented to the Sever Institute of Washington University in partial fulfillment of the requirements for the degree Doctor of Science, August 1999.

#99-41 Qiu, R., Floor Control Protocol for ALX Video Conference Application

#99-31 Roman, G.-C., Picco, G. and Murphy, A., A Software Engineering Perspective on Mobility

#99-09 Rouchka, E., Pattern Matching Techniques and Their Applications to Computational Molecular Biology - A Review

#99-10 Rouchka, E., and States, D., Assembly and Analysis of Extended Human Genomic Contig Regions

#99-01 Sandholm, T., An Algorithm for Optimal Winner Determination in Combinatorial Auctions

#99-02 Sandholm, T., eMediator: A Next Generation Electronic Commerce Server

#99-04 Sandholm, T., Sikka, S., and Norden, S., Algorithms for Optimizing Leveled Commitment Contracts

#99-06 Sandholm, T., and Vulkan, N. Bargaining with Deadlines

#99-26 Sandholm, T., and Ygge, F., Constructing Speculative Demand Functions in Equilibrium Markets

#99-03 Sandholm, T., and Zhou, Yunhong Revenue Equivalence of Leveled Commitment Contracts

#99-27 Suri, S., Sandholm, T. and Warkhede, P., Optimal Flow Aggregation

#99-28 Suri, S., Varghese, G. and Warkhede,P., Multiway Range Trees: Scalable IP Lookup with Fast Updates

#99-21 Turner, J. Terabit Burst Switching Progress Report (12/98-6/99)

#99-20 Venkatachary, S. Fast and Efficient Internet Lookups A dissertation presented to the Sever Institute of Washington University in partial fulfillment of the requirements for the degree Doctor of Science, August 1999.

#99-08 Wolf, T., A Proposal for a High-Performance Active Hardware Architecture

#99-29 Wolf, T. and Franklin, M., CommBench - A Telecommunications Benchmark for Network Processors

#99-19 Wolf, T. and Turner, J. Design Issues for High Performance Active Routers

1998

#98-07 Adiseshu, H., Parulkar, G. and Suri, S., A Simplified Reservation and State Setup Protocol

#98-08 Decasper, D., Dittia, Z., Parulkar, G. and Plattner, B. Router Plugins: A Modular and Extensible Software Framework for Modern High Performance Integrated Services Routers

#98-29 Dooly, D., Goldman, S. and Scott, S., TCP Dynamic Acknowledgment Delay: Theory and Practice

#98-11 Ghosh, R. and Varghese, G., Fault-Tolerant Mobile IP

#98-19 Ghosh, R. and Varghese, G., Congestion Control in Multicast Transport Protocols

#98-27 Goldman, S., Kwek, S., and Scott, S. Agnostic Learning of Geometric Patterns

#98-28 Goldman, S., Kwek, S., and Scott, S. Learning from Examples with Unspecified Attribute Values

#98-26 Goldman, S., Parwatikar, J., and Suri, S., On-line Scheduling with Hard Deadlines

#98-20 Kalman, B., Kwasny, S. and Reinus, W., Diagnostic Screening of Digital Mammograms Using Wavelets and Neural Networks to Extract Structure

#98-03 McCann, P. and Roman, G.-C., Modeling Mobile IP in Mobile UNITY

#98-09 McCartney, P., The Playground Mediator: Visual Tool for Configuring and Debugging Distributed Applications

#98-18 McCartney, P., Shands, B., Goldman, K., and Shapiro, W. Application Development and Management in The Programmers' Playground

#98-01 Murphy, A., Roman, G.-C. and Varghese, G., Search and Tracking Algorithms for Rapidly Moving Mobiles

#98-02 Murphy, A., Roman, G.-C. and Vargese, G., Algorithms for Message Delivery in a Micromobility Environment

#98-21 Picco, G., Murphy, A., and Roman, G.-C., Lime: Linda Meets Mobility

#98-12 Shapiro, W. Integrating a Constraint Mechanism with the JavaBeans Model

#98-10 Shi, S. Parulkar, G. and Gopalakrishnan, R., TCP/IP Implementation with Endsystem QoS

#98-16 Turner, J. Terabit Burst Switching Progress Report (12/97-2/98)

#98-17 Turner, J. Terabit Burst Switching

#98-30 Turner, J., Terabit Burst Switching Progress Report (6/98-9/98)

#98-25 Proceedings of PLoP '98

1997

#97-07 The PLoP and EuroPLoP Authors, Collected papers from the PLoP '96 and EuroPLoP '96 Conferences

#97-26 Bian, Q., Shiomoto, K. and Turner, J. Dynamic Flow Switching A New Communication Service for ATM Networks

#97-38 Buddhikot, M., Chen, J., Wu, D. and Parulkar, G., Enhancements to 4.4 BSD UNIX for Efficient Networked Multimedia in Project MARS

#97-24 Chandranmenon, G. and Varghese, G., Reducing Web Latencies Using Precomputed Hints

#97-06 Engel, R, Design and Implementation of a New Connection Admission Control Algorithm Using a Multistate Traffic Source Model

#97-37 Ghosh, R., and Varghese, G., Symmetrical Routes and Referse Path Congestion Control

#97-10 Gokhale, A. and Schmidt, D., Optimizating the Performance of the CORBA Internet Inter-ORB Protocol Over ATM

#97-14 Goldman, K., Hoffert, J., McCartney, P., Plun, J., and Rodgers, T., Building Interactive Distributed Applications in C++ with The Programmers' Playground

#97-20 Goldman, S., and Scott, S., A Theoretical and Empirical Study of a Noise-Tolerant Algorithm to Learn Geometric Patterns

#97-31 Harrison, T., Levine, D. and Schmidt, D., The Design and Performance of a Real-time CORBA Event Service

#97-46 Hart, D. Kraemer, E. and Roman, G.-C. Using Snapshot Streams to Support Visual Exploration

#97-09 Hu, J., Mungee, S. and Schmidt, D., Principles for Developing and Measuring High-performance Web Servers over ATM

#97-27 Kraemer, E., Hart, D. and Roman, G.-C., Balancing Consistency and Lag in Transaction-Based Computational Steering

#97-11 Loui, R. and Moore, D., Dialogue and Deliberation

#97-12 Loui, R. and Norman, J., Eliding The Arguments of Cases

#97-29 Ma, H. and Turner, J. Costs of Constraint Based Networks on a Sphere

#97-01 McCann, P. and Roman, G.-C., Mobile UNITY: A Language and Logic for Concurrent Mobile Systems

#97-45 McCann, P. and Roman, G.-C., Compositional Programming Abstractions for Mobile Computing

#97-48 McCartney, P. and Goldman, K., End-User Visualization and Manipulation of Distributed Aggregate Data

#97-08 McCartney, P. and Goldman, K., End-User Visualization and Manipulation of Aggregate Data

#97-13 McCartney, P. and Goldman, K., EUPHORIA Reference Manual

#97-22 Murphy, A., Roman, G.-C., and Varghese, G. An Algorithm for Message Delivery to Mobile Units

#97-28 Parulkar, G., Schmidt, D., Kraemer, E., Turner, J., and Kantawala, A., An Architecture for Monitoring, Visualization and Control of Gigabit Networks

#97-02 Picco, G. Roman, G.-C. and McCann, P. Expressing Code Mobility in Mobile UNITY

#97-43 Picco, G. Roman, G.-C. McCann,P., Reasoning About Code Mobility with Mobile UNITY

#97-34 Prechelt, L., Unger, B. and Schmidt, D., Replication of the first controlled experiment on the usefulness of design patterns: Detailed description and evaluation

#97-44 Roman, G.-C. and McCann, P., An Introduction to Mobile UNITY

#97-40 Rouchka, E. and States, D. Sequence Assembly Validation by Restriction Digest Fingerprint Comparison

#97-39 Rouchka, E. Mazzarella, R. and States, D. Computational Detection of CpG Islands in DNA

#97-32 Shapiro, W., McCartney, P., and Shands, B. The Programmers' Playground Application Management System User Guide

#97-03 Tohme, F. and Loui, R., Alchourron's Defeasible Conditionals and Defeasible Reasoning

#97-25 Singh, I. Cappuccino: An Extensible Planning Tool for Constraint-based ATM Network Design

#97-49 Turner, J. Terabit Burst Switching

1996

#96-13 Casoni, M. and Turner, J., On the Performance of Early Packet Discard

#96-09 Chandranmenon, G. and Varghese, G., Reconsidering Fragmentation and Reassembly

#96-07 Chaney, T., Fingerhut, A., Flucke, M. and Turner, J., Design of a Gigabit ATM Switch

#96-05 Chien, C. and Franklin, M., Simulation of Asynchronous Instruction Pipelines

#96-01 Cox, J. and Beal, M., Analysis of MPEG Compressed Video Traffic

#96-02 Cranor, L. and Cytron, R., Design and Implementation of a Practical Security-Conscious Electronic Polling System

#96-12 Dittia, Z., Parulkar, G and Cox, J. The APIC Approach to High Performance Network Interface Design: Protected DMA and Other Techniques

#96-03 Fingerhut, A., Jackson, R., Suri, S. and Turner, J., Design of Nonblocking ATM Networks

#96-06 Fingerhut, A., Suri, S. and Turner, J., Designing Minimum Cost Nonblocking Communication Networks

#96-04 Gopalakrishnan, R. and Parulkar, G., Bringing Real-time Scheduling Theory and Practice Closer for Multimedia Computing

#96-11 Gopalakrishnan, R. and Parulkar, G., Efficient User space Protocol Implementations with QoS Guarantees using Real-time Upcalls

#96-25 Hosseini-Khayat, S. New Results on Generalized Caching

#96-20 Hosseini-Khayat, S. and Cox, J., Optimal Solution of Off-line and On-line Generalized Caching

#96-31 Hu, J. and Roman, G.-C., Building Distributed Applications with Design Patterns

#96-19 Kantawala, A., Parulkar, G., DeHart, J., and Marz, T. Supporting DIS Applications using ATM Multipoint Connection Caching

#96-15 McCann, P. and Roman, G.-C., Mobile UNITY Coordination Constructs Applied to Packet Forwarding for Mobile Hosts

#96-24 McCartney, P., End-User Construction and Configuration of Distributed Multimedia Applications. Split into Parts 1, 2, and 3.

#96-26 McCartney, P., A Usability Study of End-User Construction of Direct Manipulation User Interfaces

#96-28 Murphy, A., Roman, G.-C. and Varghese, G., An Algorithm for Message Delivery to Mobile Nodes

#96-18 Parwatikar, J., McCartney, P., DeHart, J., Engebretson, M. and Goldman, K., Vaudeville: A High Performance, Voice-Activated Teleconferencing Application

#96-21 Plezbert, M., Continuous Compilation for Software Development and Mobile Computing

#96-08 Roman, G-C. and McCann, P., Mobile UNITY: Reasoning and Specification in Mobile Computing

#96-17 Schmidt, K. A Pilot Study of Speech and Pen User Interface for Graphical Editing. Split into Parts 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13 and 14.

#96-27 Shapiro, W. and Goldman, K., Distributed Stream Filtering for Database Applications

#96-10 Suri, S., Varghese, G. and Chandranmenon, G., Leap Forward Virtual Clock: An 0(log log N) Fair Queuing Scheme with Guaranteed Delays and Throughput Fairness

#96-22 Tohme, F. Negotiation as a Resource Allocation Process

#96-32 Tohme, F. and Loui, R., Alchourron's Defeasible Conditionals and Defeasible Reasoning

#96-16 Turner, J. Extending ATM Networks for Efficient Reliable Multicast

1995

#95-32 Buddhikot, M. and Parulkar, G., Load Balance Properties of Distributed Data Layouts for Clustered MOD Servers

#95-03 Chien, C., Franklin, M., Pan, T., and Prabhu, P. ARAS: Asynchronous RISC architecture simulator.

#95-23 Costello, A., and Varghese, G. Redesigning the BSD Callout and Timer Facilities

#95-24 Costello, A. and Varghese, G. Self-Stabilization by Window Washing

#95-04 Cranor, L. Can declared strategy voting be an effective instrument for group decision-making?

#95-05 Franklin, M., and Govindan, V. A general matrix iterative model for dynamic load balancing.

#95-30 Gokhale, A. Cytron, R and Varghese, G. Design of a Tool for Rapid Prototyping of Communication Protocols.

#95-20 Goldman, K. J. McCartney, T. P. Sethuraman, R. Swaminathan, B. and Rodgers, T. Building Interactive Distributed Applications in C++ with The Programmers' Playground.

#95-06 Goldberg, P., Goldman, S. A. and Scott, S. D. PAC-Learning of One-Dimensional Patterns.

#95-06 Gopalakrishna, R. and Parulkar, G. M. Real-time upcalls: A mechanism to provide real-time processing guarantees.

#95-11 Hari, A., Parulkar, G., and Varghese, G. Reliable FIFO load balancing over multiple FIFO channels.

#95-34 Hu, Y. A Single-Stroke Orientation-Orient Gesture System

#95-21 Jayaram, M. and Cytron, K. Efficient Demultiplexing of Network Packets by Automatic Parsing.

Koransky, A. Distributed debugging with I/O abstraction.

#95-16 Mathias, D. H. An interactive model of teaching.

#95-22 McCartney, T. P. User Interface Applications of a Multi-Way Constraint Solver.

#95-19 McCartney, T. P. and Goldman, K. J. EUPHORIA reference manual

#95-29 McCartney, T. P. Goldman, K. J. and Saff, D. E. EUPHORIA: End-user construction of direct manipulation user interfaces for distributed applications

#95-35 Papadopoulos, C. and Parulkar, G. Error Control for Continuous Media and Multipoint Applications

#95-01 Plun, J. and Roman, G.-C. Transient data sharing among mobile programs.

#95-25 Roman, G.-C. and McCann, P. Reasoning about program interactions in the presence of mobility.

#95-26 Roman, G.-C. McCann, P. and Plun. J. Assertional reasoning about pairwise transient interactions in mobile computing.

#95-31 Schmidt, D. An OO Encapsulation of Lightweight OS Concurrency Mechanisms in the ACE Toolkit.

#95-27 Seawell, T. and Kalman, B. Time variability while training a parallel neural network.

#95-17 Sethuraman, R. and Goldman, K. Formal Specification of a Dynamically Configurable Distributed System.

#95-12 Turner, J. S. Issues in distributed control for ATM networks

#95-07 Turner, J. S. Maintaining high throughput during overload in ATM switches.

#95-08 Wu, D. A survey of network signaling.

#95-09 Wu, D. An efficient signaling structure for ATM networks.

1994

#94-19 Bshouty, N., Goldberg, P., Goldman, S. A. and Mathias, H. D. Exact learning of discretized geometric concepts.

#94-33 Buddhikot, M. and Parulkar, G. Distributed Data Layout, Scheduling and Playout Control in a Large Scale Multimedia Storage Server.

#94-25 Buddhikot, M., Parulkar, G. M. and Cox, J. R., Jr. Design of a large-scale multimedia server.

#94-09 Cox, K. C. and Roman, G.-C. An evaluation of the pavane visualization system.

#94-34 Cranor, C. and Parulkar, G. M. Universal continuous media I/O: Design and implementation.

#94-21 DeHart, J. and Cox, K. CMAP.

#94-11 Dittia, Z., Cox, J. R., Jr. and Parulkar, G. M. Catching up with the networks: Host I/O at gigabit rates.

#94-24 Franklin, M. and Pan, T. Performance comparison of asynchronous adders.

Franklin, M. and Pan, T. Pipelined and superscalar architectures in clocked and asynchronous environments.

#94-02 Frazier, M., Goldman, S. A., Mishra, N. and Pitt, L. Learning from a consistently ignorant teacher.

#94-01 Goldberg, P. and Goldman, S. A. Learning one-dimensional geometric patterns under one-sided random misclassification noise.

Gopalakrishan, R. and Parulkar, G. M. Efficient quality of service support in multimedia computer operating systems.

#94-03 Govindan, V. and Franklin, M. Speculative computation: Overcoming communication delays in parallel algorithms.

#94-30 Hershberger, J. and Suri, S. Morphing binary trees.

#94-31 Hershberger, J. and Suri, S. Practical methods for approximating shortest paths on a convex polytope in R3.

#94-29 Kalman, B. L. and Kwasny, S. C. High performance training of feedforward & simple recurrent networks.

#94-15 McCann, P. and Kalman, B. L. Strategies for the parallel training of simple recurrent neural networks.

#94-10 McCartney, P. and Goldman, K. J. Visual specification of interprocess and intraprocess communication.

#94-08 Roman, G.-C., Hart, D. and Calkins, C. Visual presentation of software specifications and designs.

#94-06 Swaminathan, B. and Goldman, K. J. An incremental distributed algorithm for computing biconnected components.

#94-16 Varghese, G. Trading packet headers for packet processing.

#9417- Varghese, G. Efficient fair queueing using deficit round robin.

#94-04 Wilcox, C. and Roman, G.-C. Reasoning about places, times and actions in the presence of mobility.

1993

#93-18 Apte, A. and Kimura, T. D. A comparison study of the pen and the mouse in editing graphic diagrams.

#93-23 Bshouty, N., Goldman, S. A., Hancock, T. and Matar, S. Asking questions to minimize errors.

#93-15 Cox, K. C. and Roman, G.-C. A characterization of the computational power of rule-based visualization. Split into Parts 1, 2 and 3.

Cytron, R. K. and Ferrante, J. Efficiently computing [phi]-nodes on-the-fly.

#93-51 Cytron, R. K. and Shields, D. FRIL-A fractal intermediate language.

#93-50 Daues, J. and Gillett, W. DNA mapping algorithms: Fragment matching mistake detection and correction.

#93-48 Daues, J. and Gillett, W. DNA mapping algorithms: Synchronized double digest mapping.

#93-19 Fingerhut, J. A. Approximation algorithms for configuring hierarchical nonblocking communication networks.

#93-43 Fuller, T. H., Jr. and Kimura, T. D. Supervised competitive learning Part I: SCL with backpropagation networks.

#93-45 Fuller, T. H., Jr. and Kimura, T. D. Supervised competitive learning.

#93-37 Garg, S. and Wong, K. Analysis of an improved distributed checkpointing algorithm. Split into Parts 1, 2 and 3.

#93-20 Garg, S. and Wong, K. Improving the speed of a distributed checkpointing algorithm. Split into Parts 1 and 2.

#93-29 Goldman, K. J., Anderson, M. and Swaminathan, B. The Programmers' Playground: I/O abstraction for heterogeneous distributed systems.

#93-35 Goldman, K. J. and Yelick, K. A unified model for shared-memory and message-passing systems.

#93-46 Goldman, S. A. and Mathias, H. D. Learning unions of rectangles with membership and equivalence queries.

#93-02 Goldman, S. A. and Mathias, H. D. Teaching a smarter learner.

#93-16 Govindan, V. and Franklin, M. The N-body problem: Distributed system load balancing and performance evaluation.

#93-12 Jain, N. Research proposal: Preference acquisition through reconciliation of inconsistencies.

#93-13 Jain, N. and Kahn, M. Objective evaluation of radiation treatment plans.

#93-14 Jain, N. and Kahn, M. Clinical decision-support systems in radiation therapy.

#93-26 Kalman, B. L. and Kwasny, S. C. TRAINREC: A system for training feedforward & simple recurrent networks efficiently and correctly. Note: this report has been updated; please see report wucs-94-29.ps.Z.

#93-17 Kimura, T. D., Fuller, T. H., Jr. and Wang, C. Supervised competitive learning with backpropagation network with fuzzy logic.

Kwasny, S. C. and Kalman, B. L. Tail-recursive distributed representations and simple recurrent networks.

Mahdavian, S. and Bovopoulos, A. Effective loss of multiplexed ATM cell streams.

#93-01 Richard, W., Cox, J. R., Jr. Gottlieb, B. and Krieger, K. The Washington University multimedia system. Split into Parts 1, 2, 3, 4, 5, 6 and 7,

#93-22 Roman, G.-C. and Cox, K. C. A taxonomy of program visualization systems.

#93-04 Roman, G.-C. and Plun, J. Reasoning about synchrony illustrated on three models of concurrency.

#93-21 Swaminathan, B. and Goldman, K. J. Dynamic reconfiguration with I/O abstraction.

#93-30 Turner, J. S. An Optimal Nonblocking Multicast Virtual Circuit Switch.

#93-47 Turner, J. S. Optimal nonblocking multipoint virtual circuit switching.

#93-44 Wang, C., Kimura, T. D. and Fuller, T. H., Jr. Supervised competitive learning Part II: SCL with fuzzy logic.

#93-36 Wong, K. and Franklin, M. Distributed computing systems and checkpointing. Split into Parts 1 and 2.

1992

#92-36 Buddhikot, M. M., Kapoor, S. and Parulkar, G. M. Simulation of an ATM-FDDI gateway.

#92-14 Cox, K. C. and Roman, G.-C. Abstraction in algorithm animation. Split into Parts 1 and 2.

#92-40 Cox, K. C. and Roman, G.-C. Experiences with the Pavane program visualization environment. Note: figures VA-1, VB-2, VC-1, VC-2, VC-3, VC-4, VC-5, VD-1, VD-2, VD-3, VD-4 and VE-1 are missing.

#92-48 Cytron, R. K. and Gershbein, R. Efficient accommodation of MayAlias information in SSA form.

#92-17 Fuller, T. H., Jr. Energy-related feature abstraction for handwritten digit recognition.

#92-31 Goldman, K. J. Separating structure from function in the specification and design of distributed systems.

#92-32 Goldman, K. J. and Anderson, M. D. The Programmers' Playground: I/O abstraction for heterogeneous distributed systems.

#92-28 Goldman, S. A. and Kearns, M. J. On the complexity of teaching.

#92-33 Goldman, S. A., Kearns, M. J. and Schapire, R. E. On the sample complexity of weakly learning.

#92-26 Goldman, S. A. and Mathias, H. D. Learning k-term DNF formulas with an incomplete membership oracle.

#92-25 Goldman, S. A. and Sloan, R. H. Can pan learning algorithms tolerate random attribute noise?

#92-37 Gong, F. and Parulkar, G. M. An application-oriented error control scheme for high-speed networks.

#92-42 Kimura, T. D. Hyperflow: A uniform visual language for different levels of programming.

#92-41 Kimura, T. D. Hyperflow: A visual programming language for pen computers.

#92-11 Kimura, T. D. Kumon Machine: Learning math with silicon paper.

#92-30 Neuwald, A. F. and Green, P. P. A model for detecting motifs in biological sequences. Split into Parts 1, 2, 3, 4, 5, 6, 7, 8 and 9.

#92-06 Roman, G.-C. and Cox, K. C. Program visualization: The art of mapping programs to pictures.

#92-04 Roman, G.-C., Gamble, R. F. and Ball, W. E. Seeking concurrency in rule-based programming.

#92-10 Swaminathan, B. and Goldman, K. J. Hierarchical correctness proofs for recursive distributed algorithms using dynamic process creation.

#92-35 Taysi, B. M. Gesture system for a graph editor. Split into Parts 1 and 2. Note: figures 2, 3, 4, 5 are missing.

1991

#91-25 Cousins, S., Chen, W. and Frisse, M. CABeN: A collection of algorithms for belief networks.

#91-24 Cousins, S. and Kahn, M. The visual display of temporal information.

#91-45 Cox, J. R., Turner, J. S. Project Zeus: Design of a Broadband Network and Its Applicaiton on a University Campus.

#91-10 Cox, K. C. SwarmView animation vocabulary and interpretation.

#91-09 Cox, K. C. SwarmView: A graphical engine for the interpretation and display of visualizations.

#91-07 Cox, K. C. Visualization in concurrent contexts: A model.

#91-08 Cox, K. C., Wilcox, C. and Plun, J. SwarmExec: A prolog-based execution engine for a shared-dataspace language with visualization capabilities.

#91-50 Daues, J. and Gillett, W. DNA mapping algorithms: Fragment splitting and combining.

#91-55 Fingerhut, J. A. Designing communication networks with fixed or nonblocking traffic requirements.

#91-49 Fuller, T. H., Jr. The Kumon approach to learning mathematics: An educator's perspective. Note: Appendix B missing.

#91-33 Gillett, W. and Hanks, L. DNA mapping algorithms: Abstract data types-concepts and implementation.

#91-43 Goldman, K. J. Composition, superposition, and encapsulation in the formal specification of distributed systems.

#91-42 Goldman, K. J. The spectrum simulation system: A formal approach to distributed algorithm development tools.

#91-36 Goldman, S. A. Computational learning theory: Lecture notes for CS 582. Split into Parts 1 , 2 and 3 .

#91-38 Goldman, S. A., Kearns, M. and Schapire, R. Exact identification of read-once formulas using fixed points of amplification functions.

#91-29 Goldman, S. A. and Sloan, R. The difficulty of random attribute noise.

#91-37 Goldman, S. A. and Sloan, R. On the power of self-directed learning.

#91-48 Jain, N. and Kahn, M. Ranking radiotherapy treatment plans using decision-analytic and heurestic techniques.

#91-34 Lewis, J. and Gillett, W. DNA mapping algorithms: Clone sequencing.

#91-23 Moorman, K., Poulosky, P. and Gillett, W. DNA mapping algorithms: Topological mapping.

#91-26 Roman, G.-C., Cox, K. C., Wilcox, C. and Plun, J.. Pavane: A system for declarative visualization of concurreent computations. Note: Figure 2 missing.

#91-32 Roman, G.-C. and Plun, J.. Parallel synchronous control.

#91-05 Roman, G.-C., Wilcox, C. and Plun, J. On deriving distributed programs for formal specifications of functional requirements and architectural constraints.

#91-46 Turner, J. S. A practical version of Lee's multicase switch architecture. Split into Parts 1 and 2 .

#91-21 Turner, J. S. Resequencing in an ATM switch. Split into Parts 1 , 2 and 3 . Note: Figure 13 missing.

#91-47 Witte, E. A quantitative comparison of architectures for ATM switching systems.