Yazar
Blazy, Sandrine. editor.
Format:
Electronic Resources
Alıntı:
program verification, bug detection, compiler optimization, program understanding, and software
Yazar
Maruyama, Naoya. editor.
Format:
Electronic Resources
Alıntı:
optimization.
View Other Search Results
Yazar
Barros, Márcio. editor.
Format:
Electronic Resources
Alıntı:
(SBSE) studies the application of meta-heuristic optimization techniques to various software engineering
Yazar
Goues, Claire Le. editor.
Format:
Electronic Resources
Alıntı:
Engineering (SBSE) studies the application of meta-heuristic optimization techniques to various software
Yazar
Sarro, Federica. editor.
Format:
Electronic Resources
Alıntı:
application of meta-heuristic optimization techniques to various software engineering problems, ranging from
Yazar
DeRose, Luiz. editor.
Format:
Electronic Resources
Alıntı:
Tasking models and their optimization -- Understanding and verifying correctness of OpenMP programs
Yazar
Amyot, Daniel. editor.
Format:
Electronic Resources
Alıntı:
optimization; sequences and interactions; testing; metrics, constraints and repositories; and SDL and V&V.
Yazar
Jobstmann, Barbara. editor.
Format:
Electronic Resources
Alıntı:
, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid
Yazar
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
Format:
Electronic Resources
Alıntı:
collection of expository papers on fashionable themes in algorithmics, optimization, and complexity. The
Yazar
Cohen, Albert. editor.
Format:
Electronic Resources
Alıntı:
Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized
Yazar
Buhr, Peter A. author.
Format:
Electronic Resources
Alıntı:
Concurrency -- Optimization -- Control Flow Paradigms -- μC++ Grammar. .
Yazar
Cohen, Ernie. editor.
Format:
Electronic Resources
Alıntı:
Provers -- A Formally Verified Generic Branching Algorithm for Global Optimization.