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