Yazar
Poole, Stephen. editor.
Format:
Electronic Resources
Alıntı:
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop
Yazar
Giannakopoulou, Dimitra. editor.
Format:
Electronic Resources
Alıntı:
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna
View Other Search Results
Yazar
Cohen, Ernie. editor.
Format:
Electronic Resources
Alıntı:
Verified Software: Theories, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo
Yazar
Gurfinkel, Arie. editor.
Format:
Electronic Resources
Alıntı:
Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San
Yazar
Boreale, Michele. editor. (orcid)0000-0002-1972-7491
Format:
Electronic Resources
Alıntı:
Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco
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
Baldoni, Matteo. editor.
Format:
Electronic Resources
Alıntı:
methodologies and techniques, and development concerns -- Interoperability and integration -- Tools and testbeds
Yazar
Jacquet, Jean-Marie. editor.
Format:
Electronic Resources
Alıntı:
range of topics and techniques related to system coordination, including: languages and tools; types
Yazar
Gupta, Gopal. editor.
Format:
Electronic Resources
Alıntı:
, optimization, composition, security, reuse, applications and tools, component-based software development
Yazar
Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772
Format:
Electronic Resources
Alıntı:
named: types; program analysis; tools; functional programs and probabilistic programs; verification
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
Arama Sonuçlarını Sınırlandır
Daraltılmış: