m·斯图亚特·林恩
783 - 784页
本文就Fortran、Cobol、PL/I和Basic的各种已发布和提议标准之间存在的异常情况，回顾了编程语言标准活动的当前状态。建议……
约翰·a·n·李
788 - 794页
虚拟内存模拟模型需要使用两类概率分布:页面故障分布之间的间隔和工作集大小分布。这两个家族的所有成员都来自于……
罗林斯·特纳，比尔·斯特雷克
795 - 798页
某些缺陷，如锯齿状的边缘和消失的细节，长期以来一直是数字生成阴影图像的烦恼。虽然提高分辨率或散焦可以减弱它们，但理解…
富兰克林·c·克劳
799 - 805页
研究了异步进程间的数据共享问题。假设一次只有一个进程可以修改数据，但是允许并发读和写。证明了两个一般定理，和…
莱斯利Lamport
806 - 811页
本文报告的模拟数据表明，在动态内存分配中，平均可分配块的比例可能与50%规则的预测有很大的不同，而且是双向的。一个新的推导…
约翰·e·海岸
812 - 820页
g·c·斯托克曼，a·k·阿格拉瓦拉
820 - 822页
编程语言的数量正在稳步增长，而且看不到尽头。许多语言定义出现在期刊上，许多出现在技术报告中，也许还有更多的语言定义仍然存在……
Niklaus Wirth
822 - 823页
在此之前，本文作者[1]曾证明，在生成排列序列的经典算法中，只有Trotter-Johnson算法[2,3]具有任意排列的反射…
Mohit Kumar罗伊
823页
针对递归程序的经典不动点方法建议选择“定义最少的不动点”作为递归程序最合适的解决方案。提出了一种引入“最优不动点…”
Zohar Manna, Adi Shamir
824 - 831页
今天的应用程序开发是劳动密集型的。近年来，越来越多的人开始探索非常高级的语言来解决这个问题。业务定义语言(BDL)就是这样一种语言，它的目标是……
迈克尔·汉默，W.格里·豪，文森特·J.克鲁斯卡尔，欧文·瓦拉多维斯基
832 - 840页
考虑了哈希的改进，它允许使用单个探测检索静态表中的项。给定一组标识符I，给出了两种方法，以机械的方式构建完美的哈希函数…
伦佐·Sprugnoli
841 - 850页
提出了一种利用索引临时表对强连通区域进行算子强度约简的简单算法。讨论了几个扩展，包括线性函数测试替换。这些……
约翰·科克，肯·肯尼迪
850 - 856页
介绍了一种新的程序转换技术“递归引入”，并将其应用于解决模式匹配问题的两种算法。通过使用递归引入，操作堆栈的算法…
r . s .鸟
856 - 863页
E的35种动态内存分配算法时，用于服务模拟程序代表18个测试用例。算法性能是根据处理时间、内存使用和外部内存碎片来衡量的……
诺曼·r·尼尔森
864 - 873页
考虑序列之间具有顺序关系的字符串序列。描述了一种编码方案，它从字符串序列中生成一个单一的、保持顺序的字符串。原始序列…
Michael W. Blasgen, Richard G. Casey, Kapali P. Eswaran
874 - 878页
文件分配问题——即找到一组最优的网络站点来定位文件的副本的问题——通常是已知的多项式完备的。启发式和其他帮助找到最优的，或者…
Enrique Grapa, Geneva G. Belford
878 - 882页
罗伯特·l·Ashenhurst
888 - 890页
