Sentence examples for efficient verification from inspiring English sources

We use different mathematical and cryptographic methods to enable efficient verification of the correctness of the computation results.

Aside from efficient verification, it can also be used for finding redundancies in existing algorithms.

This framework allows an efficient verification of safety- critical networked embedded systems regarding functional safety (ISO 26262).

Those constraints are of different natures, thus finding an efficient verification on all kinds of constraints during the composition process is by no means a trivial task.

They phenomena may be betteresultecinted in Figure 4. additionaless the maximum leneed in the chains oftainteraction amongept at reasonodes values, what makes the chain verification process lighter.

In particular, our scheme is featured by its weak operational (i.e., plain public-key) model, non-interactive signing, and efficient verification.

In general, the more abstract the design description, the easier and more efficient the verification processes.

Our work at CERN European Organization for Nuclear Researchh) focuses on developing efficient automatic verification methods for industrial critical installations based on PLC (Programmable Logic Controller) control systems.

Thus, it can be used for the efficient timing verification of the IP-based SoC design without re-verifying the internal timings of pre-verified Intellectual Properties (IPs) at the lower level.

If this could be attained, the effects of culture environment and/or the specific genetic mutation on the metabolism can be predicted without conducting many exhaustive experiments, and metabolic engineering may be made more efficient with verification by the experiment for the selected mutants in the optimized condition based on the computer simulation.

In this paper, we propose efficient RkNN query verification techniques which utilize the influence zone to check the integrity of query results.