acm-header
登录

ACM通信

表的内容


作者


总统的信


的观点


ACM论坛


基于知识的编程环境中的世界推理和真理维护

在传统的基于知识的系统开发环境中,基本的表示构建块是诸如框架、规则和附加过程等机制。KEE系统已经扩展到包括…

不可调试性和认知科学

从资源现实主义的角度来看,一个接近所有人类心理的计算机程序具有一些不可或缺的特性。大脑的程序将与我们熟悉的软件类型有更大的本质区别。这些特性……

使用面向对象的方法进行关系数据库设计

在关系数据库设计的许多方法中,对象建模技术(OMT)是特别有效的。一个全面的解释和两个应用显示了OMT比其他方法在语义上的改进。...

在软件生命周期中整合人为因素的成本/收益分析

新的软件工程技术和在日益交互式的软件环境中改进用户界面的必要性导致了传统软件开发方法的改变。改进方法……

计算泊松概率

我们提出了一种算法来计算单个(不可忽略的)泊松概率集,严格限制截断误差,并保证不溢出或下溢。工作和空间要求都是适度的,都是成比例的…

动态哈希表

线性哈希和螺旋存储是最初为外部文件设计的两种动态哈希方案。本文介绍了如何将这两种方法应用于存储在主存中的哈希表。必要的数据结构和…
Baidu
map