| 1998 |
|---|
| 21 | EE | Terrence W. Pratt:
Design of the GODIVA Performance Measurement System.
LCR 1998: 219-228 |
| 1993 |
|---|
| 20 | | James C. French,
Terrence W. Pratt,
Mriganka Das:
Performance Measurement of the Concurrent File System of the Intel iPSC/2 Hypercube.
J. Parallel Distrib. Comput. 17(1-2): 115-121 (1993) |
| 1992 |
|---|
| 19 | | Terrence W. Pratt:
Kernel-Control Parallel Versus Data Parallel: A Technical Comparison.
SIGPLAN Workshop 1992: 5-8 |
| 1991 |
|---|
| 18 | | James C. French,
Terrence W. Pratt,
Mriganka Das:
Performance Measurement of a Parallel Input/Output System for the Intel iPSC/2 Hypercube.
SIGMETRICS 1991: 178-187 |
| 1990 |
|---|
| 17 | EE | Terrence W. Pratt:
Upgrading CS1: an alternative to the proposed COCS survey course.
SIGCSE 1990: 68-71 |
| 16 | | P. David Stotts,
Terrence W. Pratt:
Coverability Graphs for a Class of Synchronously Excuted Unbounded Petri Net.
J. Parallel Distrib. Comput. 10(3): 253-260 (1990) |
| 1988 |
|---|
| 15 | EE | Terrence W. Pratt:
Teaching programming: a new approach based on analysis skills.
SIGCSE 1988: 249-253 |
| 1987 |
|---|
| 14 | | Terrence W. Pratt:
The Pisces 2 Parallel Programming Environment.
ICPP 1987: 439-445 |
| 1985 |
|---|
| 13 | | P. David Stotts,
Terrence W. Pratt:
Hierarchical Modeling of Software Systems with Timed Petri Nets.
PNPM 1985: 32-39 |
| 1983 |
|---|
| 12 | | Terrence W. Pratt,
Loyce M. Adams,
Piyush Mehrotra,
John Van Rosendale,
Robert G. Voigt,
Merrell L. Patrick:
The FEM-2 Design Method.
ICPP 1983: 132-134 |
| 1982 |
|---|
| 11 | | Terrence W. Pratt:
Formal specification of software using H-graph semantics.
Graph-Grammars and Their Application to Computer Science 1982: 314-332 |
| 10 | | Mark Furtney,
Terrence W. Pratt:
Kernel-control tailoring of sequential programs for parallel execution.
ICPP 1982: 245-247 |
| 9 | | Piyush Mehrotra,
Terrence W. Pratt:
Language Concepts for Distributed Processing of Large Arrays.
PODC 1982: 19-28 |
| 8 | EE | Terrence W. Pratt,
George D. Maydwell:
Experience with the Normal Semantic Definition of HAL/S.
SIGPLAN Symposium on Compiler Construction 1982: 327-333 |
| 1978 |
|---|
| 7 | | Terrence W. Pratt:
Definition of Programming Language Semantics Using Grammars for Hierarchical Graphs.
Graph-Grammars and Their Application to Computer Science and Biology 1978: 389-400 |
| 6 | | Terrence W. Pratt:
Program Analysis and Optimization through Kernel-Control Decomposition.
Acta Inf. 9: 195-216 (1978) |
| 5 | | Terrence W. Pratt:
Control Computations and the Design of Loop Control Structures.
IEEE Trans. Software Eng. 4(2): 81-89 (1978) |
| 1975 |
|---|
| 4 | | Terrence W. Pratt:
Four Models for the Analysis of Optimization of Program Control Structures
STOC 1975: 167-176 |
| 1971 |
|---|
| 3 | | Terrence W. Pratt:
Kernel Equivalence of Programs and Proving Kernel Equivalence and Correctness by Test Cases.
IJCAI 1971: 474-480 |
| 2 | | Terrence W. Pratt,
Daniel P. Friedman:
A Language Extension for Graph Processing and Its Formal Semantics.
Commun. ACM 14(7): 460-467 (1971) |
| 1 | | Terrence W. Pratt:
Pair Grammars, Graph Languages and String-to-Graph Translations.
J. Comput. Syst. Sci. 5(6): 560-595 (1971) |
