Sentence examples for Locate an error from inspiring English sources

While model checking is capable of automatically testing that a concurrent system satisfies its formal specification, it can not precisely locate an error and suggest a repair, i.e., a suitable correction, to the system.

Time was wasted locating an error flagged by one program that had already been resolved using errors from another program.

Experiment data indicate that the mass center is located with an error of tens of nanometers.

The hypocenter and magnitude are consistent with those obtained by other studies (e.g., Nakamura and Aoi 2016; Uchide et al. 2016; Yoshida 2016), where the hypocenters are located within an error range of ~1 km using different velocity models, and the moment magnitude or local magnitude ranges from 5.6 to 6.5.

First, they locate a potential error in the model by clicking on the erroneous model construct.

Its next-generation technologies should enable users to get quicker, more reliable fixes and be able to locate their positions with an error of one metre, compared with the current GPS error of several metres.

Galileo's next-generation technologies are designed to provide users with quicker, more reliable fixes, enabling them to locate their positions with an error of one metre, compared with the current GPS error of several metres.

In this sense, the mobile devices could be well located (location error below 1 m), thanks to external network localization processes like infrared laser and UWB.

The OBS networks located 906 earthquakes with an error of less than 5 km in the horizontal direction and less than 3 km in depth.

We located 881 earthquakes with an error of less than 2 km in the horizontal direction and less than 3 km in the depth direction and an RMS of the travel time residual below 1 s.

Unlike ten Raa [23] and ten Raa and van der Ploeg [26] who use a priori estimated errors, Steenge proposes a way to locate errors a posteriori.