Sentence examples for feasible execution from inspiring English sources

This yields a safe local analysis of the tasks because the symbolic variables over-approximate the values of shared variables and thus the feasible execution paths.

Each tree characterizes the set of feasible execution paths (up to some bound) of the analyzed task and yields a precise timing model.

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

We define a time-predictable processor as "under the assumption that only feasible execution paths are analyzed, a time-predictable processor's WCET bound is close to the real WCET".

In a fully connected network comprising of perfect clocks, if the coupling factor, then in every feasible execution a node will never perform a phase advance which is greater than.

The strategy of the SAGE system, in which the original program is decomposed into blocks and a feasible execution schedule is produced for the host and memory processors, is investigated as well.

It is necessary because their sequential solutions are not able to give answers in a feasible total execution time.

This is necessary, because the values may alter the control flow of the logic in the task and possibly make feasible other execution paths that may yield a higher WCET (or lower BCET) thus rendering the analysis unsafe if these are not considered.

Due to that, several sequential assemblers that perform execution in a feasible time (ie, diminishing the total execution time) have been proposed to assist in the process of the genome assembly.

Nowadays, performing assembly genomes executions in a feasible time is an open, yet important, challenge for bioinformaticians.

Effectively, the optimization yields a control flow representation of the basic blocks constituting the feasible paths as determined by symbolic execution.