Yazar
Feld, Sebastian. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product
Yazar
Jarvis, Stephen A. editor.
Format:
Electronic Resources
Alıntı:
benchmarking and optimization; performance analysis and prediction; and power, energy and checkpointing.
View Other Search Results
Yazar
Yokota, Rio. editor. (orcid)0000-0001-7573-7873
Format:
Electronic Resources
Alıntı:
: Resource Management and Energy Efficiency; Performance Analysis and Tools; Exascale Networks; Parallel
Yazar
Anjorin, Anthony. editor. (orcid)0000-0001-6213-6243
Format:
Electronic Resources
Alıntı:
generative development -- Model consistency management -- Model verification and analysis -- Experience
Yazar
Damiani, Ernesto. editor.
Format:
Electronic Resources
Alıntı:
Systems using a Restricted Natural Language Specification -- Model-based Analysis of Temporal Properties
Arama Sonuçlarını Sınırlandır
Daraltılmış: