acm-header
登录

ACM通信

表的内容


致编辑的信:《门多萨》中的一个遗漏


给编辑的信:用计算机编制学校课程表


致编辑的信:关于作为出版语言的ALGOL 60


美国信息交换标准代码

在之前的两篇论文[1,2]中有一个想法的萌芽,但似乎在近五年内没有人注意到。对于某些函数,将实参转换为1.0左右对称的短范围似乎是可取的。我…

SABRAC,分时低成本计算机

由以色列国防部科学部设计和制造的串行SABRAC计算机有一个5000位置的磁鼓,主存储器。为了避免使用最佳的编程技术和增加……

在源语言级别调试系统


一种用于字母数字信息的列表型存储技术

提出了一种在固定字长计算机中存储和操作任意长度字符串的节省空间和时间的方法。该方法在Algol…

映射表结构


致编辑信:B5000 COBOL-61编译器设备配置


只使用加减法的多精度二进制到十进制整数转换


字符操作在7090 FORTRAN

IBM 7090 FORTRAN II语言要求希望操纵字符或字符串的程序员要么将每个字符分配给单独的7090字,要么编写专门的子例程来处理打包的字……

195年算法:BANDSOLVE


194年算法:ZERSOL


算法196:缪勒法求一个图书馆函数的根


算法197:矩阵除法


算法198:自适应集成和多重集成


算法199:日历日期和儒略日数字之间的转换


算法43:crout II的认证


修正了先前关于算法42逆的注释。107高斯方法,alg 120反演II,和gjr


算法38认证:望远镜2


对算法77的注释:插值、微分和积分


算法52的附加说明:一组测试矩阵


算法47:实实实实参数的第一类关联Legendre函数的证明


算法63、64和65、分区、快速排序和查找的认证


算法85:Jacobi的认证


算法140:矩阵反演的证明


认证算法154:按字典顺序组合


算法153:GOMORY的认证


算法155的认证:任意顺序的组合


算法160的认证:组合的事情了 N一次


算法164:正交多项式最小二乘曲面拟合的证明


算法156:集合代数的证明


算法162:xymove绘图认证


算法161的认证:组合事情一次一件,一次两件,一直到 n一次


对算法170的注释:包含多项式元素的矩阵的约简


形式语言处理器的语法控制生成器


符号编程语言语法的几点注释

本文关注符号编程语言(SPL)某些句法特征的初步研究结果,这是面向问题的自动化编程语言领域更广泛研究的一部分。

关于悬挂的其他ALGOL 60的注释

提出了对ALGOL 60的一些修订,这些修订不仅消除了某些模糊语句,而且为该语言增加了一些便利。对问题背景的讨论和证明歧义的草图…

方言的FORTRAN


符号操作和数组处理的连续运算符号

简要介绍了一种符号设备,它在语法、字符串关系和字符串转换过程的正式表示以及处理数组的计算过程中非常有用。

PERT和CPA计算机程序的框架结构


交通网络的模拟


编辑新闻的计算机程序

计算机新闻编辑程序的设计目的如下:(1)它能自动输入编辑希望使用的美联社电传排版机磁带中的新闻;(2)它会做增删……

常微分方程数值积分的指数法

给出了一个包含指数项的数值积分公式。将该公式与两种标准的积分方法进行了比较,结果表明,对于一类较大的微分方程,指数…
Baidu
map