July 1977 - Vol. 20 No. 7
Features
Dynamic response time prediction for computer networks
If the ultimate aim of a computing network is resource sharing, then the human component as well as the technical component of networking must be fully investigated to…
A unifying approach to scheduling
This paper presents a scheme for classifying scheduling algorithms based on an abstract model of a scheduling system which formalizes the notion of priority. Various…
In order for the nodes of a distributed computer network to communicate, each node must have information about the network's topology. Since nodes and links sometimes…
A terminal-oriented communication system
This paper describes a system for full-duplex communication between a time-shared computer and its terminals. The system consists of a communications computer directly…
SITAR: an interactive text processing system for small computers
SITAR, a low-cost interactive text handling and text analysis system for nontechnical users, is in many ways comparable to interactive bibliographical search and…
An alternative to event queues for synchronization in monitors
In the monitor concept, as proposed by Brinch Hansen and Hoare, event queues are used for synchronization. This paper describes another synchronizing primitive which is…
Certification of programs for secure information flow
ertification mechanism for verifying the secure flow of information through a program. Because it exploits the properties of a lattice structure among security classes,…
Shifting garbage collection overhead to compile time
This paper discusses techniques which enable automatic storage reclamation overhead to be partially shifted to compile time. The paper assumes a transaction oriented…
Lucid, a nonprocedural language with iteration
Lucid is a formal system in which programs can be written and proofs of programs carried out. The proofs are particularly easy to follow and straightforward to produce…