Communications of the ACM（CACM ）的ISSUE 251论文列表

卷期号： Issue 251

发布时间：

卷期年份： 1978

卷期官网：

Abstract Data Types and Software Validation.

The Selection of Optimal Tab Settings.

A Strategic Planning Methodology for the Computing Effort in Higher Education: An Empirical Evaluation.

An Example of Hierarchical Design and Proof.

Optimizing Decision Trees Through Heuristically Guided Search.

Detection of Logical Errors in Decition Table Programs.

A Linear Sieve Algorithm for Finding Prime Numbers.

Using Encryption for Authentication in Large Networks of Computers.

Reverse Path Forwarding of Broadcast Packets.