Search Results for Optimization.

Yazar

Sarro, Federica. editor.

Format:

Electronic Resources

Alıntı:

application of meta-heuristic optimization techniques to various software engineering problems, ranging from

Yazar

Amyot, Daniel. editor.

Format:

Electronic Resources

Alıntı:

optimization; sequences and interactions; testing; metrics, constraints and repositories; and SDL and V&V.

Yazar

DeRose, Luiz. editor.

Format:

Electronic Resources

Alıntı:

Tasking models and their optimization -- Understanding and verifying correctness of OpenMP programs

Yazar

Jobstmann, Barbara. editor.

Format:

Electronic Resources

Alıntı:

, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid

	{displayName}	{count}
{error}