Yazar
Kunkel, Julian M. editor.
Format:
Electronic Resources
Alıntı:
: applications and algorithms; proxy applications; architecture and system optimization; and energy-aware
View Other Search Results
Yazar
Clarke, Edmund M. editor.
Format:
Electronic Resources
Alıntı:
the research agenda: the algorithmic challenge, that is, designing model-checking algorithms that
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: