Research from 1983
Fuzzy Algorithms, Planning and Problem Solving
Stuart Goldkind
ADS Formal Semantics
Takayuki Kimura
Multifaceted Distributed Systems Specification Using Processes and Event Synchronization
Gruia-Catalin Roman and Mark S. Day
Research from 1982
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
ADS Syntax and Command Trees
Will D. Gillett and Takayuki Kimura
Semantic Abstraction and the Concept of Type
Takayuki D. Kimura
Communicative Processes: A Model of Communication
Takayuki D. Kimura and Will D. Gillett
Abstract Database System (ADS): A Data Model Based on Abstraction of Symbols
Takayuki D. Kimura, Will D. Gillett, and Jerome R. Cox Jr.
Comment on Rosaldo's "The Use and Abuse of Anthropology"
Linda Nicholson
Women, Gender and Sexuality Studies
Octal-Tree Spatial Sorting and its Applications
Jeffrey L. Posdamer
A Rigorous Approach to Building Formal System Requirements
Gruia-Catalin Roman
Functional Specification of Distributed Systems
Gruia-Catalin Roman
On Reducing Ambiguities in Methodology Definitions
Gruia-Catalin Roman
A Formal Treatment of Distributed Systems Design
Gruia-Catalin Roman and Robert K. Israel
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
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
PIN Limitations and VLSI Interconnection Networks
Mark A. Franklin and Donald F. Wann
VLSI Based Interconnection Networks
Mark A. Franklin and Donald F. Wann
Number of Binary Trees
Will D. Gillett
Formal Specifications of ADS, An Abstract Database System
Takayuki D. Kimura and Will D. Gillett
Surface Geometry Acquisition using a Binary-Coded Structured Illumination Technique
Jeffrey L. Posdamer
Research from 1980
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
VLSI Performance Comparison of Banyan and Crossbar Communications Networks
Mark A. Franklin
An Abstract Model of Unstratified Database System
Takayuki D. Kimura, Jerome R. Cox Jr., and Will D. Gillett
A VLSI Perspective of Real-Time Hidden Surface Elimination
Gruia-Catalin Roman and Takayuki D. Kimura
Research from 1979
On the Nonquivalence of Shadow Prices and Dual Variables
D. C. Aucamp and D. I, Steinberg
One Dimensional Optimization on Multiprocessor Systems
Mark A. Franklin and N. Soong
Interval Maintenance of Dynamically Changing Flow Graphs
Will D. Gillett
Algebraic Characterization of Petri Nets
Takayuki D. Kimura
Behavioral Abstraction of Communicating Sequential Processes
Takayuki D. Kimura
Gauss-Jordan Elimination By VLSI Mech-Connected Processors
Takayuki D. Kimura
Performance Parameters Related to the Synchronization of Clocked Systems
Willie Yaw-Poh Lim
Concurrency Coordination in a Locally Distributed Database System
Gruia-Catalin Roman
Total System Development Framework
Gruia-Catalin Roman
Verification Procedures Supporting Software Systems Development
Gruia-Catalin Roman
Synchronization Strategies
Mishell J. Stucki and Jerome R. Cox Jr
Submissions from 1917
[Book review of] Adaptation in Metapopulations: How Interaction Changes Evolution, by Michael J. Wade.
David C. Queller
Biology