...献搜索 关键词：反应系统；并发系统；实时系统；混合系统；计算模型 [gap=444]Keywords：reactive systems; concurrent systems; real-time systems; hybrid systems; computation models ...
基于58个网页-相关网页
distributed concurrent systems 分布式并发系统
Scheduling techniques for concurrent systems 并发系统的调度技巧
coplanar concurrent force systems 平面汇交力系
Concurrent real-time systems 并发实时系统
Concurrent and Distributed Systems 并行与分布式系统
Checking the properties of concurrent systems is an ever growing challenge.
检查并发系统的性质变得日益困难。
参考来源 - 模型检测中的偏序约简—《电脑知识与技术》—2009年第26期—龙源期刊网·2,447,543篇论文数据，部分数据来源于NoteExpress
So it is difficult to write concurrent systems built on mutable state and locks that continue to be reliable as a system grows.
因此编写构建于可变状态和锁之上、且该状态和锁随系统增长仍然可靠的并发系统很难。
After many years of engineering practice, it is realized that formal method is important for high confidence concurrent systems.
经过多年的工程实践，人们普遍认识到形式化方法是设计实现高可信并发系统的重要途径。
Checking the properties of concurrent systems is an ever growing challenge.
检查并发系统的性质变得日益困难。
应用推荐