Related Books

Sustained Simulation Performance 2019 and 2020
Language: en
Pages: 187
Authors: Michael M. Resch
Categories: Computers
Type: BOOK - Published: 2021-03-01 - Publisher: Springer Nature

GET EBOOK

This book presents the state of the art in High Performance Computing on modern supercomputer architectures. It addresses trends in hardware and software develo
Sustained Simulation Performance 2018 and 2019
Language: en
Pages: 230
Authors: Michael M. Resch
Categories: Computers
Type: BOOK - Published: 2020-03-30 - Publisher: Springer Nature

GET EBOOK

This book presents the state of the art in High Performance Computing on modern supercomputer architectures. It addresses trends in hardware and software develo
The Logic of Software. A Tasting Menu of Formal Methods
Language: en
Pages: 531
Authors: Wolfgang Ahrendt
Categories: Computers
Type: BOOK - Published: 2022-07-04 - Publisher: Springer Nature

GET EBOOK

This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After position
Sustained Simulation Performance 2019 and 2020
Language: en
Pages: 0
Authors: Michael M. Resch
Categories:
Type: BOOK - Published: 2021 - Publisher:

GET EBOOK

This book presents the state of the art in High Performance Computing on modern supercomputer architectures. It addresses trends in hardware and software develo
Software for Exascale Computing - SPPEXA 2016-2019
Language: en
Pages: 624
Authors: Hans-Joachim Bungartz
Categories: Computers
Type: BOOK - Published: 2020-07-30 - Publisher: Springer Nature

GET EBOOK

This open access book summarizes the research done and results obtained in the second funding phase of the Priority Program 1648 "Software for Exascale Computin