...献搜索 关键词:反应系统;并发系统;实时系统;混合系统;计算模型 [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
Checking the properties of concurrent systems is an ever growing challenge.
检查并发系统的性质变得日益困难。
Model checking is a technique for automatically verifying finite-state concurrent systems.
模型检验是自动检验有限状态并发系统的技术。
The choice of abstract models for value-passing concurrent systems directly influences the efficiency of model checking.
对于并发传值系统抽象模型的选取直接影响其模型检测的效率。
应用推荐