Computational Science – ICCS 2023


Book Description

The five-volume set LNCS 14073-14077 constitutes the proceedings of the 23rd International Conference on Computational Science, ICCS 2023, held in Prague, Czech Republic, during July 3-5, 2023. The total of 188 full papers and 94 short papers presented in this book set were carefully reviewed and selected from 530 submissions. 54 full and 37 short papers were accepted to the main track; 134 full and 57 short papers were accepted to the workshops/thematic tracks. The theme for 2023, "Computation at the Cutting Edge of Science", highlights the role of Computational Science in assisting multidisciplinary research. This conference was a unique event focusing on recent developments in scalable scientific algorithms, advanced software tools; computational grids; advanced numerical methods; and novel application areas. These innovative novel models, algorithms, and tools drive new science through efficient application in physical systems, computational and systems biology, environmental systems, finance, and others.







Applied Reconfigurable Computing. Architectures, Tools, and Applications


Book Description

This book constitutes the proceedings of the 19th International Symposium on Applied Reconfigurable Computing, ARC 2023, which was held in Cottbus, Germany, in September 2023. The 18 full papers presented in this volume were reviewed and selected from numerous submissions. The proceedings also contain 4 short PhD papers. The contributions were organized in topical sections as follows: Design methods and tools; applications; architectures; special session: near and in-memory computing; and PhD forum papers.




PROCEEDINGS OF THE 24TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2024


Book Description

Die Proceedings zur Konferenz „Formal Methods in Computer-Aided Design 2024“ geben aktuelle Einblicke in ein spannendes Forschungsfeld. Zum fünften Mal erscheinen die Beiträge der Konferenzreihe „Formal Methods in Computer-Aided Design“ (FMCAD) als Konferenzband bei TU Wien Academic Press. Der aktuelle Band der seit 2006 jährlich veranstalteten Konferenzreihe präsentiert in 35 Beiträgen neueste wissenschaftliche Erkenntnisse aus dem Bereich des computergestützten Entwerfens. Die Beiträge behandeln formale Aspekte des computergestützten Systemdesigns einschließlich Verifikation, Spezifikation, Synthese und Test. Die FMCAD-Konferenz findet im Oktober 2024 in Prag, Tschechische Republik, statt. Sie gilt als führendes Forum im Bereich des computer-aided design und bietet seit ihrer Gründung Forschenden sowohl aus dem akademischen als auch dem industriellen Umfeld die Möglichkeit, sich auszutauschen und zu vernetzen.







Embedded Computer Systems: Architectures, Modeling, and Simulation


Book Description

This book constitutes the proceedings of the 22st International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2021, which took place in July 2022 in Samos, Greece. The 11 full papers and 7 short papers presented in this volume were carefully reviewed and selected from 45 submissions. The conference covers a wide range of embedded systems design aspects, including machine learning accelerators, and power management and programmable dataflow systems.




Architecture of Computing Systems


Book Description

T​his book constitutes the proceedings of the 36th International Conference on Architecture of Computing Systems, ARCS 2023, which took place in Athens, Greece, in June 2023. The 18 full papers in this volume were carefully reviewed and selected from 35 submissions. ARCS provides a platform covering newly emerging and cross-cutting topics, such as autonomous and ubiquitous systems, reconfigurable computing and acceleration, neural networks and artificial intelligence. The selected papers cover a variety of topics from the ARCS core domains, including energy efficiency, applied machine learning, hardware and software system security, reliable and fault-tolerant systems and organic computing. Back to top




Parallel Computing Technologies


Book Description

This book constitutes the refereed proceedings of the 17th International Conference on Parallel Computing Technologies, PaCT 2023, held in Astana, Kazakhstan, during August 21-25, 2023. The 15 full papers included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: automatic programming and program tuning; frameworks and services; algorithms; and distributed systems management.




High Performance Computing. ISC High Performance 2022 International Workshops


Book Description

This book constitutes the refereed conference proceedings of the workshops held at the 37th International ISC High Performance 2022 Conference, in Hamburg, Germany, in June 2, 2022. The 27 full papers were included in this book were carefully reviewed and selected from 43 submissions. ISC High Performance 2022 presents the following workshops: Compiler-assisted Correctness Checking and Performance Optimization for HPC HPC on Heterogeneous Hardware (H3) Malleability Techniques Applications in High Performance Computing Fifth Workshop on Interactive High Performance Computing 3rd ISC HPC International Workshop on Monitoring & Operational Data Analytics 6th International Workshop on In Situ Visualization 17th Workshop on Virtualization in High Performance Cloud Computing Chapter “Compiler-Assisted Instrumentation Selection for Large-Scale C++ Codes” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. /div




Green Sustainability: Towards Innovative Digital Transformation


Book Description

The book is a collection of best selected research papers presented at the Third World Conference on Internet of Things: Applications & Future (ITAF 2023) organized by Global Knowledge Research Foundation in Cairo during February 4–5, 2023. It includes innovative works from researchers, leading innovators, business executives, and industry professionals to examine the latest advances and applications for commercial and industrial end users across sectors within the emerging Internet of things ecosphere. It shares state-of-the-art as well as emerging topics related to Internet of things such as big data research, emerging services and analytics, Internet of things (IoT) fundamentals, electronic computation and analysis, big data for multi-discipline services, security, privacy and trust, IoT technologies, and open and cloud technologies.