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
Fiems, Dieter. editor.
Format:
Electronic Resources
Alıntı:
Behavior -- Modeling and Simulation Tools.
Yazar
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
Format:
Electronic Resources
Alıntı:
second part, Methods, Languages and Tools for Future System Development, aims at sketching the
Yazar
Bogdan, Cristian. editor.
Format:
Electronic Resources
Alıntı:
software development tools; user profiles and mental models; user requirements and design constraints; and
Yazar
Hunold, Sascha. editor.
Format:
Electronic Resources
Alıntı:
, Models and Tools for Parallel Computing on Heterogeneous Platforms - LSDVE: Third Workshop on Large Scale
Yazar
Biondi, Fabrizio. editor.
Format:
Electronic Resources
Alıntı:
demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal
Yazar
Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180
Format:
Electronic Resources
Alıntı:
submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications
Arama Sonuçlarını Sınırlandır
Daraltılmış: