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

Published: 2022-11-16

Total Pages: 137

ISBN-13: 3031157176

DOWNLOAD EBOOK

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

Published: 2022-06-10

Total Pages: 541

ISBN-13: 303094705X

DOWNLOAD EBOOK

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

Published: 2023-09-10

Total Pages: 291

ISBN-13: 303140923X

DOWNLOAD EBOOK

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

Published: 2022-08-22

Total Pages: 607

ISBN-13: 3030983471

DOWNLOAD EBOOK

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

Published: 2020-12-03

Total Pages: 583

ISBN-13: 110848851X

DOWNLOAD EBOOK

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

Published: 2018-08-23

Total Pages: 400

ISBN-13: 3319992414

DOWNLOAD EBOOK

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

Published: 2017-06-23

Total Pages: 210

ISBN-13: 9811010730

DOWNLOAD EBOOK

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

Published: 2013-09-07

Total Pages: 347

ISBN-13: 1461441935

DOWNLOAD EBOOK

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

Published: 2018-12-05

Total Pages: 495

ISBN-13: 3319993224

DOWNLOAD EBOOK

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

Published: 2006-09-19

Total Pages: 238

ISBN-13: 0387329374

DOWNLOAD EBOOK

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.