10 sonuç bulundu
Tümünü Seç
0000000000DEFAULTTR
Yazar
Jobstmann, Barbara. editor.
Format:
Electronic Resources
Alıntı:
, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid
Yazar
McMillan, Kenneth L. editor.
Format:
Electronic Resources
Alıntı:
certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.
View Other Search Results
Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.
Yazar
Kulikov, Alexander S. editor.
Format:
Electronic Resources
Alıntı:
, but are not limited to: algorithms and data structures; combinatorial optimization; constraint solving
Yazar
Blesa, Maria J. editor.
Format:
Electronic Resources
Alıntı:
working on integrating metaheuristics with other areas for solving both optimization and constraint
Yazar
Bouajjani, Ahmed. editor.
Format:
Electronic Resources
Alıntı:
certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems. .
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
Invited Talk -- Validation, Synthesis and Optimization for Cyber-Physical Systems -- Verification
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
Verification -- Congruence Closure with Free Variables -- On Optimization Modulo Theories, MaxSMT and Sorting
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
Formulae for Session Types -- Bit-Vector Optimization -- Runtime Monitoring with Union-Find Structures
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ış: