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

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

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 PDF

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.

The Evolution of Fault-Tolerant Computing

The Evolution of Fault-Tolerant Computing PDF

Author: A. Avizienis

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 467

ISBN-13: 3709188717

DOWNLOAD EBOOK →

For the editors of this book, as well as for many other researchers in the area of fault-tolerant computing, Dr. William Caswell Carter is one of the key figures in the formation and development of this important field. We felt that the IFIP Working Group 10.4 at Baden, Austria, in June 1986, which coincided with an important step in Bill's career, was an appropriate occasion to honor Bill's contributions and achievements by organizing a one day "Symposium on the Evolution of Fault-Tolerant Computing" in the honor of William C. Carter. The Symposium, held on June 30, 1986, brought together a group of eminent scientists from all over the world to discuss the evolu tion, the state of the art, and the future perspectives of the field of fault-tolerant computing. Historic developments in academia and industry were presented by individuals who themselves have actively been involved in bringing them about. The Symposium proved to be a unique historic event and these Proceedings, which contain the final versions of the papers presented at Baden, are an authentic reference document.

Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security PDF

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 PDF

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.

Dependable Computing for Critical Applications

Dependable Computing for Critical Applications PDF

Author: Algirdas Avizienis

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 428

ISBN-13: 3709191238

DOWNLOAD EBOOK →

The International Working Conference on Dependable Computing for Critical Applications was the first conference organized by IFIP Working Group 10. 4 "Dependable Computing and Fault Tolerance", in cooperation with the Technical Committee on Fault-Tolerant Computing of the IEEE Computer Society, and the Technical Committee 7 on Systems Reliability, Safety and Security of EWlCS. The rationale for the Working Conference is best expressed by the aims of WG 10. 4: " Increasingly, individuals and organizations are developing or procuring sophisticated computing systems on whose services they need to place great reliance. In differing circumstances, the focus will be on differing properties of such services - e. g. continuity, performance, real-time response, ability to avoid catastrophic failures, prevention of deliberate privacy intrusions. The notion of dependability, defined as that property of a computing system which allows reliance to be justifiably placed on the service it delivers, enables these various concerns to be subsumed within a single conceptual framework. Dependability thus includes as special cases such attributes as reliability, availability, safety, security. The Working Group is aimed at identifying and integrating approaches, methods and techniques for specifying, designing, building, assessing, validating, operating and maintaining computer systems which should exhibit some or all of these attributes. " The concept of WG 10. 4 was formulated during the IFIP Working Conference on Reliable Computing and Fault Tolerance on September 27-29, 1979 in London, England, held in conjunction with the Europ-IFIP 79 Conference. Profs A. Avi~ienis (UCLA, Los Angeles, USA) and A.

Reliability of Computer Systems and Networks

Reliability of Computer Systems and Networks PDF

Author: Martin L. Shooman

Publisher: John Wiley & Sons

Published: 2003-04-08

Total Pages: 552

ISBN-13: 0471464066

DOWNLOAD EBOOK →

With computers becoming embedded as controllers in everything from network servers to the routing of subway schedules to NASA missions, there is a critical need to ensure that systems continue to function even when a component fails. In this book, bestselling author Martin Shooman draws on his expertise in reliability engineering and software engineering to provide a complete and authoritative look at fault tolerant computing. He clearly explains all fundamentals, including how to use redundant elements in system design to ensure the reliability of computer systems and networks. Market: Systems and Networking Engineers, Computer Programmers, IT Professionals.

Foundations of Probabilistic Programming

Foundations of Probabilistic Programming PDF

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 PDF

Author: Thelma Elita Colanzi

Publisher: Springer

Published: 2018-08-23

Total Pages: 393

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.

Design And Analysis Of Reliable And Fault-tolerant Computer Systems

Design And Analysis Of Reliable And Fault-tolerant Computer Systems PDF

Author: Mostafa I Abd-el-barr

Publisher: World Scientific

Published: 2006-12-15

Total Pages: 463

ISBN-13: 190897978X

DOWNLOAD EBOOK →

Covering both the theoretical and practical aspects of fault-tolerant mobile systems, and fault tolerance and analysis, this book tackles the current issues of reliability-based optimization of computer networks, fault-tolerant mobile systems, and fault tolerance and reliability of high speed and hierarchical networks.The book is divided into six parts to facilitate coverage of the material by course instructors and computer systems professionals. The sequence of chapters in each part ensures the gradual coverage of issues from the basics to the most recent developments. A useful set of references, including electronic sources, is listed at the end of each chapter./a