Publications, research, and other scholarship by faculty across all schools, departments, and centers at Washington University in St. Louis

Follow


Research from 1990

PDF

Visualization in Concurrent Contexts: A Model
Kenneth C. Cox

PDF

Visualizing Concurrent Computations
Kenneth C. Cox and Gruia-Catalin Cox

PDF

SwarmExec: A Prolog-Based Execution Engine for a Shared-Database Language with Visualization Capabilities
Kenneth C. Cox, C. Donald Wilcox, and Jerome Y. Plum

PDF

Unity-Style Proofs for Shared Dataspace Programs Using Dynamic Statements
H. Conrad Cunningham and Gruia-Catalin Roman

PDF

Edited Transcription of the Workshop on Defeasible Reasoning with Specificity and Multiple Inheritance
Jennie Dorosh and Ronald P. Loui

PDF

Hutchins, Adler, and the University of Chicago: A Critical Juncture
Mary Ann Dzuback
Women, Gender and Sexuality Studies

PDF

NCUBE User Activity Academic Year 1988/89
Mark A. Franklin

PDF

The Discrete Orthonormal Wavelet Transform: An Introduction
Michael Frazier and Arun Kumar

PDF

BTC Modifications
Gaurav Garg

PDF

BTC Test Methodology
Gaurav Garg

PDF

DNA Mapping Algorithms: The DNA Simulator
Will Gillet and John Heidemann

PDF

Highly Concurrent Logically Synchronous Multicast
Kenneth J. Goldman

PDF

Segment Streaming for Efficient Pipelined Televisualization
Fengmin Gong

PDF

Determine Interior Vertices of Graph Intervals
Victor Jon Griswold

PDF

Determining Interior Vertices of Graph Intervals
Victor Jon Griswold

PDF

An Algebra for Delay-Insensitive Circuits
Mark B. Josephs and Jan Tijmen Udding Washington University in St. Louis

PDF

Super Linear Learning in Back Propagation Neural Nets
Barry L. Kalman

PDF

A New Transform For Time-Frequency Analysis
Arun Kumar, Daniel R. Fuhrmann, Michael Frazier, and Bjorn Jawerth

PDF

Studies in the Hybrid Deterministic Parsing
Stan C. Kwasny, Anne M. Johnstone, and Barry L. Kalman

PDF

Introduction to Communicating Sequential Processes
Luming Lai

PDF

A Mathematical Model and Refinement Relation for a CSP-Like Language
Luming Lai and Jeff Sanders

PDF

A Simulation Testbed for Image Compression Algorithms
Andrew Francis Laine

PDF

A Multi-Scale Approach for Recognizing Complex Annotations in Engineering Documents.
Andrew Francis Laine, William Ball, and Arun Kumar

PDF

A Parallel Algorithm for Incremental Stereo Matching on SIMD Machines
Andrew F. Laine and Gruia-Catalin Roman

PDF

Workshop on Defeasible Reasoning with Specificity and Multiple Inheritance
R. P. Loui, M. Kahn, and G. Simari

PDF

The WIC Advisor: A Case Study in Medical Expert System Development
Elizabeth J. Mattson, Matthew M. Thomas, Sharon A. Trenz, and Steve B. Cousins

PDF

VLSI Area Comparison of Benes and Crossbar Communications Networks
Tony Y. Mazraani

PDF

The equivalence of connectionist energy minimization and propositional calculus satisfiability
Gadi Pinkas

PDF

Dining with Synchronized Forks
Jerome Plun and Gruia-Catalin Roman

PDF

Testing the Taxi
William D. Richard

PDF

Technical Reviews: A Product Adoption Process
Gruia-Catalin Roman

PDF

Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency
Gruia-Catalin Roman and H. Conrad Cunningham

PDF

The Synchronic Group: A Concurrent Programming Concept and Its Proof Logic
Gruia-Catalin Roman and H. Conrad Cunningham

PDF

Axon: Host-Network Interface Design
James P.G. Sterbenz

PDF

Queueing Analysis of Buffered Switching Networks
Jonathan Turner

Research from 1989

PDF

The Trajectory Method for Evaluating Periodic Bursty Traffic
Akira Arutaki

PDF

Design of PP3 a Packet Processor Chip
Hai-Feng Bi

PDF

On the Effect of Delayed Feedback Information of Network Performance
Andreas D. Bovopoulos

PDF

Resource Allocation as Nash Game in a Multiclass Packet Switched Environment
Andreas D. Bovopoulos

PDF

Resource Allocation for Markovian Queueing Networks: The Partial Information Case
Andreas D. Bovopoulos

PDF

Asynchronous Algorithms for Optimal Flow Control of BCMP Networks
Andreas D. Bovopoulos and Aurel A. Lazar

PDF

Decentralized Network Flow Control
Andreas D. Bovopoulos and Aurel A. Lazar

PDF

Load Balancing Algorithms for Jacksonian Networks with Acknowledgement Delays
Andreas D. Bovopoulos and Aurel A. Lazar

PDF

Optimal Resource Allocation for Markovian Queueing Networks: The Complete Information Case
Andreas D. Bovopoulos and Aurel A. Lazar

PDF

The Specification Statement Refined
Wei Chen and Jan Tijmen Udding

PDF

The Display and Manipulation of Temporal Information
Steve B. Cousins, Michael G. Kahn Washington University in St. Louis, and Mark E. Frisse Washington University in St. Louis

PDF

The Medical Informatics Group: Ongoing Research
Steven B. Cousins, Mark E. Frisse, Michael G. Kahn, and James C. Beard

PDF

The Physician's Workstation Health Care Revolution or the Nearest Mis Yet?
Jerome R. Cox Jr.

PDF

An Inexpensive Electronic Viewbox
J. R. Cox Jr., R. G. Jost, T. Monsees, S. Ramamurthy, and M. Karlsson

PDF

Visualization of Concurrent Computations: Doctor of Science Dissertation Proposal
Kenneth C. Cox