June 1974 - Vol. 17 No. 6
Features
Two languages for estimating program efficiency
Two languages enabling their users to estimate the efficiency of computer programs are presented. The program whose efficiency one wishes to estimate is written in the…
A theorem-proving language for experimentation
Because of the large number of strategies and inference rules presently under consideration in automated theorem proving, there is a need for developing a language…
The minimization of spatially-multiplexed character sets
The paper describes a technique for compacting character sets in a digital computer while retaining fast access to individual bits. It considers the problem of minimizing…
An evaluation of statistical software in the social sciences
Several hundred college and university computer installations now offer various types of statistical packages for general use. Among those most widely available are…
Compact representation of contour plots for phone line transmission
Methods for the compact representation of contour plots are described and tested. These are intended to reduce the cost of transmitting contour plots over phone lines. We…
HYDRA: the kernel of a multiprocessor operating system
This paper describes the design philosophy of HYDRA—the kernel of an operating system for C.mmp, the Carnegie-Mellon Multi-Mini-Processor. This philosophy is…
An information-theoretic approach to text searching in direct access systems
Using direct access computer files of bibliographic information, an attempt is made to overcome one of the problems often associated with information retrieval, namely,…
On computing sets of shortest paths in a graph
Two algorithms are presented that construct the k shortest paths between every pair of vertices in a directed graph. These algorithms generalize the Floyd algorithm and…