Applied Reconfigurable Computing

Applied Reconfigurable Computing

Author: Christian Hochberger

Publisher: Springer

Published: 2019-04-02

Total Pages: 417

ISBN-13: 3030172279

DOWNLOAD EBOOK

This book constitutes the proceedings of the 15th International Symposium on Applied Reconfigurable Computing, ARC 2019, held in Darmstadt, Germany, in April 2019. The 20 full papers and 7 short papers presented in this volume were carefully reviewed and selected from 52 submissions. In addition, the volume contains 1 invited paper. The papers were organized in topical sections named: Applications; partial reconfiguration and security; image/video processing; high-level synthesis; CGRAs and vector processing; architectures; design frameworks and methodology; convolutional neural networks.


PROCEEDINGS OF THE 20TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2020

PROCEEDINGS OF THE 20TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2020

Author: Alexander Ivrii

Publisher: TU Wien Academic Press

Published: 2020-09-11

Total Pages: 284

ISBN-13: 3854480423

DOWNLOAD EBOOK

Formal Methods in Computer-Aided Design (FMCAD) is a conference series on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing ground-breaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing.


Hardware Accelerators in Data Centers

Hardware Accelerators in Data Centers

Author: Christoforos Kachris

Publisher: Springer

Published: 2018-08-21

Total Pages: 280

ISBN-13: 3319927922

DOWNLOAD EBOOK

This book provides readers with an overview of the architectures, programming frameworks, and hardware accelerators for typical cloud computing applications in data centers. The authors present the most recent and promising solutions, using hardware accelerators to provide high throughput, reduced latency and higher energy efficiency compared to current servers based on commodity processors. Readers will benefit from state-of-the-art information regarding application requirements in contemporary data centers, computational complexity of typical tasks in cloud computing, and a programming framework for the efficient utilization of the hardware accelerators.


Communicating Process Architectures 2017 & 2018

Communicating Process Architectures 2017 & 2018

Author: J. Bækgaard Pedersen

Publisher: IOS Press

Published: 2019-03-26

Total Pages: 614

ISBN-13: 161499949X

DOWNLOAD EBOOK

Concurrent and parallel systems are intrinsic to the technology which underpins almost every aspect of our lives today. This book presents the combined post-proceedings for two important conferences on concurrent and parallel systems: Communicating Process Architectures 2017, held in Sliema, Malta, in August 2017, and Communicating Process Architectures 2018, held in Dresden, Germany, in August 2018. CPA 2017: Fifteen papers were accepted for presentation and publication, they cover topics including mathematical theory, programming languages, design and support tools, verification, and multicore infrastructure and applications ranging from supercomputing to embedded. A workshop on domain-specific concurrency skeletons and the abstracts of eight fringe presentations reporting on new ideas, work in progress or interesting thoughts associated with concurrency are also included in these proceedings. CPA 2018: Eighteen papers were accepted for presentation and publication, they cover topics including mathematical theory, design and programming language and support tools, verification, multicore run-time infrastructure, and applications at all levels from supercomputing to embedded. A workshop on translating CSP-based languages to common programming languages and the abstracts of four fringe presentations on work in progress, new ideas, as well as demonstrations and concerns that certain common practices in concurrency are harmful are also included in these proceedings. The book will be of interest to all those whose work involves concurrent and parallel systems.


Parallel Problem Solving from Nature – PPSN XVI

Parallel Problem Solving from Nature – PPSN XVI

Author: Thomas Bäck

Publisher: Springer Nature

Published: 2020-09-02

Total Pages: 753

ISBN-13: 3030581128

DOWNLOAD EBOOK

This two-volume set LNCS 12269 and LNCS 12270 constitutes the refereed proceedings of the 16th International Conference on Parallel Problem Solving from Nature, PPSN 2020, held in Leiden, The Netherlands, in September 2020. The 99 revised full papers were carefully reviewed and selected from 268 submissions. The topics cover classical subjects such as automated algorithm selection and configuration; Bayesian- and surrogate-assisted optimization; benchmarking and performance measures; combinatorial optimization; connection between nature-inspired optimization and artificial intelligence; genetic and evolutionary algorithms; genetic programming; landscape analysis; multiobjective optimization; real-world applications; reinforcement learning; and theoretical aspects of nature-inspired optimization.


Sustained Simulation Performance 2021

Sustained Simulation Performance 2021

Author: Michael M. Resch

Publisher: Springer Nature

Published: 2023-02-17

Total Pages: 107

ISBN-13: 3031180461

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


VLSI-SoC: Design Trends

VLSI-SoC: Design Trends

Author: Andrea Calimera

Publisher: Springer Nature

Published: 2021-07-14

Total Pages: 372

ISBN-13: 3030816419

DOWNLOAD EBOOK

This book contains extended and revised versions of the best papers presented at the 28th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2020, held in Salt Lake City, UT, USA, in October 2020.* The 16 full papers included in this volume were carefully reviewed and selected from the 38 papers (out of 74 submissions) presented at the conference. The papers discuss the latest academic and industrial results and developments as well as future trends in the field of System-on-Chip (SoC) design, considering the challenges of nano-scale, state-of-the-art and emerging manufacturing technologies. In particular they address cutting-edge research fields like low-power design of RF, analog and mixed-signal circuits, EDA tools for the synthesis and verification of heterogenous SoCs, accelerators for cryptography and deep learning and on-chip Interconnection system, reliability and testing, and integration of 3D-ICs. *The conference was held virtually.


High Performance Computing

High Performance Computing

Author: Abhinav Bhatele

Publisher: Springer Nature

Published: 2023-05-09

Total Pages: 432

ISBN-13: 3031320417

DOWNLOAD EBOOK

This book constitutes the proceedings of the 38th International Conference on High Performance Computing, ISC High Performance 2023, which took place in Hamburg, Germany, in May 2023. The 21 papers presented in this volume were carefully reviewed and selected from 78 submissions. They were organized in topical sections as follows: Architecture, Networks, and Storage; HPC Algorithms & Applications; Machine Learning, AI, & Quantum Computing; Performance Modeling, Evaluation, & Analysis; and Programming Environments & Systems Software.