戴夫兰丁
第619-620页
特殊小组委员会自我评估
第621-624页
描述了计算复杂性理论的研究框架,强调了看似多样化的问题和方法之间的相互关系。实际和理论意义的说明性示例......
迈克尔奥·拉比
第625-633页
逻辑一直很感兴趣,因为某些问题的答案原则上是可计算的,因为结果对正式化的可能性进行了界限。最近,精确比较了......
达娜S. Scott.
第634-641页
本报告描述了计算机科学的高级测试,最近在研究生记录考试计划中引入。GRE计划一般描述,并导致建立...的事件
Richard H. Austing.
第642-645页
分析了称为内联替代的优化技术。优化包括通过过程主体的修改副本替换过程调用。使用内联替代到最小化的一般问题......
罗伯特W. Scheifler.
第647-654页
较小的硬件扩展霍尼韦尔6180处理器被证明以允许多个过程中的过程的主存储器要求近似。要计算的估计所需的附加硬件包括......
David K. Gifford.
第655-663页
给定一个整数n,找到小于n的所有素数的计算复杂性是多少?使用双层链接列表的狂想修饰筛产生了o的算法
一种(n)算术复杂性。这个上限是......
哈利G.米利昂
第664-669页
提出了B的分解策略
*- 具有可变长度的记录。如果每个长度的记录均匀分布在文件中,并且文件中存在广泛的记录长度分布,则此...
爱德华M. Mccreight.
第670-674页
第678-680页
CACM员工
第681-682页