Communications of the ACM（CACM ）的VOLUME 23 - 1980论文列表

CACM - volume 23 - 1980 论文列表

点击这里查看 Communications of the ACM 的JCR分区、影响因子等信息

Volume 23, Number 8, August 1980

Self-Assessment Procedure VII: A Self-Assessment Precedure Dealing with Software Science.

Maurice H. Halstead Victor B. Schneider

The Computer Language Mathsy and Applications to Solid State Physics.

Giles Peterson Aaron B. Budgor

Notation as a Tool of Thought.

Kenneth E. Iverson

Easing Fault Location in Large Systems.

Michael T. Compton

MCOBOL - A Prototype Macro Facility for Cobol.

J. M. Triance J. F. S. Yow

Volume 23, Number 7, July 1980

Comment on Generalized AVL Trees.

Fabrizio Luccio Linda Pagli

The Keystroke-Level Model for User Performance Time with Interactice Systems.

Stuart K. Card Thomas P. Moran Allen Newell

Gamma Variate Generators with Increased Shape Parameter Range.

Russell C. H. Cheng G. M. Feast

On Folk Theorems.

David Harel

KEKOPEN, An Open Batch Processing System at KEK.

Y. Banno Hideaki Hirose Y. Karita H. Mawatari H. Murakami H. Takahashi S. Yashiro H. Yoshiki N. Hagiwara Yoshio Sakurai

Volume 23, Number 3, March 1980

Eulogy.

J. Presper Eckert

A Tribute to John William Mauchly.

Isaac L. Auerbach

John W. Mauchly.

Daniel D. McCracken

Region Representation: Boundary Codes from Quadtrees.

Charles R. Dyer Azriel Rosenfeld Hanan Samet

Region Representation: Quadtrees from Boundary Codes.

Hanan Samet

A Linear Algorithm for Copying Binary Trees Using Bounded Workspace.

K. P. Lee

A Generalized Text Editor.

Christopher W. Fraser

General Considerations on the Design of an Interactive System for Data Analysis.

Robert F. Ling

Volume 23, Number 12, December 1980

Measured Performance of an Ethernet Local Network.

John F. Shoch Jon A. Hupp

Deletion in Two-Dimensional Quad Trees.

Hanan Samet

Learning and Reasoning by Analogy.

Patrick H. Winston

Computer Programs for Detecting and Correcting Spelling Errors.

James L. Peterson

Volume 23, Number 11, November 1980

Disk Scheduling: FCFS vs. SSTF Revisited.

Micha Hofri

Design of a LISP-Based Microprocessor.

Guy L. Steele Jr. Gerald J. Sussman

Decentralized Extrema-Finding in Circular Configurations of Processors.

Daniel S. Hirschberg James B. Sinclair

Bresnham's Algorithm with Grey Scale.

Michael L. V. Pitteway D. J. Watkinson

Best Sorting Algorithm for Nearly Sorted Lists.

Curtis R. Cook Do Jin Kim

Volume 23, Number 10, October 1980

Analysis of Locking Policies in Database Management Systems.

Dominique Potier Ph. Leblanc

Computational Algorithms for Product Form Queueing Networks.

K. Mani Chandy Charles H. Sauer

A Model of Shared DASD and Multipathing.

Yonathan Bard

The Natural Language of Interactive Systems.

Henry F. Ledgard John A. Whiteside Andrew Singer William Seymour

Logical Construction of Software.

Donald R. Chand Surya B. Yadav

Volume 23, Number 9, September 1980

Partial-Match Retrieval Using Indexed Descriptor Files.

John L. Pfaltz William J. Berman Edgar M. Cagley

Computer System Design Using a Hierarchical Approach to Performance Evaluation.

B. Kumar Edward S. Davidson

An Overrelaxation for Numerical Inverse of a Constant.

Hitohisa Asai

A Virtual Operating System.

Dennis E. Hall Deborah K. Scherrer Joseph S. Sventek

Volume 23, Number 6, June 1980

A More General Algorithm for Computing Closed Semiring Costs Between Vertices of a Directed Graph.

John G. Fletcher

An Improved Illumination Model for Shaded Display.

Turner Whitted

Computer Assisted Instruction: Current Trends.

Jack A. Chambers Jerry W. Sprecher

Comments on Program Specification and Testing.

Roger House

Volume 23, Number 5, May 1980

Hierarchical Binary Search.

Arthur Gill

An Algorithmic Approach to the Conversion of Decision Grid Charts into Compressed Decision Tables.

Rik Maes

Conversion of Decision Tables to Efficient Sequential Testing Procedures.

Ishwar K. Sethi Biswanath Chattkerjee

The Structure Of Modular Programs.

Joshua Turner

Real-Time: The "Lost World" Of Software Debugging and Testing.

Robert L. Glass

Volume 23, Number 4, April 1980

A Unifying Look at Data Structures.

Jean Vuillemin

Multidimensional Divide-and-Conquer.

Jon Louis Bentley

Studying Programmer Behavior Experimentally: The Problems of Proper Methodology.

Ruven E. Brooks

Software: Recommendataions for an Export Control Policy.

Charles L. Gold Seymour E. Goodman Benjamin G. Walker

Volume 23, Number 2, February 1980

Specification and Verification of the UCLA Unix Security Kernel.

Bruce J. Walker Richard A. Kemmerer Gerald J. Popek

Experience with Processes and Monitors in Mesa.

Butler W. Lampson David D. Redell

Medusa: An Experiment in Distributed Operating System Structure.

John K. Ousterhout Donald A. Scelza Pradeep S. Sindhu

Pilot: An Operating System for a Personal Computer.

David D. Redell Yogen K. Dalal Thomas R. Horsley Hugh C. Lauer William C. Lynch Paul R. McJones Hal G. Murray Stephen C. Purcell

A Virtual Machine Emulator for Performance Evaluation.

M. D. Canon D. H. Fritz John H. Howard T. D. Howell Michael F. Mitoma Juan Rodriguez-Rossel

Curriculum '78 - Is Computer Science Really that Unmathematical?

Anthony Ralston Mary Shaw

Volume 23, Number 1, January 1980

Scan Line Methods for Displaying Parametrically Defined Surfaces.

Jeffrey M. Lane Loren C. Carpenter Turner Whitted James F. Blinn

Information Transfer and Area-Time Tradeoffs for VLSI Multiplication.

Harold Abelson Peter Andreae

Minimal Perfect Hash Functions Made Simple.

Richard J. Cichelli

Identifying Potential to Acquire Programming Skill.

Lawrence J. Mazlack

Performance Statistics of a Time Sharing Network at a Small University.

Paul O&aposNeill Avis O&aposNeil