Communications of the ACM (CACM), Volume 19, 1976

Volume 19, Number 1, January 1976

Computer Systems

Leonard Kleinrock, William E. Naylor, Holger Opderbeck: A Study of Line Overhead in the Arpanet. 3-13 BibTeX
Neil C. Wilhelm: An Anomaly in Disk Scheduling: A Comparison of FCFS and SSTF Seek Scheduling Using an Empirical Model for Disk Accesses. 13-17 BibTeX
Carson E. Agnew: On Quadratic Adaptive Routing Algorithms. 18-22 BibTeX

Information Retrieval and Language Processing

Philip L. Karlton, Samuel H. Fuller, R. E. Scroggs, E. B. Kaehler: Performance of Height-Balanced Trees. 23-28 BibTeX

Management / Database Systems

J. J. Florentin: Information Reference Coding. 29-33 BibTeX

Programming Languages

Charles R. Litecky, Gordon B. Davis: A Study of Errors, Error-Proneness, and Error Diagnosis in Cobol. 33-37 BibTeX

Volume 19, Number 2, February 1976

Programming Languages

Gregor von Bochmann: Semantic Evaluation from Left to Right. 55-62 BibTeX
Ronald L. Rivest: On Self-Organizing Sequential Search Heuristics. 63-67 BibTeX
F. M. Ives: Permutation Enumeration: Four New Permutation Algorithms. 68-72 BibTeX

Graphics and Image Processing

Alberto Martelli: An Application of Heuristic Search Methods to Edge and Contour Detection. 73-83 BibTeX

Management / Database Systems

Kenneth F. Siler: A Stochastic Evaluation Model for Database Organization in Data Retrieval Systems. 84-95 BibTeX
Ronald Fagin: A Counterintuitive Example of Computer Paging. 96-97 BibTeX , Corrigendum: CACM 19(4): 187 (1976)

Computer Systems

Ehud Artzy, James A. Hinds, Harry J. Saal: A Fast Division Technique for Constant Divisors. 98-101 BibTeX

Volume 19, Number 3, March 1976

1975 Turing Award Lecture

Allen Newell, Herbert A. Simon: Computer Science as Empirical Inquiry: Symbols and Search. 113-126 BibTeX

Management Science / Operations Research

Jair M. Babad, Mario M. Modiano: Joining Policies in a Multipriority Multiclass Batch Computer System. 127-136 BibTeX

Programming Techniques

Frances E. Allen, John Cocke: A Program Data Flow Analysis Procedure. 137-147 BibTeX

Management / Database Systems

Naftaly H. Minsky: Intentional Resolution of Privacy Protection in Database Systems. 148-159 BibTeX

Volume 19, Number 4, April 1976

Reports and Articles

Oliver R. Smoot: Development of an International System for Legal Protection of Computer Programs. 171-174 BibTeX
Bennet P. Lientz: A Comparative Evaluation of Versions of BASIC. 175-181 BibTeX

Scientific Applications

J. Raymond: LG: A Language for Analytic Geometry. 182-187 BibTeX

Programming Languages

Shmuel Katz, Zohar Manna: Logical Analysis of Programs. 188-206 BibTeX

Volume 19, Number 5, May 1976

Papers from Fifth ACM Symposium on Operating Systems Principles, November 19-21, 1975

Dorothy E. Denning: A Lattice Model of Secure Information Flow. 236-243 BibTeX
Jonathan K. Millen: Security Kernel Validation in Practice. 243-250 BibTeX
Butler W. Lampson, Howard E. Sturgis: Reflections on an Operating System Design. 251-265 BibTeX
A. Nico Habermann, Lawrence Flon, Lee W. Cooprider: Modularization and Hierarchy in a Family of Operating Systems. 266-272 BibTeX
John H. Howard: Proving Monitors. 273-279 BibTeX
Susan S. Owicki, David Gries: Verifying Properties of Parallel Programs: An Axiomatic Approach. 279-285 BibTeX
A. Wayne Madison, Alan P. Batson: Characteristics of Program Localities. 285-294 BibTeX
Barton G. Prieve, Robert S. Fabry: VMIN-An Optimal Variable-Space Page Replacement Algorithm. 295-297 BibTeX
Wesley W. Chu, Holger Opderbeck: Analysis of the PFF Replacement Algorithm via a Semi-Markov Model. 298-304 BibTeX , Corrigendum: CACM 19(9): 529 (1976)

Volume 19, Number 6, June 1976

Reports and Articles

Orrin E. Taulbee, Samuel D. Conte: Production and Employment of Ph.D.'s in Computer Science. 311-313 BibTeX

Management Aplications

Dennis G. Severance, Richardo Duhne: A Practitioner's Guide To Addressing Algorithms. 314-326 BibTeX , Corrigendum: CACM 19(9): 529 (1976)

Computer Systems

Forest Baskett, Alan Jay Smith: Interference in Multiprocessor Computer Systems with Interleaved Memory. 327-334 BibTeX , Corrigendum: CACM 19(11): 623 (1976)

Programming Techniques

Gideon Frieder, Harry J. Saal: A Process for the Determination of Addresses in Variable Length Addressing. 335-338 BibTeX
David S. Wise: Referencing Lists by an Edge. 338-342 BibTeX
Helmut Schumacher, Kenneth C. Sevcik: The Synthetic Approach to Decision Table Conversion. 343-351 BibTeX
Douglas W. Clark: An Efficient List-Moving Algorithm Using Constant Workspace. 352-354 BibTeX

Short Communications: Programming Techniques

Gary D. Knott: A Numbering System for Permutations of Combinations. 355-356 BibTeX

Volume 19, Number 7, July 1976

Education

