|
Box
|
Folder
|
Title
|
Dates
|
|
1
|
1
|
Article
– “Low Cost Relief for Overburdened Secretaries”
|
1994
|
|
1
|
2
|
Biographical
information
|
1986-1989
|
|
1
|
3
|
Biographical
– News Clippings
|
1969-1999
|
|
1
|
4
|
Correspondence
|
1990-1995
|
|
1
|
5
|
Correspondence
– Retirement
|
1998-1999
|
|
1
|
6
|
Faculty
Improvement Leave Report
|
1980
|
|
1
|
7
|
Paper
– “Access Control Language for Object-Oriented Programming
Systems”
|
n.d.
|
|
1
|
8
|
Paper
– “Analysis of Program-Execution on a Recursive
Stream-Oriented Data Flow Architecture”
|
1982-1983
|
|
1
|
9
|
Paper
– “Assessment of the DOD Goal Security Architect (DGSA)
for Non-Military Use”
|
1994-1995
|
|
1
|
10
|
Paper
– “Automated Control of Concurrence in Multi-User
Hierarchical Informational Systems”
|
n.d.
|
|
1
|
11
|
Paper
– “Control of Self-Initializing Instructions in a Data
Flow Program”
|
n.d.
|
|
1
|
12
|
Paper
– “Data Flow Computer Systems Research”
|
1982
|
|
1
|
13
|
Paper
– “Data Flow Computer Systems Research” (copy2)
|
1982
|
|
1
|
14
|
Paper
– “Data Flow Resource Managers and their Synthesis From
Open Path Expression”
|
n.d.
|
|
1
|
15
|
Paper
– “Design of a Software Simulator for a Data Flow
Computer”
|
n.d.
|
|
1
|
16
|
Paper
– “Flow Analysis Procedure for the Translation of High
Level Languages to a Data Flow Language”
|
1979-1980
|
|
1
|
17
|
Paper
– “Foundations of a Security Policy for Use of the
National Research and Educational Network”
|
1992
|
|
1
|
18
|
Paper
– “Hardware-Software Interactions in Symbol-2R’s
Operating System”
|
1974,
n.d.
|
|
1
|
19
|
Paper
– “Informational Flow Control in a Distributed
Object-Oriented System with Statically Bound Objects
Variables”
|
1987,
n.d.
|
|
1
|
20
|
Paper
– “Instruction Reference Patterns in Data Flow Programs”
|
1980
|
|
2
|
1
|
Paper
– “Loop Decomposition in the translation of Sequential
Languages to Data Flow Languages”
|
1980
|
|
2
|
2
|
Paper
– “Maximum Computing Power and Cost Factors in the
Centralization Problem”
|
1972
|
|
2
|
3
|
Paper
– “Measurement of Parallelism in Computer Programs Through
Analysis of Program Graphs”
|
1979
|
|
2
|
4
|
Paper
– “Open Predicate Path Expressions and Their
Implementations in Highly Parallel Computing Environments”
|
1985,
n.d.
|
|
2
|
5
|
Paper
– “Performance Analysis of Program Execution on Data Flow
Systems”
|
1983
|
|
2
|
6
|
Paper
– “Petri Net Models of Program Execution in Feedback Data
Flow Environments”
|
1980
|
|
2
|
7
|
Paper
– “Preliminary Design Specifications for Highly-Structured
Distributed Software Using Resources Modules”
|
1986
|
|
2
|
8
|
Paper
– “Propiedades De Estabilidad De Un Algoritmo Optimo De
Programacion De Tareas Ininterrum Pibles Para Un Sistema De
Dos Procesadores
|
n.d.
|
|
2
|
9
|
Paper
– “Software Scheme For User Controlled File Encryption”
|
1983-1984
|
|
2
|
10
|
Paper
– “Report of the NIST Workshop on Key Escrow Encryption”
|
1994
|
|
2
|
11
|
Paper
– “Simulated Data Flow Execution of Computer Program”
|
1979
|
|
2
|
12
|
Paper
– “Specifications for Support of Formatted Input/Output in
a Data Flow Computer”
|
n.d.
|
|
2
|
13
|
Paper
– “Stability Properties of Optimal Non-Preemptive Schedule
for Two-Processor Systems”
|
1978
|
|
2
|
14
|
Paper
– “Survey of Password Mechanisms:
Weakness and Potential Improvements.
Part 1 and Part 2”
|
1989
|
|
2
|
15
|
Paper
– “Use of Combinators in Translating a Purely Functional
Language to Low-Level Data Flow Graphs”
|
1983
|
|
2
|
16
|
Proposal
– “Data Flow Computer Systems Research”
|
1977
|
|
2
|
17
|
Proposal
– “Data Flow Computer Systems Research”
|
1978
|
|
2
|
18
|
Proposal
– “Faculty Leave”
|
1990
|
|
2
|
19
|
Proposal
– “Foreign Travel Grant”
|
1979
|
|
2
|
20
|
Research
Grant Master Agreement: No. 90-1561C
|
1990
|
|
2
|
21
|
SHRI
Progress Reports
|
1976-1983
|
|
2
|
22
|
Workshop
on the Teaching of Engineering Ethics: Computer Ethics and
Engineering Education
|
|