Sentence examples for check the functional from inspiring English sources
To check the functional correctness of the system under test, the properties are expressed in PCTL temporal logic.
In this work we present an automatic technique based on geometrical program modeling to formally check the functional equivalence of initial and transformed programs under loop and data reuse transformations.
Tests were designed and are being performed with other organizations so as to check the functional performance of the pebbles and pebble beds with respect to the HCPB blanket requirements, and, finally, to make the selection of the most appropriate ceramic for the HCPB blanket.
It is true that the differences of the simulation environment and the real operating environment need adjustment but the simulation environment step allows breaking down the overall integration in two levels: a) the initial integration to check the functional behavior and the interfacing between software components developed independently and b) target integration with real-time constraints.
Each surveillance officer in his/her shift will check the functional status of the pulse oximeter and CCD camera.
To check the functional physiological relevance of pregnenolone production by Ly6C+Cyp11a1+ Th2 cells, we used them in classical suppression assays (Collison and Vignali, 2011).
To determine to what extent the model's assumptions were met, we checked the functional form of individual changes, normality and homoscedasticity of residuals at all three levels of the models using the statistical software MLwiN (Version 2.10; Rasbash et al. 2009).
Next, we checked the functional divergence of interacting proteins.
In the ConsensusPathDB, we checked the functional annotation of the gene list by using the pathway-based set options.
We checked the functional classification of the tetrapod common CNS-associated genes using PANTHER 7.0 software (Thomas et al. 2003).
The adequacy of the Cox proportional-hazard analysis was tested by checking the functional form and the assumption of proportional hazards as described by Lin, Wei, and Ying (Lin et al., 1993).
