丹尼尔·d·麦克拉肯
713 - 714页
在这篇笔记中，提出了一种算法来符号计算Weyl张量的某些代数不变量，它允许确定引力场的贝尔-彼得罗夫类型。这个算法，虽然…
R. A.哈里斯，J. D.佐德
715 - 717页
本文描述了一种混合仿真模型的结构和操作，该模型将离散事件仿真和解析技术相结合，以产生高效而准确的系统模型。在一个基于…
h·d·Schwetman
718 - 723页
提出并分析了一种新的过程间数据流分析算法。该算法与程序中的每个过程相关信息，包括哪些变量可能被修改，哪些变量可能被使用，哪些变量可能被修改……
杰弗里·m·巴斯
724 - 736页
应用于内核架构的程序验证形成了一种提供绝对安全的共享计算机系统的有前途的方法。这里根据一个通用模型对数据安全进行了精确的定义。
Gerald J. Popek, David A. Farber
737 - 749页
工作集的概念被扩展到引用不同大小段的程序中。广义工作集策略(GWS)将保留成本不超过检索成本的片段保留为驻留集。
彼得·j·丹宁，唐纳德·r·斯鲁茨
750 - 759页
本文描述了一个程序测试实验，雇佣了59名经验丰富的数据处理专业人员，使用7种方法测试一个小型PL/I程序。结果表明，流行的代码演练/检查…
Glenford j·迈尔斯
760 - 768页
为具有O (log n)性能的右(或单侧)兄弟树类提供插入和删除算法。这些结果的重要性源于对兄弟树的密切关系
2.．.
Th。奥斯曼，h。w。六，d。伍德
769 - 776页
这里介绍的事件操作系统包括两个主要部分。第一部分讨论当计划的事件数量增加时常见的事件调度效率问题。第二部分是关于……
恩斯特·g·乌尔里希
777 - 785页
在[4]中，Maruyama和Smith分析了虚拟内存索引的设计方案。所研究的指标是以VSAM[5]的结构为模型，与b -树[1]密切相关。丸山和史密斯介绍…
库尔特·马利
786 - 787页
斯蒂芬·a·沃德
788 - 790页
在[3]中，R.L. Rivest提供了一组方法，用于动态地对包含
N记录，以提高搜索效率。该方法
一个
我
(
我介于1和
N)执行以下操作每个…
亚伦特南鲍姆
790 - 791页
罗伯特·l·Ashenhurst
796 - 797页
