default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAFIPS Fall Joint Computing Conference 1972: Anaheim, CA, USA
- American Federation of Information Processing Societies: Proceedings of the AFIPS '72 Fall Joint Computer Conference, December 5-7, 1972, Anaheim, California, USA - Part I. AFIPS Conference Proceedings 41, AFIPS / ACM / Thomson Book Company, Washington D.C. 1972, ISBN 978-1-4503-7912-0
Operating systems
- Toby J. Teorey:
Properties of disk scheduling policies in multiprogrammed computer systems. 1-11 - James C. Browne, Jean Lan, Forest Baskett:
The interaction of multi-programming job scheduling and CPU scheduling. 13-21 - Daniel L. Murphy:
Storage organization and management in TENEX. 23-32 - Karl N. Levitt:
The application of program-proving techniques to the verification of synchronization processes. 33-47
Architecture for high system availability
- Eberhard Hänsler, Gerald K. McAuliffe, Robert S. Wilkov:
Exact calculation of computer network reliability. 49-54 - K. Mani Chandy, Chittoor V. Ramamoorthy, A. Cowan:
A framework for hardware-software tradeoffs in the design of fault-tolerant computers. 55-63 - Francis P. Mathu:
Automation of reliability evaluation procedures through CARE: the computer-aided reliability estimation program. 65-82 - Arvind M. Patel, M. Y. Hsiao:
An adaptive error correction scheme for computer memory system. 83-87 - Barry R. Borgerson:
Dynamic confirmation of system integrity. 89-96
Computing installations---problems and practices
- John J. Pendray:
The in-house computer department. 97-104 - Frederick T. Grampp:
A computer center accounting system. 105-114 - Charles B. Kreitzberg, Jesse H. Webb:
An approach to job pricing in a multi-programming environment. 115-122 - David C. Jung:
Facilities management: a marriage of porcupines. 123-134
Computer graphics
- Rufus H. Cofer, Julius T. Tou:
Automated map reading and analysis by computer. 135-145 - Edwin K. Tucker, Lara H. Baker Jr., D. C. Buckner:
Computer generated optical sound tracks. 147-151 - Raymond S. Burns:
Simulating the visual environment in real-time via software. 153-160 - James P. Lynch, R. Douglas Roland:
Computer animation of a bicycle simulation. 161-167 - W. D. Bernhart:
An inverse computer graphics problem. 169-171
Software engineering---theory and practice (part I)
- Frederick M. Haney:
Module connection analysis: a tool for scheduling software debugging activities. 173-179 - John R. Brown, R. H. Hoffman:
Evaluating the effectiveness of software verification: pratical experience with an automated tool. 181-190 - Barbara H. Liskov:
A design methodology for reliable software systems. 191-199 - Theodore A. Linden:
A summary of progress toward proving program correctness. 201-211
Supercomputers---present and future
- David J. Kuck:
Supercomputers for ordinary users. 213-220 - W. J. Watson:
The TI ASC: a highly modular and flexible super computer architecture. 221-228 - Jack A. Rudolph:
A production implementation of an associative array processor: STARAN. 229-241
Maintenance and system integrity
- John H. Wensley:
SIFT: software implemented fault tolerance. 243-253 - R. M. Fitzsimons:
TRIDENT: a new maintenance weapon. 255-262 - John M. Burk, J. Edward Schoonover:
Computer system maintainability at the Lawrence Livermore laboratory. 263-272 - George H. Maestri:
The retryable processor. 273-277
Computer simulations of computer systems
- Gary J. Nutt:
Evaluation nets for computer system performance analysis. 279-286 - Thomas E. Bell:
Objectives and problems in simulating computers. 287-297 - A. DeCegama:
A methodology for computer model building. 299-310
Software engineering---theory and practice (part II)
- Charles W. Rose:
LOGOS and the software engineer. 311-323 - David Lorge Parnas:
Some conclusions from an experiment in software engineering techniques. 325-329 - Kenneth C. Sevcik, J. William Atwood, Marc S. Grushcow, Richard C. Holt, James J. Horning, Dennis Tsichritzis:
Project SUE as a learning experience. 331-338 - F. Terry Baker:
System quality through structured programming. 339-343
Array logic and other advanced techniques
- Kenji Ohmori, Sachio Naito, T. Nanya, Koji Nezu:
An application of cellular logic for high speed decoding of minimum-redundancy codes. 345-351 - Ryoichi Mori:
On an extended threshold logic as a unit cell of array logics. 353-366 - Shanker Singh, Ronald Waxman:
Multiple operand addition and multiplication. 367-373 - L. Ronald Hoover, James H. Tracey:
Procedures for increasing fault coverage for digital networks. 375-384
Advances in simulation
- Walter J. Karplus:
System identification and simulation: a pattern recognition approach. 385-392 - Edward Morenoff, P. G. Kesel, L. C. Clarke:
Horizontal domain partitioning of the Navy atmospheric primitive equation prediction model. 393-405 - Carol N. Walter, Gerald H. Cohen:
An analysis of optimal control system algorithms. 407-414 - Britton Harris:
Computer simulations of the metropolis. 415-421
Privacy and the security of databank systems
- Stanley Rothman:
The protection of privacy and security in criminal offender record information systems. 423-424 - Robert F. Boruch:
Security of information processing: implications from social research. 425-433 - Rein Turn, Norman Z. Shapiro:
Privacy and security in databank systems: measures of effectiveness, costs, and protector-intruder interactions. 435-444 - John M. Carroll:
Snapshot 1971: how Canada organizes information about people. 445-452
Hardware-firmware-software trade-offs
- Richard L. Mandell:
Hardware/software trade-offs: reasons and directions. 453-459 - Michael A. Wesley, S.-K. Chang, J. H. Mommens:
A design for an auxiliary associative parallel processor. 461-472 - R. Cutts, J. Haynes, Harry D. Huskey, J. Kaubisch, L. Laitinen, G. Tollkuhn, E. Yarwood:
An eclectic information processing system. 473-478 - R. H. Bullen Jr., Jonathan K. Millen:
Microtext: the design of a microprogrammed finite state search machine for full-text retrieval. 479-488 - W. T. Wilner:
Design of the Burroughs B1700. 489-497
Human engineering of programming systems---the user's view
- Thomas G. Williams:
An on-line two-dimensional computation system. 499-506 - Barry L. Wolman:
Debugging PL/I programs in the multics environment. 507-514 - E. Milgrom, Jacob Katzenelson:
Data structures in the extensible programming language AEPL. 515-523 - Carole A. Dmytryshak:
The universal consulting language alias: the investment analysis language. 525-535
Data communication systems
- R. A. DiPalma, G. F. Hice:
The design approach to integrated telephone information in the Netherlands. 537-543 - W. C. Jones, S. H. Tsiang:
Field evaluation of real-time capability of a large electronic switching system. 545-552 - John DeMercado:
Minimum cost-reliable computer communication networks. 553-558
Memory organization and management
- Gustav S. Christensen, P. D. Jones:
The Control Data® STAR-100 file storage station. 561-569 - Roger M. Needham:
Protection systems and protection implementations. 571-578 - W. T. Wilner:
Burroughs B1700 memory utilization. 579-586 - Naftaly H. Minsky:
Rotating storage devices as partially associative memories. 587-595
Dynamic program behavior
- Wesley W. Chu, Holger Opderbeck:
The page fault frequency replacement algorithm. 597-609 - Jeffrey R. Spirn, Peter J. Denning:
Experiments with program locality. 611-621
Computer assisted educational test construction
- Thomas L. Blaskovics, James A. Kutsch Jr.:
TASSY: one approach to individualized test construction. 623-631 - Gerald Lippey:
A comprehensive question retrieval application to serve classroom teachers. 633-641 - Franklin Prosser, Jean Nakhnikian:
Computer processes in repeatable testing. 641-647
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
