Sentence examples for executing the operations from inspiring English sources
The following figure of ProB animator shows that the same state is obtained after executing the operations corresponding to the two transitions (Fig. 17).
When a learner clicks on any of the operations in (c), the system displays the state of the target domain after executing the operation in (b).
So much credit is given to one man (i.e. General Sharif) for planning and executing the operation against the Taliban that these people believe General Sharif's retirement at a time when the battle against the Taliban is not over will keep one door open for the Taliban to regain power and carry out attacks on ordinary citizens.
The overall problem is composed of tightly-coupled subproblems, i.e., determining the allocation of operators that execute the operations, the assignment of operations to operators, and scheduling of the operations.
An interpreter is software that examines a computer program one instruction at a time and calls on code to execute the operations required by that instruction.
Captains plan and execute the operations that often prove the most important, at ground level, where gains are truly achieved in this type of endeavor".
In this way, each processor can execute the operations in each part with time M/C.
The trigger conditions for PreProcessing and VLCDecoding are defined so that they execute the operations in a loop.
The model is used to express the calculations of the reduced stiffness and mass matrices in a declarative query language and thereby letting the database decide how to execute the operations and manage the memory.
This object allows the algorithm to execute the operations independently without waiting for others, and thus carries out the parallel computing.
When the pooling data of 55 SNP markers and Assembly 1.1 of the contig map were used (Table 1), only 2.1 minutes were needed by a desktop computer (Asus P6T, Intel core i7 920, 12 GB of RAM, and an Ubuntu Linux 9.04 64 bit operating system) to execute the operation.
