... 并行文法 parallel grammar 并行系统 concurrent system 并行系统结构 parallel system organization ...
基于14个网页-相关网页
Concurrent Versions System 协作版本系统 ; 并发版本系统 ; 并发版本控制系统 ; 并发版本管理系统
concurrent system modeling 同作系统模型化
decision free concurrent system 决策自由并行系统
discrete concurrent system 离散并发系统
message-passing concurrent system 并发传值系统
asynchronous and concurrent system 异步并发系统
Concurrent force system 汇交力系 ; 共点力系
concurrent control system 并发控制系统
concurrent operating system 并行操作系统 ; [计] 并发操作系统
Petri nets describing and analyzing concurrent system can be used to model dynamic behavior of the system. Safety of the model constructed by Petri nets cant be proved strictly by analysis methods of itself.
Petri网是并发系统有效的描述和分析工具,但Petri网自身的分析方法无法严格证明其模型满足模拟的系统安全性。
参考来源 - Petri网模型的FTA安全性分析 in C·2,447,543篇论文数据,部分数据来源于NoteExpress
In this thesis, discuss the safety and fairness in concurrent system, and point out its importance when multithreading accessing the critical resources.
文中首先讨论了多线程并发系统中的安全性与公平性问题,指出安全性与公平性在并发系统中访问临界资源时的重要性。
To model check a value-passing concurrent system, an abstract model must be constructed, and Symbolic Transition Graphs with Assignment is such an abstract model.
对并发传值系统进行模型检测需要建立相应的抽象模型,带赋值的符号迁移图是一种广为使用的抽象模型。
With the development of concurrent system in modern software applications, the testing and debugging of concurrent software have attracted more and more attentions of the programmers.
随着并发系统在现代软件开发中的应用日益广泛,并发程序的调试、测试技术的研究已经引起了人们的高度重视。
应用推荐