acm-header.
登入

ACM的通讯

目录


来自ACM SIG / SIG摘要主席的信:增长,变革和服务


自我评估程序III


计算的复杂性

描述了计算复杂性理论的研究框架,强调了看似多样化的问题和方法之间的相互关系。实际和理论意义的说明性示例......

逻辑和编程语言

逻辑一直很感兴趣,因为某些问题的答案原则上是可计算的,因为结果对正式化的可能性进行了界限。最近,精确比较了......

计算机科学中的GRE高级测试

本报告描述了计算机科学的高级测试,最近在研究生记录考试计划中引入。GRE计划一般描述,并导致建立...的事件

一种结构化编程语言的内联替代分析

分析了称为内联替代的优化技术。优化包括通过过程主体的修改副本替换过程调用。使用内联替代到最小化的一般问题......

处理过程的硬件估计“主要内存要求”

较小的硬件扩展霍尼韦尔6180处理器被证明以允许多个过程中的过程的主存储器要求近似。要计算的估计所需的附加硬件包括......

在素数产生的一些新的上限

给定一个整数n,找到小于n的所有素数的计算复杂性是多少?使用双层链接列表的狂想修饰筛产生了o的算法 一种(n)算术复杂性。这个上限是......

具有可变长度记录的B * -Trees的分页

提出了B的分解策略 *- 具有可变长度的记录。如果每个长度的记录均匀分布在文件中,并且文件中存在广泛的记录长度分布,则此...

ACM论坛


ACM新闻


Baidu
map