0001-0782

Communications of the ACM (CACM) - Issue 248 论文列表

点击这里查看 Communications of the ACM 的JCR分区、影响因子等信息
卷期号: 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.