Checking the properties of concurrent systems is an ever growing challenge.
检查并发系统的性质变得日益困难。
Model checking is a technique for automatically verifying finite-state concurrent systems.
模型检验是自动检验有限状态并发系统的技术。
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.
对于并发传值系统抽象模型的选取直接影响其模型检测的效率。
So it is difficult to write concurrent systems built on mutable state and locks that continue to be reliable as a system grows.
因此编写构建于可变状态和锁之上、且该状态和锁随系统增长仍然可靠的并发系统很难。
Temporal Logic with Constrained Events(TLCE) has been proposed to represent test purpose for testing of concurrent systems.
阐述了一种基于模型的并发系统测试框架，采用TLCE描述测试目的以引导测试用例生成。
After many years of engineering practice, it is realized that formal method is important for high confidence concurrent systems.
经过多年的工程实践，人们普遍认识到形式化方法是设计实现高可信并发系统的重要途径。
Effective modeling of complex concurrent systems requires a formalism that can capture essential properties such as nondeterminism, synchronization and parallelism.
对复杂的并发系统进行有效建模要求有一套形式化体系，由它能获取系统的本质特性，如不确定性、同步性和并发性。
Since formal methods can be used to model and analyze concurrent systems, it is natural to consider applying formal methods for the modeling and development of Web Service.
形式化方法已被用于基于消息通讯的并发系统的建模和分析。
There are many disadvantages in system of technical appraisal for medical accidents and judicial authentication system, and the two concurrent systems have caused a series of questions.
医疗事故技术鉴定制度和司法鉴定制度均存在诸多弊端，两种制度并行的状况更引发了一系列的问题。
Concurrent access to data from all nodes in a cluster and the high availability built into some distributed file systems are a couple of reasons why they are ideal for a cluster environment.
集群中所有节点对数据的并发访问，以及某些分布式文件系统所内置的高可用性，是它们成为集群环境理想选择的两方面原因。
An obvious practical application of this approach is the prevention of flooding endpoint systems that cannot process high volumes of concurrent requests.
此方法的一个明显的实际应用就是防止端点系统因为无法处理过量的并发请求而崩溃。
Concurrent maintenance support allows fixes to be applied without taking the systems down.
并发维护支持允许我们在保持系统在线的情况下应用修复补丁。
Therefore, the Integration Architect responsible for solution design must consider operational differences between endpoint systems, such as availability and concurrent processing capability.
因此，负责解决方案设计的集成架构师必须考虑到端点系统之间的操作差异，比如可用性和并行处理能力。
It's impossible to understand operating systems design today without considering processes, threads, deadlocking, and other concurrent topics.
如今，在不考虑进程、线程、死锁和其它并行主题的情况下，不可能了解操作系统的设计。
Today's modern computer systems are advancing in complexity and at times perform concurrent tasks.
今天的现代计算机系统在复杂性和有时执行并发任务方面不断进步。
Concurrent processing capacity: Some target integration endpoint systems cannot process large concurrent volumes.
并发处理能力：某些目标集成端点系统无法处理大容量的并发请求。
With midrange and high end POWER7 systems, concurrent maintenance support enables continuous application availability.
在中高端POWER 7系统中，并发维护支持使持续应用程序可用性成为可能。
ADEOS supports multiple concurrent operating systems running simultaneously.
ADEOS支持多个并发操作系统同步运行。
Support for concurrent AIX kernel updates: allows you to update systems without having to do a reboot for this to take effect.
支持并发aix内核更新：不需要重新引导系统，系统更新即可生效。
For anyone unfamiliar with free and open source version control systems (VCSs), Subversion has become the standard non-commercial VCS, replacing the old champ, Concurrent Versions system (CVS).
对于任何不熟悉免费的开源版本控制系统(VCS)的人来说，Subversion开始成为一种标准的非商业性质的VCS，取代了旧的并发版本系统(Concurrent Versions System,CVS)。
The final benefit of concurrent programming with CSP will be particularly evident to developers building distributed systems.
用CSP进行并发编程的最后一个好处对于构建分布式系统的开发人员来说特别明显。
In large batch systems backups can be challenging, especially if the system is running concurrent with on-line on a 24-7 basis.
对于大型批量系统，备份将是一个挑战，如果系统是7x24小时联机并发运行时，更是如此。
This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems.
这本书的研究与自动机和一元二阶逻辑关系，对自动机类重点描述分布式系统的并发行为。
But concurrent pushdown systems simulate concurrency by global variables, which are not able to model event-drive concurrent programs.
但是并发下推系统以全局变量模拟同步，不适应于当前广泛使用的基于事件驱动的并发程序。
Ca models have been shown to be applicable to some highly concurrent, complex dynamic systems for the purpose of their rigorous description and simulation.
元胞自动机模型(CA)能有效应用于高度并发、复杂动态系统的描述和模拟。
S4R can model complicated resource allocation systems with multiple concurrent processes, and different types of multiple resources can be requested by different processes.
S4R网可以建模复杂的、拥有多个并行加工进程的资源分配系统，而且不同的工序可以申请不同类型的多个资源。
Dynamic priority systems can be used as both modeling tools to build concurrent and distributed systems and semantic foundations to define prioritised operators in programming languages.
动态优先系统既可以作为并发与分布式系统的建模工具，也可以作为定义程序设计语言中优先算子的语义基础。
Preterm infants experience a range of morbidity related to the immaturity of their organ systems and to concurrent disease states.
早产儿患有一系列疾病，这与他们的器官系统不成熟和同时存在的疾病状态有关。
Preterm infants experience a range of morbidity related to the immaturity of their organ systems and to concurrent disease states.
早产儿患有一系列疾病，这与他们的器官系统不成熟和同时存在的疾病状态有关。
应用推荐