Sentence examples for execution is used from inspiring English sources

Symbolic execution is used for the generation of a safe and tight timing model of the analyzed system capturing the feasible execution paths.

A style which is related in origin, but which exhibits significant differences in execution, is used for painting murals on temple walls; the most notable example are the murals on the Kutal Azhakar and Meenakshi temples of Madurai, the Brihadeeswarar temple of Tanjore.

As criteria of efficiency, information delivery time, resolution and cost of request execution are used.

The procedure was then repeated ten times and, in each execution, nine parts were included in the training set (used to build the PPM-C model) and the remaining part (a different part in each execution) was used to evaluate the performance of the classifier.

Blowing from a gun as a method of execution was used, perhaps most well known, by British troops during the Indian Rebellion of 1857.

The unilateral test could therefore in its very simple execution be used in prospective large-scale studies, for example as a means to reveal if other job groups suffer pain-related sensorimotor dysfunctions.

Amnesty International Middle East and north Africa director Philip Luther told AFP that the executions were used "to settle political scores".

Low-level hardware counters (e.g. cache-misses and TLB misses) on a limited number of executions are used to build our predictive model.

This kind of scheduler is very useful in scenarios where Service-Oriented Computing is deployed and the execution time is used as a parameter for QoS.

"I will never again come to Utah to ski if this barbaric execution style is used again in your state," wrote Randy Kilmer, a Seattle resident.

A theoretical model of the algorithm execution time is used to evaluate the precision of the system-level simulator.