acm-header
登录

ACM通信

表的内容


ACM主席信:一起来


计算机中心管理技术:计算机科学或信息系统专业研究生的一门建议课程

McFarlan和Nolan提出了一个强有力的理由,在ACM课程委员会关于研究生专业项目计算机教育管理的13门课程中增加一门信息系统管理课程。

并行程序的正式验证

提出了两种并行计算的形式化模型:抽象概念模型和并行程序模型。前一种模型没有区分控件和数据状态。后一种模式包括能力…

符号执行和程序测试

本文描述了程序的符号执行。它不是向程序提供正常的输入(例如数字),而是提供表示任意值的符号。执行过程与正常执行一样,除了…

以太网:用于本地计算机网络的分布式分组交换

以太网是一种分支广播通信系统,用于在本地分布式计算站之间传输数字数据包。以太网提供的数据包传输机制已被用来构建可以…

决策规则的综合

决策表可以在面试中作为一种有效的工具来记录要自动化的流程的逻辑。这样的面试的结果不是一个完整的决策表的结构,而是一系列的决策……

从计算机上的伽马分布中取样

这篇论文描述了一种产生伽马变量的方法,它似乎比华莱士最近提出的方法成本更低。对于大形状参数 agr;;计算成本与√成正比 agr;,而华莱士……

压缩的尝试

本文提出了一种新的数据结构,称为压缩trie或C-trie,用于信息检索系统。它具有与trie相同的m-ary树结构,其中m是trie的参数,但是…

用于磁盘存储分配的伙伴系统变体

介绍了用于存储分配的伙伴系统的推广。允许的块大小集{ 大小 n = 0必须满足条件 大小 大小 -1+ 大小 - k在哪里 k可能是任何有意义的积分值函数…

堆应用于事件驱动机制

我怀着极大的兴趣阅读了F.P. Wyman的论文“改进的事件扫描机制用于离散事件模拟”[10],我发现它对事件列表扫描的一些技术进行了仔细的研究。

ACM论坛:计算机科学的讣告


Baidu
map