34 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
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
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
View Other Search Results
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
Yazar
Fiems, Dieter. editor.
Format:
Electronic Resources
Alıntı:
Behavior -- Modeling and Simulation Tools.
Yazar
Steiner, Moritz. editor.
Format:
Electronic Resources
Alıntı:
organized in topical sections on measurement tools and methods; mobile and wireless; Web; security; and new
Yazar
DeRose, Luiz. editor.
Format:
Electronic Resources
Alıntı:
-- OpenMP memory extensions -- Extensions for tools and locks -- Experiences with OpenMP device constructs.
34 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: