Sentence examples for correctness of the implementation from inspiring English sources

This database is considered as the reference database for PESQ to verify correctness of the implementation, (cf. [42]).

The semantics of the parallel simulator is formally described using timed transition system to verify the correctness of the implementation.

This approach provides a way to validate the consistency of a specification and the correctness of the implementation.

This paper discusses the correctness of the implementation of the matching logic reachability proof system in MatchC.

Under certain design for test conditions, this method produces a test suite that can determine the correctness of the implementation under test (IUT), provided that the processing functions of the stream X-machine specification have been correctly implemented.

Specifically, Section 4.1 is aimed to check the correctness of the implementation of the 3D-EAFE method within the FEMOS code and to compare the performance of this finite element approach with a reference-commercial tool based on the BIM [30].

This again illustrates the correctness of the protocol implementation and reveals the potential of the adaptive routing protocol when mode switches are applied intelligently.

We show correctness of this implementation and provide comparative results between a regular implementation and our new one on both FPGA and ASIC.

This analysis allows us to rule out the presence of Zeno behavior and characterize the asymptotic correctness of the resulting implementations.

A sample output image of the experiments for the MV adaptive beamforming algorithm was shown in Fig. 8 b, which presented the high image quality of the MV adaptive beamforming algorithm and demonstrated the implementation correctness of the MV adaptive beamforming algorithm implementation on the heterogeneous embedded computing platforms.

The correctness of each implementation was evaluated by comparing the entried of the DP table of the Nussinov algorithm to the analogous values computed by the faster implementation.