Samuel D. Conte, Maurice H. Halstead: The Technology of Computer Center Management: A Proposed Course for Graduate Professional Programs in Computer Science or in Information Systems. 369-370 BibTeX

Operating Systems

Robert M. Keller: Formal Verification of Parallel Programs. 371-384 BibTeX

Programming Languages

James C. King: Symbolic Execution and Program Testing. 385-394 BibTeX

Computer Systems

Robert Metcalfe, David Boggs: Ethernet: Distributed Packet Switching for Local Computer Networks. 395-404 BibTeX

Management Applications

Cheng-Wen Cheng, Jonas Rabin: Synthesis of Decision Rules. 404-406 BibTeX

Management Science / Operations Research

George S. Fishman: Sampling from the Gamma Distribution on a Computer. 407-409 BibTeX

Artificial Intelligence / Language Processing

Kurt Maly: Compressed Tries. 409-415 BibTeX

Programming Techniques

Warren Burton: A Buddy System Variation for Disk Storage Allocation. 416-417 BibTeX

Short Communications: Management Science / Operations Research

Gaston H. Gonnet: Heaps Applied to Event Driven Mechanisms. 417-418 BibTeX

Volume 19, Number 8, August 1976

Education

John J. Donovan: Tools and Philosophy for Software Education. 430-436 BibTeX

Programming Languages

Robert D. Tennent: The Denotational Semantics of Programming Languages. 437-453 BibTeX

Graphics and Image Processing

James H. Clark: Designing Surfaces in 3-D. 454-460 BibTeX

Operating Systems

Michael A. Harrison, Walter L. Ruzzo, Jeffrey D. Ullman: Protection in Operating Systems. 461-471 BibTeX

Programming Techniques

Daniel S. Hirschberg: An Insertion Technique for One-Sided Height-Balanced Trees. 471-473 BibTeX

Volume 19, Number 9, September 1976

ACM 1976 George E. Forsythe Student Paper Competition Awards

Philip Wadler: Analysis of an Algorithm for Real Time Garbage Collection. 491-500 BibTeX
Chee-Keng Yap: New Upper Bounds for Selection. 501-508 BibTeX
Michael C. Loui: Weighted Derivation Trees. 509-513 BibTeX

Programming Languages

Kenneth G. Walter: Recursion Analysis for Compiler Optimization. 514-516 BibTeX

Programming Techniques

James R. Bitner, Gideon Ehrlich, Edward M. Reingold: Efficient Generation of the Binary Reflected Gray Code and Its Applications. 517-521 BibTeX
L. Peter Deutsch, Daniel G. Bobrow: An Efficient, Incremental, Automatic Garbage Collector. 522-526 BibTeX
Ben Wegbreit: Faster Retrieval from Context Trees. 526-529 BibTeX

Volume 19, Number 10, October 1976

Papers from SIGGRAPH 76: The Third Annual Conference on Computer Graphics, Interactive Techniques, and Image Processing, July 14-16, 1976

Udo W. Pooch: Papers from SIGGRAPH 76 - Introduction. 541 BibTeX
James F. Blinn, Martin E. Newell: Texture and Reflection in Computer Generated Images. 542-547 BibTeX
James H. Clark: Hierarchical Geometric Models for Visible Surface Algorithms. 547-554 BibTeX
Joshua Levin: A Parametric Algorithm for Drawing Pictures of Solid Objects Composed of Quadric Surfaces. 555-563 BibTeX
N. Burtnyk, M. Wein: Interactive Skeleton Techniques for Enhancing Motion Dynamics in Key Frame Animation. 564-569 BibTeX

Short Communications: Scientific Applications

James W. Frane: The BMD and BMDP Series of Statistical Computer Programs. 570-576 BibTeX

Short Communications: Programming Languages

C. Duong-Kien, Hans-Jürgen Hoffmann, D. Muth: An Improvement to Martin's Algorithm for Computation of Linear Precedence Functions. 576-577 BibTeX

Reports and Articles

Richard G. Montanelli Jr., Sandra A. Mamrak: The Status of Women and Minorities in Academic Computer Science. 578-581 BibTeX

Volume 19, Number 11, November 1976

Reports and Articles

Douglas T. Ross: Homilies for Humble Standards. 595-600 BibTeX
Henry F. Ledgard, William C. Cave: Cobol Under Control. 601-608 BibTeX

Programming Languages

Thomas R. Wilcox, Alan M. Davis, Michael H. Tindall: The Design and Implementation of a Table Driven, Interactive Diagnostic Programming System. 609-616 BibTeX

Artificial Intelligence and Language Processing

Frank Rubin: Experiments in Text File Compression. 617-623 BibTeX

Management Applications

Kapali P. Eswaran, Jim Gray, Raymond A. Lorie, Irving L. Traiger:
The Notions of Consistency and Predicate Locks in a Database System. 624-633
Electronic Edition BibTeX
K. Maruyama, S. E. Smith: Optimal Reorganization of Distributed Space Disk Files. 634-642 BibTeX

Programming Techniques

Richard G. Hamlet: High-Level Binding with Low-Level Linkers. 642-644 BibTeX

Volume 19, Number 12, December 1976

reports and Articles

Jean E. Sammet: Roster of Programming Languages for 1974-75. 655-669 BibTeX
Bruce W. Arden: The Computer Science and Engineering Research Study (COSERS). 670-673 BibTeX

Management Applications

Jay F. Nunamaker, Benn R. Konsynski, Thomas Ho, Carl Singer: Computer-Aided Analysis and Design of Information Systems. 674-687 BibTeX

Scientific Applications

George C. Stockman, Laveen N. Kanal, M. C. Kyle: Structural Pattern Recognition Of Carotid Pulse Waves Using A General Waveform Parsing System. 688-695 BibTeX

ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]