Sentence examples similar to evaluation of execution from inspiring English sources

This paper discusses a formal description of our approach to represent state machine systems under analysis (SSUAs); a systematic approach to certifying that SSUAs are deterministic; and an evaluation of performance (memory usage and execution time) on the case study.

Rather we stick at the level of abstraction of the SA and even in the absence of relevant pieces of information we want to be able to carry on an evaluation of concurrent execution of SA which should allow the validation of the possibly critical design choices made at the SA level.

Some variants of PSO such as PSO + GA were applied on test case prioritization, but the evaluation of test execution time and APFD through one algorithm is not sufficient to make a reliable decision [39].

We also performed experimental evaluation of the execution time.

Bijdrage aan de eindevaluatie van de uitvoering van de voorstellen van de stuurgroep Biesheuvel (Contribution to the final evaluation of the execution of the proposals of the Biesheuvel steering group).

Apart from an evaluation of compilation performance and execution times, Arden2ByteCode was integrated into an existing knowledge supported exercise training system and recorded training sessions have been used to check the implementation.

An evaluation of the performance of full execution cycles of these approaches on the monitoring of the Worldwide LHC Computing Grid WLC G) infrastructure for collecting, storing and analysing data is presented.

The proposed approach has the advantage that movement execution probabilities could be changed according evaluation of the dance execution in order to have an artificial creative system.

We need more information if we want any meaningful evaluation of Williams's execution and the three others conducted in Arkansas last month.

We show evaluation of the coordinated execution with our approach in section 'Experimentation' and discuss related work in section 'Related work'.

It follows from the definition of the algorithms that the naive IPC must result in a lower average number of iterations and higher throughput than either the IPC with confirmation or the IPC with stability check, but any other comparison of the throughputs of the schedules requires evaluation by execution on the processor or simulation in conjunction with Table 1.