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

卷期号： Issue 248

发布时间：

卷期年份： 1978

卷期官网：

An Algorithm Using Symbolic Techniques for the Bel-Petrov Classification of Gravitational Fields.

Hybrid Simulation Models of Computer Systems.

Simulations of Dynamic Sequential Search Algorithms.

A Practical Interprocedural Data Flow Analysis Algorithm.

Generalized Working Sets for Segment Reference Strings.

A Model for Verification of Data Security in Operating Systems.

Event Manipulation for Discrete Simulations Requiring Large Numbers of Events.

Real Time Plotting of Approximate Contour Maps.

Right Brother Trees.

A Note on Virtual Memory Indexes.

A Controlled Experiment in Program Testing and Code Walkthroughs/Inspections.