Front Matter (PDF)
Properties of disk scheduling policies in multiprogrammed computer systems (PDF)
The interaction of multiprogramming job scheduling and CPU scheduling (PDF)
Storage organization and management in TENEX (PDF)
The application of program-proving techniques to the verification of synchronization processes (PDF)
Exact calculation of computer network reliability (PDF)
A framework for analyzing hardware-software trade-offs in fault tolerant computing systems (PDF)
Automation of reliability evaluation procedures through CARE- The computer aided reliability estimation program (PDF)
An adaptive error correction scheme for computer memory systems (PDF)
Dynamic configuration of system integrity (PDF)
The in-house computer department (PDF)
A computer center accounting system (PDF)
An approach to job billing in a multiprogramming environment (PDF)
Facilities management - A marriage of porcupines (PDF)
Automated map reading and analysis by computer (PDF)
Computer generated optical sound tracks (PDF)
Simulating the visual environment in real-time via software (PDF)
Computer animation of a bicycle simulation (PDF)
An inverse computer graphics problem (PDF)
Module connection analysis - A tool for scheduling software debugging activities (PDF)
Evaluating the effectiveness of software verification - Practical experience with an automated tool (PDF)
A design methodology for reliable software systems (PDF)
A summary of progress toward proving program correctness (PDF)
Supercomputers for ordinary users (PDF)
The Texas Instruments advanced scientific computer (PDF)
A production implementation of an associative array processor - STARAN (PDF)
SIFT - Software Implemented Fault Tolerance (PDF)
TRIDENT - A new maintenance weapon (PDF)
Computer system maintainability at the Lawrence Livermore Laboratory (PDF)
The retryable processor (PDF)
Evaluation nets for computer system performance analysis (PDF)
Objectives and problems in simulating computers (PDF)
A methodology for computer model building (PDF)
LOGOS and the software engineer (PDF)
Some conclusions from an experiment in software engineering techniques (PDF)
Project SUE as a learning experience (PDF)
System quality through structured programming (PDF)
An application of cellular logic for high speed decoding of minimum redundancy codes (PDF)
On an extended threshold logic as a unit cell of array logics (PDF)
Multiple operand addition and multiplication (PDF)
Techniques for increasing fault coverage for asynchronous sequential networks (PDF)
System identification and simulation - A pattern recognition approach (PDF)
Horizontal domain partitioning of the Navy atmospheric primitive equation prediction model (PDF)
An analysis of optimal control system algorithms (PDF)
Computer simulation of the metropolis (PDF)
The protection of privacy and security in criminal offender record information systems (PDF)
Security of information processing- Implications for social research (PDF)
Privacy and security in data bank systems- Measures, costs, and protector intruder interactions (PDF)
Snapshot 1971- How one developed nation organizes information about people (PDF)
Hardware-software trade-offs - Reasons and directions (PDF)
A design for an auxiliary associative parallel processor (PDF)
An eclectic information processing system (PDF)
Microtext- The design of a microprogrammed finite state search machine for full text retrieval (PDF)
Design of the B1700 (PDF)
An on-line two-dimensional computation system (PDF)
Debugging PL/I programs in the multics environment (PDF)
AEPL - An Extensible Programming Language (PDF)
The investment analysis language (PDF)
The design approach to integrated telephone information in the Netherlands (PDF)
Field evaluation of real-time capability of a large electronic switching system (PDF)
Minimum cost, reliable computer-communications networks (PDF)
Control Data STAR-100 file storage station (PDF)
Protection systems and protection implementations (PDF)
B1700 memory utllization (PDF)
Rotating storage devices as "partially associative memories" (PDF)
Page fault frequency (PFF) replacement algorithms (PDF)
Experiments with program locality (PDF)
TASSY - One approach to individualized test construction (PDF)
A comprehensive question retrieval application to serve classroom teachers (PDF)
Computer processes in repeatable testing (PDF)