10 sonuç bulundu
Tümünü Seç
0000000000DEFAULTTR
Yazar
Blazy, Sandrine. editor.
Format:
Electronic Resources
Alıntı:
program verification, bug detection, compiler optimization, program understanding, and software
Yazar
Falaschi, Moreno. editor.
Format:
Electronic Resources
Alıntı:
security -- Optimization -- Static analysis -- Automated Verication -- Program debugging and slicing
View Other Search Results
Yazar
Peters, James F. editor.
Format:
Electronic Resources
Alıntı:
Optimization of c-Decision Rules Relative to Length, Coverage and Number of Misclassifications -- Toward
Yazar
Egyed, Alexander. editor.
Format:
Electronic Resources
Alıntı:
-- Exploring Scenario Exploration -- Data-Oriented Characterization of Application-Level Energy Optimization
Yazar
Blanchette, Jasmin Christian. editor.
Format:
Electronic Resources
Alıntı:
Consistency: An Experience Report on a Middle-Sized Case Study -- A constraint optimization model for analysis
Yazar
Proietti, Maurizio. editor.
Format:
Electronic Resources
Alıntı:
Transformation and Optimization -- Declarative Compilation for Constraint Logic Programming -- Pre-indexed Terms
Yazar
Jan, Kratochvíl. editor.
Format:
Electronic Resources
Alıntı:
Optimization, Complexity Theory (Structural and Computational), Computational Biology, Databases (Security
Yazar
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
Functions -- OptiMathSAT: A Tool for Optimization Modulo Theories -- Systematic Asynchrony Bug Exploration
Yazar
Bieger, Jordi. editor.
Format:
Electronic Resources
Alıntı:
-- Plan Recovery in Reactive HTNs Using Symbolic Planning -- Optimization Framework with Minimum
Yazar
Baier, Christel. editor.
Format:
Electronic Resources
Alıntı:
Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost
10 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: