Sentence examples for efficiency of the verification from inspiring English sources

As a result, the number of symbolically simulated statements is much smaller, which improves the efficiency of the verification.

In this paper, in order to improve the scalability and efficiency of the verification, we introduce a new encoding of the workflow models using the Alloy specification language, and we present a bounded verification approach for workflow models based on relational logic.

We show that the user threads can be verified using stubs generated from the concurrency controller interfaces which improves the efficiency of the thread verification significantly.

The use of models has allowed engineers to improve both the effectiveness and the efficiency of system verification.

Model order reduction of interconnect circuits is an important technique to reduce the circuit complexity and improve the efficiency of post-layout verification process in the nanometer VLSI design.

A prototype of the proposed system has been implemented to experimentally analyze and compare the resource efficiency of different SAT verification approaches in terms of a number of performance metrics, including computation and communication overhead.

As a control, in the lanes where CCDC6 was silenced in the GC1 cells (−/+H2O2), the anti-CCDC6 hybridization allows a verification of the efficiency of the silencing.

A verification study demonstrates the efficiency of the system and reliability of the results generated, pointing to the way in which Build-X may serve as a useful tool for the seismic analysis of newly designed buildings and the assessment of existing ones at reduced computational cost and modeling uncertainty.

After verification, by defining thermal efficiency of the cycle and size parameter of a radial turbine as the objective functions, a multi-objective optimization was conducted regarding tension and vibration constraints for 4 different organic working fluids (R22, R245fa, R236fa and N-Pentane).

It is important that random verification schemes improve the efficiency of the algorithm, including the communication and memory overhead required.

Verification and validation of the efficiency of the hindcast modifications can be assessed based on differences between models and not between model output and observations.