50 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Larsen, Kim Guldstrand. editor.
Format:
Electronic Resources
Alıntı:
Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium
Yazar
Feng, Xinyu. editor.
Format:
Electronic Resources
Alıntı:
Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium
View Other Search Results
Yazar
Piskac, Ruzica. editor.
Format:
Electronic Resources
Alıntı:
Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018
Yazar
Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736
Format:
Electronic Resources
Alıntı:
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International
Yazar
Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701
Format:
Electronic Resources
Alıntı:
Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference
Yazar
Carretero, Jesus, ed.
Format:
Electronic Resources
Alıntı:
domain-specific interoperable tools
Yazar
Fan, Xing. editor.
Format:
Electronic Resources
Alıntı:
Best paper -- Tools -- Accelerators -- Compilation -- Extensions -- Tasking -- Using OpenMP.
Yazar
Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918
Format:
Electronic Resources
Alıntı:
sections on high performance architectures, tools and technologies; parallel numerical algorithms
Yazar
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106
Format:
Electronic Resources
Alıntı:
sections on parallel algorithms; supercomputer simulation; high performance architectures, tools and
50 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: