• Publications
  • Influence
SISAL: streams and iteration in a single-assignment language. Language reference manual, Version 1. 1
TLDR
SISAL is a single-assignment, applicative, dataflow language designed to express algorithms for execution on multi-processor systems capable of highly concurrent operation. Expand
  • 160
  • 10
SISAL reference manual. Language version 2.0
TLDR
In this report we describe the SISAL 2.0 programming language, a general-purpose functional language that can run efficiently on conventional and novel parallel architectures. Expand
  • 43
  • 3
Deleting Irrelevant Tasks in an Expression-Oriented Multiprocessor System
TLDR
A method for deleting irrelevant processes without temporarily suspending the overall computation is described, especially as it relates to a particular model for a multiprocessor system designed to evaluate expressions by a computation rule related to full substitution. Expand
  • 28
  • 1
SISAL reference manual
TLDR
In this report we describe the SISAL 2.0 programming language, a general-purpose functional language that can run efficiently on conventional and novel parallel architectures. Expand
  • 18
Programming divide and conquer for a mimd machine
TLDR
This paper discusses our efforts in implementing a divide and conquer algorithm (adaptive quadrature) on the HEP computer system by pipelining execution of instructions from different processes. Expand
  • 6
An analysis of a use bit page replacement algorithm
TLDR
The use bit algorithms have been proposed as approximations to least-recently-used page replacement algorithms. Expand
  • 8
Performance of a multiprocessor for Applicative programs
TLDR
We present a computational model of a multiprocessor which executes applicative programs, and we analyze the expected performance of the model via simulation. Expand
  • 3
If-then-else as a concurrency inhibitor in eager beaver evaluation of recursive programs
TLDR
A sequential form of the if-then-else function and a generalization to encompass nondeterminacy may be used as an elegant mechanism for sequencing computations within an eager beaver environment. Expand
  • 5
A top-down, laboratory based operating system course
An operating system course is described which is organized in a top-down fashion and strongly emphasizes the concept of “learning by doing.” The course content and the corresponding laboratoryExpand
  • 4