并发系统相关论文
形式化方法中的模型检测技术是近三十年来最为成功的自动验证技术之一。对并发传值系统进行模型检测需要建立相应的抽象模型,带赋......
该文给出基于转换系统的不同扩充形式，作为三类反应式系统的计算模型;采用时态逻辑PLTL及其扩充形式作为三类反应式系统的形式化描......
通信顺序进程(Communicating SequentialProcesses,CSP)由Hoare于1978年提出,它是并发性研究的重要理论,是构建并发系统的经典方法......
随着软件系统的结构越来越复杂,规模越来越庞大,复杂程度越来越高,软件出现错误的可能性及其造成的危害也日益突出。并发系统在以......
随着网络技术的不断发展,网络游戏已经成为电子游戏产业中增长最为迅速的游戏类型。据预测,2006年全球网络游戏市场年增长率在100%......
学位
在分布式并发系统构造过程中,基于进程代数的并发系统模型检测是一种行之有效的减少设计错误、提高系统可靠性的重要途径。但并发......
现在很多计算机系统是并发系统。并发系统固有的复杂性以及对并发性的本质没有全面正确的认识使开发出的这类系统的可靠性与正确性......
随着并发软件系统在国民经济、国防等关键领域的广泛应用，如何验证其正确性和可靠性以保证软件质量成为日益紧迫的问题。对并发系统......
CSP(Communicating Sequential Processes)是Hoare提出的一种代数语言，主要用于对并发系统进行描述与验证。主流的CSP模型检测工具......
随着人们对软硬件系统功能需求的日益增加,导致系统的规模越来越复杂,其安全性和可靠性也越来越难以得到保证。在一些关键领域,例......
随着并发系统在计算机、通信等领域的广泛应用,在实现了并发系统进一步发展的同时,也对并发系统的功能及性能分析带来了考验。基于......
模型检测是一种形式化的自动验证技术。1981年,由Clarke,Emerson,Quielle和Sifakis提出。它的基本思想是:通过状态空间的穷举搜索......
随着计算机技术在尖端领域的应用,为了提高系统的安全性与可靠性,形式化方法得到长足的发展,也出现了许多优秀的形式化工具,例如,B......
网络游戏正在变得日益复杂,游戏玩家数量非常庞大,从目前游戏开发商和网络游戏运营情况来看,利用服务器集群来提供网络游戏服务是......
