1) concurrent processing / concurrent system
并发处理/并发系统
2) concurrent processing
并发处理
1.
This paper discusses the design plan of building networking teaching system based on the WEB,gives a clear instruction about the whole structure and the main founctioning module,along with the key techonology on package technology,concurrent processing and etc.
本文讨论了构建基于WEB 的网络教学平台的设计方案,对其总体结构和主要功能模块进行了说明,并介绍了组件技术和并发处理等关键技术问题。
3) concurrent system
并发系统
1.
Verification of safety and liveness property based on concurrent system;
并发系统的安全性与活性的验证方法
2.
This paper states the syntax and semantics of CTL~* and its sub-logics: CTL and LTL, and analyzes how to state the properties of concurrent system, and finally the application example is given.
时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础。
3.
This paper presents a model-checking algorithm for verifying the properties of concurrent systems using proposition linear temporal logic (PLTL) based on Manna-Pnueli framework as formal language to specify concurrent systems; describing the properties by PLTL temporal formula.
采用Manna和Pnueli提出的命题线性时态逻辑PLTL作为并发系统的形式化规约语言,用PLTL公式描述系统的性质,给出并发系统性质验证的一种模型检验算法。
4) concurrent systems
并发系统
1.
Model Checking and Testing of Concurrent Systems;
并发系统的模型检测与测试
2.
In general, there are three challenges in the design of concurrent systems.
并发系统在以其并发性而极大地提高系统性能的同时,也因其各线程或进程交互协作,极大的增加了设计的复杂性和系统运行期间的出错的可能性。
3.
Checking the properties of concurrent systems is an ever growing challenge.
检查并发系统的性质变得日益困难。
6) concurrent process
并发处理，并行处理
补充资料：并发
由正在患的病引起另一种病：并发症。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条