Volume 23, Number 8, August 1980
Self-Assessment Procedure VII: A Self-Assessment Precedure Dealing with Software Science.

Maurice H. Halstead Victor B. Schneider

电商所评分:6

The Computer Language Mathsy and Applications to Solid State Physics.

Giles Peterson Aaron B. Budgor

电商所评分:4

Notation as a Tool of Thought.

Kenneth E. Iverson

电商所评分:6

Easing Fault Location in Large Systems.

Michael T. Compton

电商所评分:6

MCOBOL - A Prototype Macro Facility for Cobol.

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

电商所评分:7


Volume 23, Number 7, July 1980
Comment on Generalized AVL Trees.

Fabrizio Luccio Linda Pagli

电商所评分:2

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

Stuart K. Card Thomas P. Moran Allen Newell

电商所评分:3

Gamma Variate Generators with Increased Shape Parameter Range.

Russell C. H. Cheng G. M. Feast

电商所评分:6

On Folk Theorems.

David Harel

电商所评分:2

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

电商所评分:5


Volume 23, Number 3, March 1980
Eulogy.

J. Presper Eckert

电商所评分:9

A Tribute to John William Mauchly.

Isaac L. Auerbach

电商所评分:10

John W. Mauchly.

Daniel D. McCracken

电商所评分:9

Region Representation: Boundary Codes from Quadtrees.

Charles R. Dyer Azriel Rosenfeld Hanan Samet

电商所评分:5

Region Representation: Quadtrees from Boundary Codes.

Hanan Samet

电商所评分:5

A Linear Algorithm for Copying Binary Trees Using Bounded Workspace.

K. P. Lee

电商所评分:10

A Generalized Text Editor.

Christopher W. Fraser

电商所评分:1

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

Robert F. Ling

电商所评分:2


Volume 23, Number 12, December 1980
Measured Performance of an Ethernet Local Network.

John F. Shoch Jon A. Hupp

电商所评分:7

Deletion in Two-Dimensional Quad Trees.

Hanan Samet

电商所评分:1

Learning and Reasoning by Analogy.

Patrick H. Winston

电商所评分:6

Computer Programs for Detecting and Correcting Spelling Errors.

James L. Peterson

电商所评分:7


Volume 23, Number 11, November 1980
Disk Scheduling: FCFS vs. SSTF Revisited.

Micha Hofri

电商所评分:9

Design of a LISP-Based Microprocessor.

Guy L. Steele Jr. Gerald J. Sussman

电商所评分:9

Decentralized Extrema-Finding in Circular Configurations of Processors.

Daniel S. Hirschberg James B. Sinclair

电商所评分:5

Bresnham's Algorithm with Grey Scale.

Michael L. V. Pitteway D. J. Watkinson

电商所评分:6

Best Sorting Algorithm for Nearly Sorted Lists.

Curtis R. Cook Do Jin Kim

电商所评分:7


Volume 23, Number 10, October 1980
Analysis of Locking Policies in Database Management Systems.

Dominique Potier Ph. Leblanc

电商所评分:4

Computational Algorithms for Product Form Queueing Networks.

K. Mani Chandy Charles H. Sauer

电商所评分:10

A Model of Shared DASD and Multipathing.

Yonathan Bard

电商所评分:5

The Natural Language of Interactive Systems.

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

电商所评分:2

Logical Construction of Software.

Donald R. Chand Surya B. Yadav

电商所评分:8


Volume 23, Number 9, September 1980
Partial-Match Retrieval Using Indexed Descriptor Files.

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

电商所评分:6

Computer System Design Using a Hierarchical Approach to Performance Evaluation.

B. Kumar Edward S. Davidson

电商所评分:7

An Overrelaxation for Numerical Inverse of a Constant.

Hitohisa Asai

电商所评分:6

A Virtual Operating System.

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

电商所评分:4


Volume 23, Number 6, June 1980
A More General Algorithm for Computing Closed Semiring Costs Between Vertices of a Directed Graph.

John G. Fletcher

电商所评分:7

An Improved Illumination Model for Shaded Display.

Turner Whitted

电商所评分:7

Computer Assisted Instruction: Current Trends.

Jack A. Chambers Jerry W. Sprecher

电商所评分:2

Comments on Program Specification and Testing.

Roger House

电商所评分:4


Volume 23, Number 5, May 1980
Hierarchical Binary Search.

Arthur Gill

电商所评分:6

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

Rik Maes

电商所评分:9

Conversion of Decision Tables to Efficient Sequential Testing Procedures.

Ishwar K. Sethi Biswanath Chattkerjee

电商所评分:2

The Structure Of Modular Programs.

Joshua Turner

电商所评分:7

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

Robert L. Glass

电商所评分:8


Volume 23, Number 4, April 1980
A Unifying Look at Data Structures.

Jean Vuillemin

电商所评分:3

Multidimensional Divide-and-Conquer.

Jon Louis Bentley

电商所评分:3

Studying Programmer Behavior Experimentally: The Problems of Proper Methodology.

Ruven E. Brooks

电商所评分:7

Software: Recommendataions for an Export Control Policy.

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

电商所评分:1


Volume 23, Number 2, February 1980
Specification and Verification of the UCLA Unix Security Kernel.

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

电商所评分:9

Experience with Processes and Monitors in Mesa.

Butler W. Lampson David D. Redell

电商所评分:8

Medusa: An Experiment in Distributed Operating System Structure.

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

电商所评分:7

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

电商所评分:5

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

电商所评分:3

Curriculum '78 - Is Computer Science Really that Unmathematical?

Anthony Ralston Mary Shaw

电商所评分:10


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

电商所评分:1

Information Transfer and Area-Time Tradeoffs for VLSI Multiplication.

Harold Abelson Peter Andreae

电商所评分:2

Minimal Perfect Hash Functions Made Simple.

Richard J. Cichelli

电商所评分:3

Identifying Potential to Acquire Programming Skill.

Lawrence J. Mazlack

电商所评分:8

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

Paul O&aposNeill Avis O&aposNeil

电商所评分:2