【摘 要】
：
<正> 随着处理器性能的不断提高和网络技术的迅速发展,越来越多的计算机应用系统涉及并行与分布式计算。开发这类系统远比传统的串行系统困难,这除了并行与分布式计算本身固
【基金项目】
：
南京大学计算机软件新技术国家重点实验室基金
论文部分内容阅读
<正> 随着处理器性能的不断提高和网络技术的迅速发展,越来越多的计算机应用系统涉及并行与分布式计算。开发这类系统远比传统的串行系统困难,这除了并行与分布式计算本身固有的复杂性外,还有一个原因是人们对并发性的实质缺乏真正了解,因而对并发模型进行深入广泛的研究具有重要的现实意义。并发模型是一种描述与解释并发与分布式系统的形式化数学模型,在理论上可提供对并发系统及其行为的深刻理解,在实践中可为并发系统的设计与分析提供指导方法。探讨并发性的语义往往也集中在并发模型的研究,以此作为并发语言与系统的指称结
其他文献
<正> 1 问题的提出凡学过算法分析或具有编程经验的同行都知道,相同的算法,对于不向的问题或数据或数据的安排可能有不同的效率。如快速排序和合并排序,在最坏情况下其复杂性
The paper presents a new dynamic Multicast Routing algorithm. Then some experiments have been given to analyze the performances. The result shows that the routi
<正> 八十年代末,高精度连续图像数字处理技术日渐成熟,在电影制作中被大量采用并形成了完整的体系,即数字电影系统。尽管目前世界上的数字电影系统多种多样,但从功能上讲它
<正> 1.引言 Perry与Wolf,Garlan与Shaw的早期研究成果发表后,软件体系结构的研究引起了学术界极大兴趣。目前,软件体系结构已经成为软件工程研究中的热点,我国学者也开始了
<正> 1 引言类型系统源于罗素为避免朴素集合论中的悖论而引入的“分类”思想。后来邱奇在他的λ演算中也引入了“类型”。60年代初出现的Algol语言提出了数据类型的概念。逻
<正> 1.引言随着计算机网络技术的迅速发展,基于Client/Server(C/S)模型的分布式应用越来越广泛。追寻数据处理的发展史,自1980年第一个数据库管理系统的出现宣布了数据库世
<正> 1.引言传统的MIS开发方法,针对不同的应用,需要开发不同的MIS系统,即使这些应用问题属于同一类型,也都要经历系统分析、设计、编码、测试、维护过程,其中存在大量重复劳
1.引言 移动计费系统是对移动通信进行计费结算,计费结算中心与地局中心以星型结构连接,完成数据采集和预处理、结算数据的发送、漫游计费结算、网间结算、高额花费、业务
<正> 1 Java的发展简史及意义对于常在网上浏览的用户来说,从1996年开始,有的起始页(Home Page)开始发生了一些变化。比如,原来起始页上静态的字词转瞬间全都动了起来,或者会