Research from 1986
Determinacy of Hierarchical Dataflow Model
Takayuki Dan Kimura
A Visual Language for Keyboardless Programming
Takayuki Dan Kimura, Julie W. Choi, and Jane M. Mack
Show and Tell User's Manual
Peter McLain and Takayuki Dan Kimura
Data Engineering in Software Development Environments
Gruia-Catalin Roman
Toward Comprehensive Specification of Distributed Systems
Gruia-Catalin Roman, Michael E. Ehlers, H. Conrad Cunningham, and R. Howard Lykins
Almost All k-Colorable Graphs are easy to color
Jonathan S. Turner
Approximation Algorithms for the Shortest Common Superstring Problem
Jonathan S. Turner
The Complexity of the Shortest Common Matching String Problem
Jonathan S. Turner
Performance Analysis and Design of a Logic Simulation Machine
Ken Wong and Mark A. Franklin
Logic Simulation: Statistics and Machine Design
K. F. Wong and Mark A. Franklin
Research from 1985
Collecting Data About Logic Simulation
Roger D. Chamberlain and Mark A. Franklin
Progressive Transmission of Digital Diagnostic Images
S. E. Elnahas, R. G. Jost, J. R. Cox, and R. L. Hill
Hierarchical Dataflow Model: A Computation Model for School Children
Takayuki Dan Kimura
The Enhanced WUDMA Image Processing System
Andrew Laine and Seymour P. Pollack
Specifying Software/Hardware Interactions in Distributed Systems
Gruia-Catalin Roman
Design of a Broadcast Packet Switching Network
Jonathan S. Turner
Design of an Integrated Services Packet Network
Jonathan S. Turner
On the Probable Performance of Graph coloring Algorithms
Jonathan S. Turner
Statistics on Logic Simulation
K. F. Wong, Mark A. Franklin, Roger D. Chamberlain, and B. L. Shing
Research from 1984
Reduction of Clock Delays in VSLI Structures
Sanjay Dhar, Mark A. Franklin, and Donald F. Wan
Parallel Machines and Algorithms for Discrete-Event Simulations
M. A. Franklin, Donald F. Wann, and K. F. Wong
A Taxonomy of Current Issues in Requirements Engineering
Gruia-Catalin Roman
A Taxonomy of Requirements Specification Techniques
Gruia-Catalin Roman
Formal Specifications of Geographic Data Processing Requirements
Gruia-Catalin Roman
A Total System Design Framework
Gruia-Catalin Roman, Mishell J. Stucki, William E. Ball, and Will D. Gillett
Design Analysis of a Wide-Band Picture Communication System
Chung-Dak Shum, Jerome R. Cox, and G. James Blaine
On the General Graph Embedding Problem With Applications to Circuit Layout
Jonathan S. Turner
On the Probable Performance of Heuristics for Bandwidth Minimization
Jonathan S. Turner
Research from 1983
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
Regular Array Processors: Asynchronous Versus Clocked Control
Mark A. Franklin, Donald F. Wann, and Sanjay Dhar
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.
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