acm-header.
登入

ACM的通信

目录


ACM总统的信:“你宁愿住在一个关心的世界里”


在大型计算机中使用加密进行身份验证

讨论了使用加密来实现计算机网络中的经过身份验证的通信。示例协议用于建立经过身份验证的连接,用于管理身份验证的邮件,以及...

用于查找素数的线性筛算法

提出了一种新算法,用于查找2和2之间的所有素数 N.。该算法及时执行成比例 N.(假设整数的乘法不大于 N.可以在单位时间进行)。该方法具有算法......

选择最佳选项卡设置

新一代的计算机终端允许由计算机选择和设置选项卡设置。此功能可用于减少代表传输和打印的文档所需的字符数...

高等教育计算努力的战略规划方法:实证评价

这里展示了一个研究的研究结果,这里旨在解决与高等教育中的计算努力的战略规划相关的压迫问题。通过策划方法通过......

检测决策表中的逻辑错误

在本文中,开发了一种算法,用于检测有限输入决策表中的逻辑错误和具有嵌入式决策表的无环路的程序。假设决策表中的所有条件都是不平等的......

通过启发式指导搜索优化决策树

使用两种方法,动态编程和分支和绑定在文献中解决了最佳决策表转换。前者技术非常有效,但其时间和空间要求是独立的......

反向路径转发广播数据包

广播数据包用于向网络的所有节点传送。通过存储和前进分组交换计算机网络完成此递送的算法包括(1)单独寻址数据包的传输,实用......

抽象数据类型和软件验证

可以使用代数公理自然地指定数据抽象。这些公理的德形是它们允许与数据类型的表示无关的正式规范。给出了一个例子,展示了如何雇用...

层次设计和证明的一个例子

分层编程正在越来越被认为是有助于建设大型程序。等级技术的用户声称或预测生产率的大量增加以及......的可靠性
Baidu
map