丹尼尔·d·麦克拉肯
525页
通过用英语输入请求，普通用户将能够使用一个名为PLANES的系统从飞机飞行和维护数据的大型关系数据库中获得明确的答案。这个上下文的设计和实现…
大卫·l·华尔兹
526 - 539页
计算n个(可能重叠的)区间并测度的决策树复杂度显示为&OHgr;(n log n)，即使允许对区间端点的线性函数进行比较。存在……
迈克尔·l·弗雷德曼，布鲁斯·韦德
540 - 544页
本文讨论了这种形式的矩阵链积的计算
米
1×
米
22 ×···×
米
n
在哪里
米
我
的矩阵。矩阵计算的顺序会影响运算的次数。关于……的一个充分条件。
弗朗西斯·y下巴
544 - 549页
插值搜索是一种利用键的值和键的统计分布在有序文件中按键检索所需记录的方法。结果表明，在平均对数上
N文件访问
N.．.
Yehoshua Perl, Alon Itai, Haim Avni
550 - 553页
本文提出了一种新的碰撞解决方法——伪链法。假链接介于开放寻址和链接之间。它的名字来源于这样一个事实:链接字段存在于哈希表的每个单元格中……
Constantine Halatsis, George Philokyprou
554 - 557页
在分布式系统中，一个事件先于另一个事件发生的概念被检验，并被证明定义了事件的部分顺序。给出了一种用于同步逻辑时钟系统的分布式算法。
莱斯利Lamport
558 - 565页
浅绑定是一种允许在有限的计算量内访问变量值的方案。在Lisp 1.5中提出了一个优雅的浅绑定模型，其中上下文切换是一个环境树…
亨利·g·贝克
565 - 569页
描述了一种用于证明用高级语言编写的程序被正确地翻译成低级语言的系统。该系统的一个主要用途是作为代码生成中的后优化步骤。低级语言…
雅赛门特
570 - 582页
对具有函数符号和等式的基础公式，提出了一种快速、完整的等式推理方法。并给出了正确性的证明。
罗伯特·e·肖斯塔克
583 - 585页
本文给出了与由不可靠处理器构成的计算机系统的可用性有关的分析结果。这些结果是通过使用各种计算机辅助代数操作技术得到的。
Rahul Chattergy, Udo W. Pooch
586 - 591页
阿恩”
592页
Niklaus Wirth
592页
杜安砂
592 - 593页
珀西Tzelnic
593页
m·a·Auslander
593页
杰拉德·赫尔德，迈克尔·斯通布雷克
594页
罗林斯特纳
594页
劳伦斯·斯奈德
594页
罗伯特·l·Ashenhurst
601页
