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.


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.


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.


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.


Software for Exascale Computing - SPPEXA 2016-2019

Software for Exascale Computing - SPPEXA 2016-2019

Author: Hans-Joachim Bungartz

Publisher: Springer Nature

Published: 2020-07-30

Total Pages: 624

ISBN-13: 3030479560

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


Run-time Reconfigurable Constant Multiplication on Field Programmable Gate Arrays

Run-time Reconfigurable Constant Multiplication on Field Programmable Gate Arrays

Author: Möller, Konrad

Publisher: kassel university press GmbH

Published: 2017

Total Pages: 138

ISBN-13: 3737603766

DOWNLOAD EBOOK

This book addresses the question how run-time reconfigurable constant multipliers (RCMs) can be efficiently implemented on field programmable gate arrays (FPGAs). RCMs calculate the multiplication of an input number by one out of several constants which can be selected during run-time. This is important as constant multiplication is an essential operation in digital signalprocessing (DSP) applications. The evaluation of RCMs is done by considering reconfiguration using reconfigurable look-up tables (LUTs),reconfiguration using multiplexers (MUXs) and Partial Reconfiguration (PR). This book contributes two new methods to generate RCMs using the first two reconfiguration principles. First, a LUT-based constant multiplier is extended to be reconfigurable. Second, optimized constant multipliers without reconfiguration are fused using MUXs. Moreover, a general post-optimization for MUX-based RCMs is proposed. Finally, the design space produced in this way is analyzed using synthesis experiments. The contributed methods provide important trade-off points in the design space of RCMs on FPGAs.


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.


Nanometer CMOS ICs

Nanometer CMOS ICs

Author: Harry J.M. Veendrick

Publisher: Springer

Published: 2017-04-28

Total Pages: 639

ISBN-13: 3319475975

DOWNLOAD EBOOK

This textbook provides a comprehensive, fully-updated introduction to the essentials of nanometer CMOS integrated circuits. It includes aspects of scaling to even beyond 12nm CMOS technologies and designs. It clearly describes the fundamental CMOS operating principles and presents substantial insight into the various aspects of design implementation and application. Coverage includes all associated disciplines of nanometer CMOS ICs, including physics, lithography, technology, design, memories, VLSI, power consumption, variability, reliability and signal integrity, testing, yield, failure analysis, packaging, scaling trends and road blocks. The text is based upon in-house Philips, NXP Semiconductors, Applied Materials, ASML, IMEC, ST-Ericsson, TSMC, etc., courseware, which, to date, has been completed by more than 4500 engineers working in a large variety of related disciplines: architecture, design, test, fabrication process, packaging, failure analysis and software.