44 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
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
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
Podelski, Andreas. editor.
Format:
Electronic Resources
Alıntı:
topics in abstract domains: program verication, bug detection, compiler optimization, program
Yazar
Jobstmann, Barbara. editor.
Format:
Electronic Resources
Alıntı:
, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid
Yazar
Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834
Format:
Electronic Resources
Alıntı:
Functional programming -- Constraint programming and business rules -- Prolog and optimization
Yazar
Ding, Chen. editor.
Format:
Electronic Resources
Alıntı:
, compiler analysis and optimization, dynamic computation and languages, GPUs and private memory, and
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
44 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: