Approximate Computing and its Impact on Accuracy, Reliability and Fault-Tolerance

Approximate Computing and its Impact on Accuracy, Reliability and Fault-Tolerance
Author: Gennaro S. Rodrigues
Publisher: Springer Nature
Total Pages: 137
Release: 2022-11-16
Genre: Technology & Engineering
ISBN: 3031157176

This book introduces the concept of approximate computing for software and hardware designs and its impact on the reliability of embedded systems. It presents approximate computing methods and proposes approximate fault tolerance techniques applied to programmable hardware and embedded software to provide reliability at low computational costs. The book also presents fault tolerance techniques based on approximate computing, thus presenting how approximate computing can be applied to safety-critical systems.

Approximate Computing Techniques

Approximate Computing Techniques
Author: Alberto Bosio
Publisher: Springer Nature
Total Pages: 541
Release: 2022-06-10
Genre: Technology & Engineering
ISBN: 303094705X

This book serves as a single-source reference to the latest advances in Approximate Computing (AxC), a promising technique for increasing performance or reducing the cost and power consumption of a computing system. The authors discuss the different AxC design and validation techniques, and their integration. They also describe real AxC applications, spanning from mobile to high performance computing and also safety-critical applications.

Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security
Author: Jérémie Guiochet
Publisher: Springer Nature
Total Pages: 291
Release: 2023-09-10
Genre: Computers
ISBN: 303140923X

This book constitutes the refereed proceedings of the 42nd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2023, which took place in Toulouse, France, in September 2023. The 20 full papers included in this volume were carefully reviewed and selected from 100 submissions. They were organized in topical sections as follows: Safety assurance; software testing and reliability; neural networks robustness and monitoring; model-based security and threat analysis; safety of autonomous driving; security engineering; AI safety; and neural networks and testing.

Approximate Computing

Approximate Computing
Author: Weiqiang Liu
Publisher: Springer Nature
Total Pages: 607
Release: 2022-08-22
Genre: Technology & Engineering
ISBN: 3030983471

This book explores the technological developments at various levels of abstraction, of the new paradigm of approximate computing. The authors describe in a single-source the state-of-the-art, covering the entire spectrum of research activities in approximate computing, bridging device, circuit, architecture, and system levels. Content includes tutorials, reviews and surveys of current theoretical/experimental results, design methodologies and applications developed in approximate computing for a wide scope of readership and specialists. Serves as a single-source reference to state-of-the-art of approximate computing; Covers broad range of topics, from circuits to applications; Includes contributions by leading researchers, from academia and industry.

Foundations of Probabilistic Programming

Foundations of Probabilistic Programming
Author: Gilles Barthe
Publisher: Cambridge University Press
Total Pages: 583
Release: 2020-12-03
Genre: Computers
ISBN: 110848851X

This book provides an overview of the theoretical underpinnings of modern probabilistic programming and presents applications in e.g., machine learning, security, and approximate computing. Comprehensive survey chapters make the material accessible to graduate students and non-experts. This title is also available as Open Access on Cambridge Core.

Search-Based Software Engineering

Search-Based Software Engineering
Author: Thelma Elita Colanzi
Publisher: Springer
Total Pages: 400
Release: 2018-08-23
Genre: Computers
ISBN: 3319992414

This book constitutes the refereed proceedings of the 10th International Symposium on Search-Based Software Engineering, SSBSE 2018, held in Montpellier, France, in September 2018. The 12 full papers and 7 short papers presented together with 3 keynotes, 2 tutorials, and 1 anniversary paper were carefully reviewed and selected from 21 submissions. SSBSE welcomes not only applications from throughout the software engineering lifecycle but also a broad range of search methods ranging from exact Operational Research techniques to nature-inspired algorithms and simulated annealing. Chapter "Deploying Search Based Software Engineering with Sapienz at Facebook" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

High-level Estimation and Exploration of Reliability for Multi-Processor System-on-Chip

High-level Estimation and Exploration of Reliability for Multi-Processor System-on-Chip
Author: Zheng Wang
Publisher: Springer
Total Pages: 210
Release: 2017-06-23
Genre: Technology & Engineering
ISBN: 9811010730

This book introduces a novel framework for accurately modeling the errors in nanoscale CMOS technology and developing a smooth tool flow at high-level design abstractions to estimate and mitigate the effects of errors. The book presents novel techniques for high-level fault simulation and reliability estimation as well as architecture-level and system-level fault tolerant designs. It also presents a survey of state-of-the-art problems and solutions, offering insights into reliability issues in digital design and their cross-layer countermeasures.

Energy-Efficient Fault-Tolerant Systems

Energy-Efficient Fault-Tolerant Systems
Author: Jimson Mathew
Publisher: Springer Science & Business Media
Total Pages: 347
Release: 2013-09-07
Genre: Technology & Engineering
ISBN: 1461441935

This book describes the state-of-the-art in energy efficient, fault-tolerant embedded systems. It covers the entire product lifecycle of electronic systems design, analysis and testing and includes discussion of both circuit and system-level approaches. Readers will be enabled to meet the conflicting design objectives of energy efficiency and fault-tolerance for reliability, given the up-to-date techniques presented.

Approximate Circuits

Approximate Circuits
Author: Sherief Reda
Publisher: Springer
Total Pages: 495
Release: 2018-12-05
Genre: Technology & Engineering
ISBN: 3319993224

This book provides readers with a comprehensive, state-of-the-art overview of approximate computing, enabling the design trade-off of accuracy for achieving better power/performance efficiencies, through the simplification of underlying computing resources. The authors describe in detail various efforts to generate approximate hardware systems, while still providing an overview of support techniques at other computing layers. The book is organized by techniques for various hardware components, from basic building blocks to general circuits and systems.

Software-Implemented Hardware Fault Tolerance

Software-Implemented Hardware Fault Tolerance
Author: Olga Goloubeva
Publisher: Springer Science & Business Media
Total Pages: 238
Release: 2006-09-19
Genre: Technology & Engineering
ISBN: 0387329374

This book presents the theory behind software-implemented hardware fault tolerance, as well as the practical aspects needed to put it to work on real examples. By evaluating accurately the advantages and disadvantages of the already available approaches, the book provides a guide to developers willing to adopt software-implemented hardware fault tolerance in their applications. Moreover, the book identifies open issues for researchers willing to improve the already available techniques.