Search Results for Tools.

Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings

Yazar

Malyshkin, Victor. editor. (orcid)0000-0002-7874-3686

https://doi.org/10.1007/978-3-030-25636-4

Format:

Electronic Resources

Alıntı:

sections on Programming Languages and Execution Environments; Methods and Tools for Parallel Solution of

Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25–26, 2017, Revised Selected Papers

Yazar

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106

https://doi.org/10.1007/978-3-319-71255-0

Format:

Electronic Resources

Alıntı:

sections on parallel algorithms; supercomputer simulation; high performance architectures, tools and

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I

Yazar

Wyrzykowski, Roman. editor.

http://dx.doi.org/10.1007/978-3-319-32149-3

Format:

Electronic Resources

Alıntı:

-- Parallel Non-Numerical Algorithms -- Tools and Environments for Parallel/Distributed/Cloud Computing

Introduction to Concurrency Theory Transition Systems and CCS

Yazar

Gorrieri, Roberto. author.

http://dx.doi.org/10.1007/978-3-319-21491-7

Format:

Electronic Resources

Alıntı:

the tools to express processes, to compose them, and to prove properties they enjoy. The rest of the

Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I

Yazar

Wyrzykowski, Roman. editor.

http://dx.doi.org/10.1007/978-3-642-55224-3

Format:

Electronic Resources

Alıntı:

scientific computing -- Parallel non-numerical algorithms -- Tools and environments for parallel/distributed

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II

Yazar

Wyrzykowski, Roman. editor.

http://dx.doi.org/10.1007/978-3-319-32152-3

Format:

Electronic Resources

Alıntı:

from 196 submissions. The focus of PPAM 2015 was on models, algorithms, and software tools which

High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers

Yazar

Kozubek, Tomáš. editor.

http://dx.doi.org/10.1007/978-3-319-40361-8

Format:

Electronic Resources

Alıntı:

tools which facilitate efficient and convenient utilization of modern parallel and distributed computing

Smart Cities Second International Conference, Smart-CT 2017, Málaga, Spain, June 14-16, 2017, Proceedings

Yazar

Alba, Enrique. editor.

https://doi.org/10.1007/978-3-319-59513-9

Format:

Electronic Resources

Alıntı:

Smart City Strategies: Towards a New Methodological Tool -- Predicting Car Park Occupancy Rates in Smart

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor.

https://doi.org/10.1007/978-3-319-10575-8

Format:

Electronic Resources

Alıntı:

the development of formal methods and verification tools. "This handbook is an authoritative

	{displayName}	{count}
{error}