• 并发系统的并行计算及性能分析

    并发系统的并行计算及性能分析

    论文摘要随着并发系统在诸多领域的广泛应用,如何对其性能分析以确保系统的质量,这已成为开发人员及使用者特别关注的问题。在软件工程的早期阶段,对系统建立模型并做性能分析,可以及时发...
  • 并发的广义符号轨迹赋值的研究

    并发的广义符号轨迹赋值的研究

    论文摘要随着数字逻辑设计的规模越来越大,复杂度越来越高,功能验证已成为设计过程中的首要瓶颈。在过去几十年中,人们对于数字电路顺序行为的验证进行了深入而广泛的研究并提出了许多行之...
  • 一种扩展的并发传值进程抽象模型

    一种扩展的并发传值进程抽象模型

    论文摘要形式化方法中的模型检测技术是近三十年来最为成功的自动验证技术之一。对并发传值系统进行模型检测需要建立相应的抽象模型,带赋值的符号迁移图是一种广为使用的抽象模型。对于并发...
  • 并发系统的模型检测与测试

    并发系统的模型检测与测试

    论文题目:并发系统的模型检测与测试论文类型:博士论文论文专业:计算机软件与理论作者:吴鹏导师:林惠民关键词:并发系统,模型检测,网络协议,移动,基于模型的测试,符号测试用例,一...