Sentence examples for concrete execution from inspiring English sources

Unlike logical operators, physical operators are embedded with the concrete execution procedure.

In this paper, we propose a two-step test-suite reduction approach to remove the test cases which have little or no effect on fault localization, and improve the distribution evenness of concrete execution paths of test cases.

For example, until now, in order to concentrate on the main integration of planning and learning, we always assumed a static context; that is, we assumed that identical user requests with identical concrete execution data and identical user preferences are received in a sequential manner.

Concolic testing is a software testing technique that simultaneously combines concrete execution of a program (given specific input, along specific paths) with symbolic execution (generating new test inputs that explore other paths, which gives better path coverage than random test case generation).

For him, software is a concrete abstraction that has a medium of description (the text, the abstraction) and a medium of execution (e.g., a concrete implementation in semiconductors).

An abstract model designer is used to design the top level GPW model, a model instantiation service is used to generate the concrete Business Process Execution Language (BPEL), and the BPEL execution engine is adopted.

It is emphasised that in addition to obvious issues like concrete mix design, execution.

In the latest evidence of atrocities, Internet video posted by Syrian rebels shows armed men, apparently fighters loyal to Assad, stabbing two men to death and stoning them with concrete blocks in a summary execution lasting several minutes.

The execution of the concrete mix design experiment in the civil engineering laboratory was changed to an open-ended style.

Simultaneously, the learner can understand the concrete memory image in each execution step and the concrete expression of the data structures by observing and comparing the world in (C) with the memory image in (B).

Abstract models may admit spurious counterexamples (false negative results) which are executions at the abstract level with no corresponding executions at the concrete level.