Volume 23,
Number 1,
January 1980
Reports and Articles
Systems and Programming
Computing Methodologies / Graphics and Image Processing
Volume 23,
Number 2,
February 1980
Reports and Articles
Selected Papers from the Seventh Symposium on Operating Systems Principles,
Pacific Grove,
California,
December 10-12,
1979
- M. D. Canon, D. H. Fritz, John H. Howard, T. D. Howell, Michael F. Mitoma, Juan Rodriguez-Rossel:
A Virtual Machine Emulator for Performance Evaluation.
71-80 BibTeX
- David D. Redell, Yogen K. Dalal, Thomas R. Horsley, Hugh C. Lauer, William C. Lynch, Paul R. McJones, Hal G. Murray, Stephen C. Purcell:
Pilot: An Operating System for a Personal Computer.
81-92 BibTeX
- John K. Ousterhout, Donald A. Scelza, Pradeep S. Sindhu:
Medusa: An Experiment in Distributed Operating System Structure.
92-105 BibTeX
- Butler W. Lampson, David D. Redell:
Experience with Processes and Monitors in Mesa.
105-117 BibTeX
- Bruce J. Walker, Richard A. Kemmerer, Gerald J. Popek:
Specification and Verification of the UCLA Unix Security Kernel.
118-131 BibTeX
Volume 23,
Number 3,
March 1980
Special Section Honoring John W. Mauchly
Reports and Articles
- Robert F. Ling:
General Considerations on the Design of an Interactive System for Data Analysis.
147-154 BibTeX
,
Corrigendum:
CACM 23(9):
528 (1980)
Artificial Intelligence / Language Processing
Programming Techniques
- K. P. Lee:
A Linear Algorithm for Copying Binary Trees Using Bounded Workspace.
159-162 BibTeX
Graphics and Image Processing
Volume 23,
Number 4,
April 1980
Reports and Articles
Human Aspects of Computing
- Ruven E. Brooks:
Studying Programmer Behavior Experimentally: The Problems of Proper Methodology.
207-213 BibTeX
Programming Techniques
Volume 23,
Number 5,
May 1980
Computing Practices
Management Applications
- Ishwar K. Sethi, B. Chatterjee:
Conversion of Decision Tables to Efficient Sequential Testing Procedures.
279-285 BibTeX
- Rik Maes:
An Algorithmic Approach to the Conversion of Decision Grid Charts into Compressed Decision Tables.
286-293 BibTeX
Programming Techniques
Volume 23,
Number 6,
June 1980
Computing Practices
Reports and Articles
Graphics and Image Processing
Technical Note:
Programming Techniques
- John G. Fletcher:
A More General Algorithm for Computing Closed Semiring Costs Between Vertices of a Directed Graph.
350-351 BibTeX
Volume 23,
Number 7,
July 1980
Computing Practices
- Y. Banno, Hideaki Hirose, Y. Karita, H. Mawatari, H. Murakami, H. Takahashi, S. Yashiro, H. Yoshiki, N. Hagiwara, Yoshio Sakurai:
KEKOPEN, An Open Batch Processing System at KEK.
368-378 BibTeX
Reports and Articles
Management Science / Operations Research
Technical Note:
Artificial Intelligence / Language Processing
Graphics and Image Processing
Volume 23,
Number 8,
August 1980
Computing Practices
1979 Turing Award Lecture
Scientific Applications
Self-Assessment Procedure
Volume 23,
Number 9,
September 1980
Computing Practices
Computer Architecture and Systems
Programming and Data Structures
Volume 23,
Number 10,
October 1980
Computing Practices
Human Aspects of Computing
Selected Papers from the Performance '80 Syposium,
Toronto,
May 28-30,
1980
Volume 23,
Number 11,
Novemberr 1980
Computing Practices
Technical Note:
Graphics and Image Processing
Technical Note:
Operating Systems
Computer Architecture and Systems
Systems Modeling and Performance Evaluation
Volume 23,
Number 12,
December 1980
Computing Practices
Artificial Intelligence and Language Processing
Programming Techniques and Data Structures
Computer Architecture and Systems
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
CACM, ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:51:49 2009
