AFIPS Fall Joint Computing Conference (1)

Keyphrases

Publications

1972

Charles B. Kreitzberg, Jesse H. Webb
An approach to job pricing in a multi-programming environment. AFIPS Fall Joint Computing Conference (1) (1972)
K. Mani Chandy, Chittoor V. Ramamoorthy, A. Cowan
A framework for hardware-software tradeoffs in the design of fault-tolerant computers. AFIPS Fall Joint Computing Conference (1) (1972)
L. Ronald Hoover, James H. Tracey
Procedures for increasing fault coverage for digital networks. AFIPS Fall Joint Computing Conference (1) (1972)
Theodore A. Linden
A summary of progress toward proving program correctness. AFIPS Fall Joint Computing Conference (1) (1972)
R. H. Bullen Jr., Jonathan K. Millen
Microtext: the design of a microprogrammed finite state search machine for full-text retrieval. AFIPS Fall Joint Computing Conference (1) (1972)
Edward Morenoff, P. G. Kesel, L. C. Clarke
Horizontal domain partitioning of the Navy atmospheric primitive equation prediction model. AFIPS Fall Joint Computing Conference (1) (1972)
Roger M. Needham
Protection systems and protection implementations. AFIPS Fall Joint Computing Conference (1) (1972)
Stanley Rothman
The protection of privacy and security in criminal offender record information systems. AFIPS Fall Joint Computing Conference (1) (1972)
W. J. Watson
The TI ASC: a highly modular and flexible super computer architecture. AFIPS Fall Joint Computing Conference (1) (1972)
W. C. Jones, S. H. Tsiang
Field evaluation of real-time capability of a large electronic switching system. AFIPS Fall Joint Computing Conference (1) (1972)
Karl N. Levitt
The application of program-proving techniques to the verification of synchronization processes. AFIPS Fall Joint Computing Conference (1) (1972)
Frederick T. Grampp
A computer center accounting system. AFIPS Fall Joint Computing Conference (1) (1972)
Gary J. Nutt
Evaluation nets for computer system performance analysis. AFIPS Fall Joint Computing Conference (1) (1972)
James P. Lynch, R. Douglas Roland
Computer animation of a bicycle simulation. AFIPS Fall Joint Computing Conference (1) (1972)
Shanker Singh, Ronald Waxman
Multiple operand addition and multiplication. AFIPS Fall Joint Computing Conference (1) (1972)
A. DeCegama
A methodology for computer model building. AFIPS Fall Joint Computing Conference (1) (1972)
W. T. Wilner
Burroughs B1700 memory utilization. AFIPS Fall Joint Computing Conference (1) (1972)
W. T. Wilner
Design of the Burroughs B1700. AFIPS Fall Joint Computing Conference (1) (1972)
John J. Pendray
The in-house computer department. AFIPS Fall Joint Computing Conference (1) (1972)
E. Milgrom, Jacob Katzenelson
Data structures in the extensible programming language AEPL. AFIPS Fall Joint Computing Conference (1) (1972)
Arvind M. Patel, M. Y. Hsiao
An adaptive error correction scheme for computer memory system. AFIPS Fall Joint Computing Conference (1) (1972)
Raymond S. Burns
Simulating the visual environment in real-time via software. AFIPS Fall Joint Computing Conference (1) (1972)
John M. Carroll
Snapshot 1971: how Canada organizes information about people. AFIPS Fall Joint Computing Conference (1) (1972)
Toby J. Teorey
Properties of disk scheduling policies in multiprogrammed computer systems. AFIPS Fall Joint Computing Conference (1) (1972)
David Lorge Parnas
Some conclusions from an experiment in software engineering techniques. AFIPS Fall Joint Computing Conference (1) (1972)
Barry L. Wolman
Debugging PL/I programs in the multics environment. AFIPS Fall Joint Computing Conference (1) (1972)
Wesley W. Chu, Holger Opderbeck
The page fault frequency replacement algorithm. AFIPS Fall Joint Computing Conference (1) (1972)
Thomas G. Williams
An on-line two-dimensional computation system. AFIPS Fall Joint Computing Conference (1) (1972)
Rufus H. Cofer, Julius T. Tou
Automated map reading and analysis by computer. AFIPS Fall Joint Computing Conference (1) (1972)
John H. Wensley
SIFT: software implemented fault tolerance. AFIPS Fall Joint Computing Conference (1) (1972)
David C. Jung
Facilities management: a marriage of porcupines. AFIPS Fall Joint Computing Conference (1) (1972)
Edwin K. Tucker, Lara H. Baker Jr., D. C. Buckner
Computer generated optical sound tracks. AFIPS Fall Joint Computing Conference (1) (1972)
W. D. Bernhart
An inverse computer graphics problem. AFIPS Fall Joint Computing Conference (1) (1972)
F. Terry Baker
System quality through structured programming. AFIPS Fall Joint Computing Conference (1) (1972)
Gustav S. Christensen, P. D. Jones
The Control Data® STAR-100 file storage station. AFIPS Fall Joint Computing Conference (1) (1972)
Eberhard Hänsler, Gerald K. McAuliffe, Robert S. Wilkov
Exact calculation of computer network reliability. AFIPS Fall Joint Computing Conference (1) (1972)
Rein Turn, Norman Z. Shapiro
Privacy and security in databank systems: measures of effectiveness, costs, and protector-intruder interactions. AFIPS Fall Joint Computing Conference (1) (1972)
R. Cutts, J. Haynes, Harry D. Huskey, J. Kaubisch, L. Laitinen, G. Tollkuhn, E. Yarwood
An eclectic information processing system. AFIPS Fall Joint Computing Conference (1) (1972)
R. M. Fitzsimons
TRIDENT: a new maintenance weapon. AFIPS Fall Joint Computing Conference (1) (1972)
Naftaly H. Minsky
Rotating storage devices as partially associative memories. AFIPS Fall Joint Computing Conference (1) (1972)
Kenneth C. Sevcik, J. William Atwood, Marc S. Grushcow, Richard C. Holt, James J. Horning, Dennis Tsichritzis
Project SUE as a learning experience. AFIPS Fall Joint Computing Conference (1) (1972)
Gerald Lippey
A comprehensive question retrieval application to serve classroom teachers. AFIPS Fall Joint Computing Conference (1) (1972)
David J. Kuck
Supercomputers for ordinary users. AFIPS Fall Joint Computing Conference (1) (1972)
M. A. Wesley, S.-K. Chang, J. H. Mommens
A design for an auxiliary associative parallel processor. AFIPS Fall Joint Computing Conference (1) (1972)
Thomas E. Bell
Objectives and problems in simulating computers. AFIPS Fall Joint Computing Conference (1) (1972)
Francis P. Mathu
Automation of reliability evaluation procedures through CARE: the computer-aided reliability estimation program. AFIPS Fall Joint Computing Conference (1) (1972)
Walter J. Karplus
System identification and simulation: a pattern recognition approach. AFIPS Fall Joint Computing Conference (1) (1972)
Barbara H. Liskov
A design methodology for reliable software systems. AFIPS Fall Joint Computing Conference (1) (1972)
Robert F. Boruch
Security of information processing: implications from social research. AFIPS Fall Joint Computing Conference (1) (1972)
Britton Harris
Computer simulations of the metropolis. AFIPS Fall Joint Computing Conference (1) (1972)