Author: Michael M. Resch
Publisher: Springer Nature
ISBN: 3030391817
Category : Computers
Languages : en
Pages : 230
Book Description
This book presents the state of the art in High Performance Computing on modern supercomputer architectures. It addresses trends in hardware and software development in general, as well as the future of High Performance Computing systems and heterogeneous architectures. The contributions cover a broad range of topics, from improved system management to Computational Fluid Dynamics, High Performance Data Analytics, and novel mathematical approaches for large-scale systems. In addition, they explore innovative fields like coupled multi-physics and multi-scale simulations. All contributions are based on selected papers presented at the 26th and 28th Workshops on Sustained Simulation Performance, held at the High Performance Computing Center, University of Stuttgart, Germany, in October 2017 and 2018, and the 27th and 29th Workshops on Sustained Simulation Performance, held at the Cyberscience Center, Tohoku University, Japan, in March 2018 and 2019.
Sustained Simulation Performance 2018 and 2019
Author: Michael M. Resch
Publisher: Springer Nature
ISBN: 3030391817
Category : Computers
Languages : en
Pages : 230
Book Description
This book presents the state of the art in High Performance Computing on modern supercomputer architectures. It addresses trends in hardware and software development in general, as well as the future of High Performance Computing systems and heterogeneous architectures. The contributions cover a broad range of topics, from improved system management to Computational Fluid Dynamics, High Performance Data Analytics, and novel mathematical approaches for large-scale systems. In addition, they explore innovative fields like coupled multi-physics and multi-scale simulations. All contributions are based on selected papers presented at the 26th and 28th Workshops on Sustained Simulation Performance, held at the High Performance Computing Center, University of Stuttgart, Germany, in October 2017 and 2018, and the 27th and 29th Workshops on Sustained Simulation Performance, held at the Cyberscience Center, Tohoku University, Japan, in March 2018 and 2019.
Publisher: Springer Nature
ISBN: 3030391817
Category : Computers
Languages : en
Pages : 230
Book Description
This book presents the state of the art in High Performance Computing on modern supercomputer architectures. It addresses trends in hardware and software development in general, as well as the future of High Performance Computing systems and heterogeneous architectures. The contributions cover a broad range of topics, from improved system management to Computational Fluid Dynamics, High Performance Data Analytics, and novel mathematical approaches for large-scale systems. In addition, they explore innovative fields like coupled multi-physics and multi-scale simulations. All contributions are based on selected papers presented at the 26th and 28th Workshops on Sustained Simulation Performance, held at the High Performance Computing Center, University of Stuttgart, Germany, in October 2017 and 2018, and the 27th and 29th Workshops on Sustained Simulation Performance, held at the Cyberscience Center, Tohoku University, Japan, in March 2018 and 2019.
Sustained Simulation Performance 2019 and 2020
Author: Michael M. Resch
Publisher: Springer Nature
ISBN: 3030680495
Category : Computers
Languages : en
Pages : 187
Book Description
This book presents the state of the art in High Performance Computing on modern supercomputer architectures. It addresses trends in hardware and software development in general. The contributions cover a broad range of topics, from performance evaluations in context with power efficiency to Computational Fluid Dynamics and High Performance Data Analytics. In addition, they explore new topics like the use of High Performance Computers in the field of Artificial Intelligence and Machine Learning. All contributions are based on selected papers presented at the 30th Workshop on Sustained Simulation Performance (WSSP) held at the High Performance Computing Center, University of Stuttgart, Germany in October 2019 and on the papers for the planned Workshop on Sustained Simulation Performance in March 2020, which could not take place due to the Covid-19 pandemic.
Publisher: Springer Nature
ISBN: 3030680495
Category : Computers
Languages : en
Pages : 187
Book Description
This book presents the state of the art in High Performance Computing on modern supercomputer architectures. It addresses trends in hardware and software development in general. The contributions cover a broad range of topics, from performance evaluations in context with power efficiency to Computational Fluid Dynamics and High Performance Data Analytics. In addition, they explore new topics like the use of High Performance Computers in the field of Artificial Intelligence and Machine Learning. All contributions are based on selected papers presented at the 30th Workshop on Sustained Simulation Performance (WSSP) held at the High Performance Computing Center, University of Stuttgart, Germany in October 2019 and on the papers for the planned Workshop on Sustained Simulation Performance in March 2020, which could not take place due to the Covid-19 pandemic.
Sustained Simulation Performance 2021
Author: Michael M. Resch
Publisher: Springer Nature
ISBN: 3031180461
Category : Computers
Languages : en
Pages : 107
Book Description
This book presents the state of the art in High-Performance Computing on modern supercomputer architectures. It addresses trends in hardware and software development in general. The contributions cover a broad range of topics, from performance evaluations in context with power efficiency to Computational Fluid Dynamics and High-Performance Data Analytics. In addition, they explore new topics like the use of High-Performance Computers in the field of Artificial Intelligence and Machine Learning. All contributions are based on selected papers presented in 2021 at the 31st Workshop on Sustained Simulation Performance, WSSP31, held at HLRS in Stuttgart, Germany, and WSSP32, held at Tohoku University in Sendai, Japan.
Publisher: Springer Nature
ISBN: 3031180461
Category : Computers
Languages : en
Pages : 107
Book Description
This book presents the state of the art in High-Performance Computing on modern supercomputer architectures. It addresses trends in hardware and software development in general. The contributions cover a broad range of topics, from performance evaluations in context with power efficiency to Computational Fluid Dynamics and High-Performance Data Analytics. In addition, they explore new topics like the use of High-Performance Computers in the field of Artificial Intelligence and Machine Learning. All contributions are based on selected papers presented in 2021 at the 31st Workshop on Sustained Simulation Performance, WSSP31, held at HLRS in Stuttgart, Germany, and WSSP32, held at Tohoku University in Sendai, Japan.
Sustained Simulation Performance 2022
Author: Michael M. Resch
Publisher: Springer Nature
ISBN: 3031410734
Category : Computer engineering
Languages : en
Pages : 84
Book Description
Zusammenfassung: This book presents the state of the art in High-Performance Computing on modern supercomputer architectures. It addresses trends in hardware and software development in general. The contributions cover a broad range of topics, from performance evaluations in context with power efficiency to Computational Fluid Dynamics and High-Performance Data Analytics. In addition, they explore new topics like the use of High-Performance Computers in the field of Artificial Intelligence and Machine Learning. All contributions are based on selected papers presented in 2022 at the 33rd Workshop on Sustained Simulation Performance, WSSP33, held at HLRS in Stuttgart, Germany, and WSSP34, held at Tohoku University in Sendai, Japan
Publisher: Springer Nature
ISBN: 3031410734
Category : Computer engineering
Languages : en
Pages : 84
Book Description
Zusammenfassung: This book presents the state of the art in High-Performance Computing on modern supercomputer architectures. It addresses trends in hardware and software development in general. The contributions cover a broad range of topics, from performance evaluations in context with power efficiency to Computational Fluid Dynamics and High-Performance Data Analytics. In addition, they explore new topics like the use of High-Performance Computers in the field of Artificial Intelligence and Machine Learning. All contributions are based on selected papers presented in 2022 at the 33rd Workshop on Sustained Simulation Performance, WSSP33, held at HLRS in Stuttgart, Germany, and WSSP34, held at Tohoku University in Sendai, Japan
The Logic of Software. A Tasting Menu of Formal Methods
Author: Wolfgang Ahrendt
Publisher: Springer Nature
ISBN: 3031081668
Category : Computers
Languages : en
Pages : 531
Book Description
This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universität Darmstadt, where his team focuses on the formal verification of object-oriented software, the formal modeling and specification of highly adaptive software systems, and formal modeling and analysis in domains such as biological systems and railroad operations. His work is characterized by achievements in theory and in practical implementations, significant collaborations include the KeY project and the development of the ABS language. He has served as chair and editor of important related academic conferences, and coauthored almost 200 academic publications. The contributions in this volume reflect Reiner’s main research focus: formal methods, in particular applied to software verification.
Publisher: Springer Nature
ISBN: 3031081668
Category : Computers
Languages : en
Pages : 531
Book Description
This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universität Darmstadt, where his team focuses on the formal verification of object-oriented software, the formal modeling and specification of highly adaptive software systems, and formal modeling and analysis in domains such as biological systems and railroad operations. His work is characterized by achievements in theory and in practical implementations, significant collaborations include the KeY project and the development of the ABS language. He has served as chair and editor of important related academic conferences, and coauthored almost 200 academic publications. The contributions in this volume reflect Reiner’s main research focus: formal methods, in particular applied to software verification.
Sustained Simulation Performance 2014
Author: Michael M. Resch
Publisher: Springer
ISBN: 3319106260
Category : Computers
Languages : en
Pages : 242
Book Description
This book presents the state of the art in high-performance computing and simulation on modern supercomputer architectures. It covers trends in hardware and software development in general and the future of high-performance systems and heterogeneous architectures in particular. The application-related contributions cover computational fluid dynamics, material science, medical applications and climate research; innovative fields such as coupled multi-physics and multi-scale simulations are highlighted. All papers were chosen from presentations given at the 18th Workshop on Sustained Simulation Performance held at the HLRS, University of Stuttgart, Germany in October 2013 and subsequent Workshop of the same name held at Tohoku University in March 2014.
Publisher: Springer
ISBN: 3319106260
Category : Computers
Languages : en
Pages : 242
Book Description
This book presents the state of the art in high-performance computing and simulation on modern supercomputer architectures. It covers trends in hardware and software development in general and the future of high-performance systems and heterogeneous architectures in particular. The application-related contributions cover computational fluid dynamics, material science, medical applications and climate research; innovative fields such as coupled multi-physics and multi-scale simulations are highlighted. All papers were chosen from presentations given at the 18th Workshop on Sustained Simulation Performance held at the HLRS, University of Stuttgart, Germany in October 2013 and subsequent Workshop of the same name held at Tohoku University in March 2014.
Simulation for a Sustainable Future
Author: Miguel Mujica Mota
Publisher: Springer Nature
ISBN: 3031684389
Category :
Languages : en
Pages : 374
Book Description
Publisher: Springer Nature
ISBN: 3031684389
Category :
Languages : en
Pages : 374
Book Description
Modelling and Simulation of Complex Systems for Sustainable Energy Efficiency
Author: Ahmed Hammami
Publisher: Springer Nature
ISBN: 3030855848
Category : Technology & Engineering
Languages : en
Pages : 270
Book Description
This book provides readers with an overview of recent theories and methods for studying complex mechanical systems used in energy production, such as wind turbines, but not limited to them. The emphasis is put on strategies for increasing energy efficiency, and on recent industrial applications. Topics cover dynamics and vibration, vibroacoustics, engineering design, modelling and simulation, fault diagnostics, signal processing and prognostics. The book is based on peer-review contributions and invited talks presented at the first International Workshop on MOdelling and Simulation of COmplex Systems for Sustainable Energy Efficiency, MOSCOSSEE 2021, held online on February 25-26, 2021, and organized by the LAboratory of Mechanics, Modelling and Production (LA2MP) from University of Sfax, Tunisia and the Department of Mechanical and Aeronautical engineering, Centre of Asset Integrity Management (C-AIM) from University of Pretoria, South Africa. By offering authoritative information on innovative methods and tools for application in renewable energy production, it provides a valuable resource to both academics and professionals, and a bridge to facilitate communication between the two groups.
Publisher: Springer Nature
ISBN: 3030855848
Category : Technology & Engineering
Languages : en
Pages : 270
Book Description
This book provides readers with an overview of recent theories and methods for studying complex mechanical systems used in energy production, such as wind turbines, but not limited to them. The emphasis is put on strategies for increasing energy efficiency, and on recent industrial applications. Topics cover dynamics and vibration, vibroacoustics, engineering design, modelling and simulation, fault diagnostics, signal processing and prognostics. The book is based on peer-review contributions and invited talks presented at the first International Workshop on MOdelling and Simulation of COmplex Systems for Sustainable Energy Efficiency, MOSCOSSEE 2021, held online on February 25-26, 2021, and organized by the LAboratory of Mechanics, Modelling and Production (LA2MP) from University of Sfax, Tunisia and the Department of Mechanical and Aeronautical engineering, Centre of Asset Integrity Management (C-AIM) from University of Pretoria, South Africa. By offering authoritative information on innovative methods and tools for application in renewable energy production, it provides a valuable resource to both academics and professionals, and a bridge to facilitate communication between the two groups.
Software for Exascale Computing - SPPEXA 2016-2019
Author: Hans-Joachim Bungartz
Publisher: Springer Nature
ISBN: 3030479560
Category : Computers
Languages : en
Pages : 624
Book Description
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.
Publisher: Springer Nature
ISBN: 3030479560
Category : Computers
Languages : en
Pages : 624
Book Description
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.
Proceedings of the Future Technologies Conference (FTC) 2019
Author: Kohei Arai
Publisher: Springer Nature
ISBN: 3030325202
Category : Technology & Engineering
Languages : en
Pages : 1006
Book Description
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 papers from the 4th Future Technologies Conference, held in San Francisco, USA, in 2019, it covers a wide range of important topics, including, but not limited to, computing, electronics, artificial intelligence, robotics, security and communications and their applications to the real world. As such, it is an interesting, exciting and inspiring read.
Publisher: Springer Nature
ISBN: 3030325202
Category : Technology & Engineering
Languages : en
Pages : 1006
Book Description
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 papers from the 4th Future Technologies Conference, held in San Francisco, USA, in 2019, it covers a wide range of important topics, including, but not limited to, computing, electronics, artificial intelligence, robotics, security and communications and their applications to the real world. As such, it is an interesting, exciting and inspiring read.