Yazar
Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948
Format:
Electronic Resources
Alıntı:
Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia
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
Itsykson, Vladimir. editor.
Format:
Electronic Resources
Alıntı:
Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia
Yazar
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics
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
Zowghi, Didar. editor.
Format:
Electronic Resources
Alıntı:
, methods, tools, and techniques for improving and enhancing Requirement Engineering products and processes.
Yazar
Maruyama, Naoya. editor.
Format:
Electronic Resources
Alıntı:
, locality, task parallelism, extensions, tools, accelerator programming, and performance evaluations and
Yazar
Terboven, Christian. editor.
Format:
Electronic Resources
Alıntı:
, accelerator applications, tools, extensions, compiler and runtime, and energy.
Yazar
Agha, Gul. editor.
Format:
Electronic Resources
Alıntı:
topical sections entitled: Markov processes; tools; sampling, inference, and optimization methods; Markov
Yazar
Campos, Javier. editor.
Format:
Electronic Resources
Alıntı:
and applications; tools; petri nets, process algebra and fault trees; applications; and queuing
Yazar
Hernández, Gonzalo. editor.
Format:
Electronic Resources
Alıntı:
. The papers are organized in topical sections on grid and cloud computing; HPC architectures and tools