SASD统计包

来源 :中国数学会第三届全国概率统计计算学术会 | 被引量 : 0次 | 上传用户:hernquist
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
其他文献
在国家863高科技计划重点项目“可扩展并行机群系统”中,他们设计并实现的IPCE的是开、集成多种开发工具在内的一个综合性的并行程序开发环境,它为应用程序员和最终用户提供了编辑、各
会议
面向对象程序设计技术可以降低并行程序设计的复杂性,提高并行程序的可读性、可维护性、可移植性。因此提供面向对象的并行程序设计环境,可以减少并行程序开发难度,有效地利用并
PVM是目前使用范围非常广泛的一种并行程序设计环境,它支持将多种不同体系结构的计算机连起来给用户提供一个功能强大的分布存储多计算机系统。该文介绍了他们对PVM做的改进工作-增加
会议
该文提出了一个验证有限步终止的算术程序正确性的代数方法。其主要思想是将待验证的程序用实数域上的BSS计算模型来模拟,然后将其转化为一个多项式代数方程组,从而把程序的正确性