0001-0782

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.