AFIPS_Bibliography_Vol41_1972

Properties of disk scheduling policies in multiprogrammed computer systems
1
T. J. Teorey
The interaction of multiprogramming job scheduling and CPU scheduling
13
J. C. Browne, J. Lan, F. Baskett
Storage organization and management in TENEX
23
D. Murphy
The application of program-proving techniques to the verification of synchronization processes
33
K. Levitt
Exact calculation of computer network reliability
49
R. Wilkov, E. Hansler, G. McAuliffe
A framework for analyzing hardware-software trade-offs in fault tolerant computing systems
55
K.M.Chandy, C. V. Ramamoorthy, A. Cowan
Automation of reliability evaluation procedures through CARE- The computer aided reliability estimation program
65
F. P. Mathur
An adaptive error correction scheme for computer memory systems
83
A. M. Patel, M. Hsiau
Dynamic configuration of system integrity
89
B. Borgerson
The in-house computer department
97
J. Pendray
A computer center accounting system
105
F. T. Grampp
An approach to job billing in a multiprogramming environment
115
C. Kreitzberg, J. Webb
Facilities management - A marriage of porcupines
123
D. C. Jung
Automated map reading and analysis by computer
135
R. U. Cofer, J. Tou
Computer generated optical sound tracks
147
E. K. Tucker, L. H. Baker, D. C. Buckner
Simulating the visual environment in real-time via software
153
R. S. Burns
Computer animation of a bicycle simulation
161
J. P. Lynch, R. D. Roland
An inverse computer graphics problem
169
W. D. Bernhart
Module connection analysis - A tool for scheduling software debugging activities
173
F. M. Haney
Evaluating the effectiveness of software verification - Practical experience with an automated tool
181
J. R. Brown
A design methodology for reliable software systems
191
B. H. Liskov
A summary of progress toward proving program correctness
201
T. A. Linden
Supercomputers for ordinary users
213
D. J. Kuck
The Texas Instruments advanced scientific computer
221
J. Watson
A production implementation of an associative array processor - STARAN
229
J. A. Rudolph
SIFT - Software Implemented Fault Tolerance
243
J. H. Wensley
TRIDENT - A new maintenance weapon
255
R. M. Fitzsimons
Computer system maintainability at the Lawrence Livermore Laboratory
263
J. M. Burk
J. Schoonover
The retryable processor
273
G. H. Maestri
Evaluation nets for computer system performance analysis
279
G. J. Nutt
Objectives and problems in simulating computers
287
T. E. Bell
A methodology for computer model building
299
A. De Cegama
LOGOS and the software engineer
311
C. W. Rose
Some conclusions from an experiment in software engineering techniques
325
D. L. Parnas
Project SUE as a learning experience
331
K. C. Sevcik, J. W. Atwood, M. S. Grushcow, R. C. Holt, J. J. Horning, D. Tsichritzis
System quality through structured programming
339
F. T. Baker
An application of cellular logic for high speed decoding of minimum redundancy codes
345
K.Ohmori, K. Nezu, S. Naito, T. Nanya
On an extended threshold logic as a unit cell of array logics
353
R. Mori
Multiple operand addition and multiplication
367
R. Waxman, S. Singh
Techniques for increasing fault coverage for asynchronous sequential networks
375
L. R. Hoover, J. H. Tracey
System identification and simulation - A pattern recognition approach
385
W. J. Karplus
Horizontal domain partitioning of the Navy atmospheric primitive equation prediction model
393
E. Morenoff, P. G. Kesel, L. C. Clarke
An analysis of optimal control system algorithms
407
C. N. Walter, G. H. Cohen
Computer simulation of the metropolis
415
B. Harris
The protection of privacy and security in criminal offender record information systems
423
S. Rothman
Security of information processing- Implications for social research
425
R. F. Boruch
Privacy and security in data bank systems- Measures, costs, and protector intruder interactions
435
R. Turn, N. S. Shapiro
Snapshot 1971- How one developed nation organizes information about people
445 J. W.Carroll
Hardware-software trade-offs - Reasons and directions
453
R. L. Mandell
A design for an auxiliary associative parallel processor
461
M. A. Wesley, S. K. Chang, J. H. Mommens
An eclectic information processing system
473
R. Cutts, H. Huskey, J. Haynes, J. Kaubisch, L. Laitinen, G. Tollkuhn,E. Yarwood
Microtext- The design of a microprogrammed finite state search machine for full text retrieval
479
R. H. Bullen, Jr., J. K. Millen
Design of the B1700
489
W. T. Wilner
An on-line two-dimensional computation system
499
T. G. Williams
Debugging PL/I programs in the multics environment
507
B. Wolman
AEPL - An Extensible Programming Language
515
E. Milgrom, J. Katzenelson
The investment analysis language
525
C. Dmytryshak
The design approach to integrated telephone information in the Netherlands
537
R. DiPalma, G. F. Rice
Field evaluation of real-time capability of a large electronic switching system
545
W. C. Jones, S. H. Tsiang
Minimum cost, reliable computer-communications networks
553
J. De Mercado
Control Data STAR-100 file storage station
561
G. Christensen, P. D. Jones
Protection systems and protection implementations
571
R. M. Needham
B1700 memory utllization
579
W. T. Wilner
Rotating storage devices as "partially associative memories"
587
N. Minsky
Page fault frequency (PFF) replacement algorithms
597
W. W. Chu, H. Opderbeck
Experiments with program locality
611
J. R. Spirn, P. J. Denning
TASSY - One approach to individualized test construction
623
T. Blaskovics, J. Kutsch, Jr.
A comprehensive question retrieval application to serve classroom teachers
633
G. Lippey
Computer processes in repeatable testing
641
F. Prosser, J. Nakhnikian