acm-header
登录

ACM通信

表的内容


ACM总裁函:刚刚开始创业


请求分页性能的简单线性模型

预测所提议的自动管理的多级内存系统的性能需要一个模式模型,程序通过这些模式引用存储在内存中的信息。最近对……的一些实验测量

从程序转换图计算页面故障概率

给出了一种计算不同内存大小和替换规则的请求分页虚拟内存系统页面故障概率的算法。假定程序行为的一阶马尔可夫模型,…

按需页面系统中程序的执行特征

H显示了大型分时计算机系统中两种常用程序的执行特征。监控器内置的软件监控设施用于正常系统期间的数据收集……

关于Lion的反例,关于golieb的构建学校时间表的方法

时间表问题本质上是一个离散问题。虽然离散问题可能没有可行解,但等价连续问题可能存在一个解。给出了一个实例,其中非离散…

使用有界工作区复制列表结构

提出了两种新的基于有限工作空间的列表结构复制算法。第一个主要是理论上的兴趣,表明没有单元格标记位,任务可以及时执行 n 2.第二种算法,假设…

在tape-sorting并行性

提出了在磁带排序中采用并行性的两种方法。方法A是使用并行性的自然方法。方法B是新的。两者都达到了通过一个除数来减少处理时间的目标,这个除数是…

商科研究生院对计算机使用的研究


研究生教育:博士过剩:回应和反驳


理想的教学机器——教学语言问题的解决方案


M.L. Patrick论文的附录


关于结构化变量查找的一些注释


在Algol 60中使用受限编译器实现互递归的另一种方法


一种改进的程序综合算法及其正确性

在Waldinger和Lee于1969年提出的算法的基础上,给出了一种改进的程序综合算法。在旧算法中,将程序综合问题转化为定理证明问题,并编制了程序。

张力下使用样条的标量和平面值曲线拟合

张力下的样条是由Schweikert引入的,试图模拟三次样条,但避免它们诱导的假临界点。给出了定义方程,并给出了一种有效的方法。

张力下曲线拟合的六个子程序


集划分到R个子集的生成器


Baidu
map