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
- 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
- John K. Ousterhout, Donald A. Scelza, Pradeep S. Sindhu:
Medusa: An Experiment in Distributed Operating System Structure.
92-105
- Butler W. Lampson, David D. Redell:
Experience with Processes and Monitors in Mesa.
105-117
- Bruce J. Walker, Richard A. Kemmerer, Gerald J. Popek:
Specification and Verification of the UCLA Unix Security Kernel.
118-131
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 ,
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
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
Programming Techniques
Volume 23,
Number 5,
May 1980
Computing Practices
- Robert L. Glass:
Real-Time: The "Lost World" Of Software Debugging and Testing.
264-271
- Joshua Turner:
The Structure Of Modular Programs.
272-277
Management Applications
- Ishwar K. Sethi, B. Chatterjee:
Conversion of Decision Tables to Efficient Sequential Testing Procedures.
279-285
- Rik Maes:
An Algorithmic Approach to the Conversion of Decision Grid Charts into Compressed Decision Tables.
286-293
Programming Techniques
Volume 23,
Number 6,
June 1980
Computing Practices
- Roger House:
Comments on Program Specification and Testing.
324-331
Reports and Articles
Graphics and Image Processing
- Turner Whitted:
An Improved Illumination Model for Shaded Display.
343-349
Technical Note:
Programming Techniques
- John G. Fletcher:
A More General Algorithm for Computing Closed Semiring Costs Between Vertices of a Directed Graph.
350-351
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
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
- Hitohisa Asai:
An Overrelaxation for Numerical Inverse of a Constant.
503-510
- B. Kumar, Edward S. Davidson:
Computer System Design Using a Hierarchical Approach to Performance Evaluation.
511-521
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
- Micha Hofri:
Disk Scheduling: FCFS vs. SSTF Revisited.
645-653
Volume 23,
Number 12,
December 1980
Computing Practices
- James L. Peterson:
Computer Programs for Detecting and Correcting Spelling Errors.
676-687
Artificial Intelligence and Language Processing
Programming Techniques and Data Structures
- Hanan Samet:
Deletion in Two-Dimensional Quad Trees.
703-710
Computer Architecture and Systems
Copyright © Mon Nov 2 21:26:31 2009
by Michael Ley (ley@uni-trier.de)
