Yazar
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
Functions -- OptiMathSAT: A Tool for Optimization Modulo Theories -- Systematic Asynchrony Bug Exploration
View Other Search Results
Yazar
Träff, Jesper Larsson. editor.
Format:
Electronic Resources
Alıntı:
Performance -- Automatic Data Layout Optimizations for GPUs -- Performance Impacts with Reliable Parallel File
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: