Communications of the ACM （CACM） - Issue 220 论文列表
| 点击这里查看 Communications of the ACM 的JCR分区、影响因子等信息 |
| 卷期号： Issue 220 |
| 发布时间： |
| 卷期年份： 1976 |
| 卷期官网： |
本期论文列表
Security Kernel Validation in Practice.
Reflections on an Operating System Design.
VMIN-An Optimal Variable-Space Page Replacement Algorithm.
Modularization and Hierarchy in a Family of Operating Systems.
Verifying Properties of Parallel Programs: An Axiomatic Approach.
Characteristics of Program Localities.
A Lattice Model of Secure Information Flow.
Analysis of the PFF Replacement Algorithm via a Semi-Markov Model.
Proving Monitors.