0001-0782

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

点击这里查看 Communications of the ACM 的JCR分区、影响因子等信息
卷期号: Issue 234
发布时间:
卷期年份: 1977
卷期官网:
本期论文列表
Certification of Programs for Secure Information Flow.

A Terminal-Oriented Communication System.

A Unifying Approach to Scheduling.

Shifting Garbage Collection Overhead to Compile Time.

Lucid, a Nonprocedural Language with Iteration.

An Algol-Based Implementation of SNOBOL4 Patterns.

SITAR: An Interactive Text Processing System for Small Computers.

A Correctness Proof of a Topology Information Maintenance Protocol for a Distributed Computer Network.

An Alternative to Event Queues for Synchronization in Monitors.

Dynamic Response Time Prediction for Computer Networks.