Sentence examples for verification of large from inspiring English sources

This paper addresses formal verification of large integer arithmetic circuits using symbolic computer algebra techniques.

A paper describing the conceptual idea of using passive neutron assay for the verification of large size uranium samples in fuel fabrication plants was first presented at the 2001 ESARDA conference.

The research resulted in the specification of a novel, theoretical framework for the specification and generation of metrology process models, especially focusing on large volume, frameless metrology that is suitable for the verification of large and complex products.

The 'Design for Verification' framework has been developed to enable engineers to design and plan the effective dimensional verification of large volume, complex structures in order to reduce failure rates and end-product costs, improve process integrity and efficiency, optimise metrology processes, decrease tooling redundancy and increase product quality and conformance to specification.

This paper describes a novel Design for Verification (DfV) framework to be used within low rate and high value and complexity manufacturing industries to aid in achieving high productivity in assembly via the effective dimensional verification of large volume structures, during final assembly.

However, to date, the application of DNA fingerprinting has been used only for the differentiation of varieties, which precludes verification of large numbers of varieties through exact genotype matching.

In this paper we discuss the modeling, design and verification of large-moment transmitter (TX) loops for geophysical applications.

Distributed Large-Volume Metrology (LVM) systems are mainly used for industrial applications concerning assembly and dimensional verification of large-sized objects.

Thus, BDD is beneficial in dealing with the state space explosion problem, which is one of the main challenges of model checking techniques for the verification of large-scale systems.

The proposed criterion is based on an accuracy of one part in 10n (n = 1,2,...,10,...), where n = 2 is for engineering insight and visual comparison while n = 10 is for verification purposes of large numerical codes.

Implementation, prototyping, and verification of such large systems has become very challenging.