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

DOWNLOAD 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

DOWNLOAD 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

DOWNLOAD 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
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

DOWNLOAD 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
Proceedings of the Future Technologies Conference (FTC) 2019
Language: en
Pages: 1006
Authors: Kohei Arai
Categories: Technology & Engineering
Type: BOOK - Published: 2019-10-12 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book presents state-of-the-art intelligent methods and techniques for solving real-world problems and offers a vision of future research. Featuring 143 pap