Yazar
Hall, Mary. editor. (orcid)0000-0002-3058-7573
Format:
Electronic Resources
Alıntı:
optimization of parallel programs, parallel programming models and languages, formal analysis and verification
Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
Abstraction-based Control Synthesis -- Temporal Stream Logic: Synthesis beyond the Bools -- Run-Time Optimization
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
Arama Sonuçlarını Sınırlandır
Daraltılmış: