Search results: Found 6

Listing 1 - 6 of 6
Sort by
Computer Aided Verification

Authors: ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030532888 Year: Pages: 669 DOI: 10.1007/978-3-030-53288-8 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-09-01 00:03:41
License:

Loading...
Export citation

Choose an application

Abstract

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.

Data Parallel C++

Authors: --- --- --- --- et al.
ISBN: 9781484255742 Year: Pages: 548 DOI: 10.1007/978-1-4842-5574-2 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-11-19 00:18:20
License:

Loading...
Export citation

Choose an application

Abstract

Learn how to accelerate C++ programs using data parallelism. This open access book enables C++ programmers to be at the forefront of this exciting and important new development that is helping to push computing to new levels. It is full of practical advice, detailed explanations, and code examples to illustrate key topics. Data parallelism in C++ enables access to parallel resources in a modern heterogeneous system, freeing you from being locked into any particular computing device. Now a single C++ application can use any combination of devices—including GPUs, CPUs, FPGAs and AI ASICs—that are suitable to the problems at hand. This book begins by introducing data parallelism and foundational topics for effective use of the SYCL standard from the Khronos Group and Data Parallel C++ (DPC++), the open source compiler used in this book. Later chapters cover advanced topics including error handling, hardware-specific programming, communication and synchronization, and memory model considerations. Data Parallel C++ provides you with everything needed to use SYCL for programming heterogeneous systems. What You'll Learn Accelerate C++ programs using data-parallel programming Target multiple device types (e.g. CPU, GPU, FPGA) Use SYCL and SYCL compilers Connect with computing’s heterogeneous future via Intel’s oneAPI initiative Who This Book Is For Those new data-parallel programming and computer programmers interested in data-parallel programming using C++.

Computer Aided Verification

Authors: ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030532918 Year: Pages: 683 DOI: 10.1007/978-3-030-53291-8 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-09-01 00:03:38
License:

Loading...
Export citation

Choose an application

Abstract

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.

Managing Distributed Cloud Applications and Infrastructure

Authors: --- --- ---
Book Series: Palgrave Studies in Digital Business & Enabling Technologies ISBN: 9783030398637 Year: Pages: 163 DOI: 10.1007/978-3-030-39863-7 Language: English
Publisher: Springer Nature
Subject: Business and Management --- Computer Science
Added to DOAB on : 2020-09-01 00:02:37
License:

Loading...
Export citation

Choose an application

Abstract

The emergence of the Internet of Things (IoT), combined with greater heterogeneity not only online in cloud computing architectures but across the cloud-to-edge continuum, is introducing new challenges for managing applications and infrastructure across this continuum. The scale and complexity is simply so complex that it is no longer realistic for IT teams to manually foresee the potential issues and manage the dynamism and dependencies across an increasing inter-dependent chain of service provision. This Open Access Pivot explores these challenges and offers a solution for the intelligent and reliable management of physical infrastructure and the optimal placement of applications for the provision of services on distributed clouds. This book provides a conceptual reference model for reliable capacity provisioning for distributed clouds and discusses how data analytics and machine learning, application and infrastructure optimization, and simulation can deliver quality of service requirements cost-efficiently in this complex feature space. These are illustrated through a series of case studies in cloud computing, telecommunications, big data analytics, and smart cities.

Software for Exascale Computing - SPPEXA 2016-2019

Authors: --- --- --- --- et al.
Book Series: Lecture Notes in Computational Science and Engineering ISBN: 9783030479565 Year: Pages: 620 DOI: 10.1007/978-3-030-47956-5 Language: English
Publisher: Springer Nature
Subject: Computer Science --- Science (General) --- Agriculture (General) --- Mathematics
Added to DOAB on : 2020-09-01 00:03:54
License:

Loading...
Export citation

Choose an application

Abstract

This open access book summarizes the research done and results obtained in the second funding phase of the Priority Program 1648 "Software for Exascale Computing" (SPPEXA) of the German Research Foundation (DFG) presented at the SPPEXA Symposium in Dresden during October 21-23, 2019. In that respect, it both represents a continuation of Vol. 113 in Springer’s series Lecture Notes in Computational Science and Engineering, the corresponding report of SPPEXA’s first funding phase, and provides an overview of SPPEXA’s contributions towards exascale computing in today's sumpercomputer technology. The individual chapters address one or more of the research directions (1) computational algorithms, (2) system software, (3) application software, (4) data management and exploration, (5) programming, and (6) software tools. The book has an interdisciplinary appeal: scholars from computational sub-fields in computer science, mathematics, physics, or engineering will find it of particular interest.

Supercomputing Frontiers

Author:
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030488420 Year: Pages: 139 DOI: 10.1007/978-3-030-48842-0 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-06-16 23:58:55
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned to be held in February 2020, but unfortunately, the physical conference was cancelled due to the COVID-19 pandemic. The 8 full papers presented in this book were carefully reviewed and selected from 22 submissions. They cover a range of topics including file systems, memory hierarchy, HPC cloud platform, container image configuration workflow, large-scale applications, and scheduling.

Listing 1 - 6 of 6
Sort by
Narrow your search

Publisher

Springer Nature (6)


License

CC by (6)


Language

english (6)


Year
From To Submit

2021 (1)

2020 (5)