Sentence examples for synchronization consistency from inspiring English sources

By using verification methods and a model-driven architecture method, the distributed repository provides services that support the synchronization, consistency and interoperability requirements for CBP and IBP models.

In this way, software architectures describing complex applications can be formally verified regarding properties such as deadlock and synchronization consistency in the software architecture design phase of its life cycle.

RTIG is responsible for synchronization and data consistency.

The shared aspects of phenotype representation mean that FYPO will be able to take advantage of CPO's automated synchronization to maintain consistency with GO and PATO.

By supporting multiple simultaneous broadcasts of messages, the SOME-Bus has much more functionality than a crossbar, allowing synchronization phases and cache consistency protocols to complete much faster.

This extension involves the time integration of the discrete system on a hierarchy of levels, each of which represents a degree of refinement, together with synchronization steps to ensure consistency across levels.

In other words, the synchronization of metadata for consistency can put an excessive burden on the disk and network, which causes negative impacts on the throughput of the transactional database.

This chapter discusses the consistency, concurrency, and synchronization of OpenCL programs.

Then, synchronization procedures to enforce such consistency were specified and verified for several "well-behavedness" properties.

As such, before presenting the desired consistency notion and synchronization procedures, we briefly present such data models.

The formal specification of the data models, consistency predicates, and synchronization procedures, allowed the usage of automatic analysis tools (namely, the Alloy Analyzer model finder) to generate a large number of diverse usage scenarios.