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

Follow


Research from 1983

PDF

Some Design Considerations for Picture Archiving and Communication Systems
J. R. Cox, G. J. Blaine, R. L. Hill, R. G. Jost, and C. D. Shum

PDF

Regular Array Processors: Asynchronous Versus Clocked Control
Mark A. Franklin, Donald F. Wann, and Sanjay Dhar

PDF

Fuzzy Algorithms, Planning and Problem Solving
Stuart Goldkind

PDF

ADS Formal Semantics
Takayuki Kimura

PDF

Multifaceted Distributed Systems Specification Using Processes and Event Synchronization
Gruia-Catalin Roman and Mark S. Day

Research from 1982

PDF

Study of a Distributed Picture Archiving and Communication System for Radiology
Jerome R. Cox Jr, G. J. Blane, R. L. Hill, and R. G. Jost

PDF

ADS Syntax and Command Trees
Will D. Gillett and Takayuki Kimura

PDF

Semantic Abstraction and the Concept of Type
Takayuki D. Kimura

PDF

Communicative Processes: A Model of Communication
Takayuki D. Kimura and Will D. Gillett

PDF

Abstract Database System (ADS): A Data Model Based on Abstraction of Symbols
Takayuki D. Kimura, Will D. Gillett, and Jerome R. Cox Jr.

PDF

Comment on Rosaldo's "The Use and Abuse of Anthropology"
Linda Nicholson
Women, Gender and Sexuality Studies

PDF

Octal-Tree Spatial Sorting and its Applications
Jeffrey L. Posdamer

PDF

A Rigorous Approach to Building Formal System Requirements
Gruia-Catalin Roman

PDF

Functional Specification of Distributed Systems
Gruia-Catalin Roman

PDF

On Reducing Ambiguities in Methodology Definitions
Gruia-Catalin Roman

PDF

A Formal Treatment of Distributed Systems Design
Gruia-Catalin Roman and Robert K. Israel

PDF

The Total System Design (TSD) Framework: An Approach to the Development of Distributed Systems Design Methodologies
Gruia-Catalin Roman, Mishell J. Stucki, William E. Ball, and Will G. Gillett

PDF

The Total System Design (TSD) Methodology from Problem Definition to Hardware/Software Requirements
Gruia-Catalin Roman, Mishell J. Stucki, and Will D. Gillett

Research from 1981

PDF

PIN Limitations and VLSI Interconnection Networks
Mark A. Franklin and Donald F. Wann

PDF

VLSI Based Interconnection Networks
Mark A. Franklin and Donald F. Wann

PDF

Number of Binary Trees
Will D. Gillett

PDF

Formal Specifications of ADS, An Abstract Database System
Takayuki D. Kimura and Will D. Gillett

PDF

Surface Geometry Acquisition using a Binary-Coded Structured Illumination Technique
Jeffrey L. Posdamer

Research from 1980

PDF

Design Studies Suggested by an Abstract Model for Medical Information System
Jerome R. Cox Jr., Takayuki D. Kimura, P. Moore, Will D. Gillett, and Mishell J. Stucki

PDF

VLSI Performance Comparison of Banyan and Crossbar Communications Networks
Mark A. Franklin

PDF

An Abstract Model of Unstratified Database System
Takayuki D. Kimura, Jerome R. Cox Jr., and Will D. Gillett

PDF

A VLSI Perspective of Real-Time Hidden Surface Elimination
Gruia-Catalin Roman and Takayuki D. Kimura

Research from 1979

PDF

On the Nonquivalence of Shadow Prices and Dual Variables
D. C. Aucamp and D. I, Steinberg

PDF

One Dimensional Optimization on Multiprocessor Systems
Mark A. Franklin and N. Soong

PDF

Interval Maintenance of Dynamically Changing Flow Graphs
Will D. Gillett

PDF

Algebraic Characterization of Petri Nets
Takayuki D. Kimura

PDF

Behavioral Abstraction of Communicating Sequential Processes
Takayuki D. Kimura

PDF

Gauss-Jordan Elimination By VLSI Mech-Connected Processors
Takayuki D. Kimura

PDF

Performance Parameters Related to the Synchronization of Clocked Systems
Willie Yaw-Poh Lim

PDF

Concurrency Coordination in a Locally Distributed Database System
Gruia-Catalin Roman

PDF

Total System Development Framework
Gruia-Catalin Roman

PDF

Verification Procedures Supporting Software Systems Development
Gruia-Catalin Roman

PDF

Synchronization Strategies
Mishell J. Stucki and Jerome R. Cox Jr