Yazar
Blazy, Sandrine. editor.
Format:
Electronic Resources
Alıntı:
program verification, bug detection, compiler optimization, program understanding, and software
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
View Other Search Results
Yazar
Egyed, Alexander. editor.
Format:
Electronic Resources
Alıntı:
-- Exploring Scenario Exploration -- Data-Oriented Characterization of Application-Level Energy Optimization
Yazar
Baier, Christel. editor.
Format:
Electronic Resources
Alıntı:
Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost
Arama Sonuçlarını Sınırlandır
Daraltılmış: