Loading…

QR Code

Reliable Software for Unreliable Hardware A Cross Layer Perspective /

This book describes novel software concepts to increase reliability under user-defined constraints. The authors' approach bridges, for the first time, the reliability gap between hardware and software. Readers will learn how to achieve increased soft error resilience on unreliable hardware, whi...

Full description

Bibliographic Details
Main Authors:	Rehman, Semeen (Author), Shafique, Muhammad (Author), Henkel, Jörg (Author)
Corporate Author:	SpringerLink (Online service)
Format:	e-Book
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2016.
Edition:	1st ed. 2016.
Subjects:	Electronic circuits. Microprocessors. Computer architecture. Electronics. Electronic Circuits and Systems. Processor Architectures. Electronics and Microelectronics, Instrumentation.
Online Access:	Full-text access View in OPAC

Similar Items

Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approach /
by: Khan, Muhammad Usman Karim, et al.
Published: (2018)

Handbook of Hardware/Software Codesign
Published: (2017)

Foundations of Hardware IP Protection
Published: (2017)

Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores
by: Pagani, Santiago, et al.
Published: (2018)

Hardware Security and Trust Design and Deployment of Integrated Circuits in a Threatened Environment /
Published: (2017)

FPGAs for Software Programmers
Published: (2016)

Embedded Software Verification and Debugging
Published: (2017)

8051 Microcontrollers Fundamental Concepts, Hardware, Software and Applications in Electronics /
by: Gimenez, Salvador Pinillos
Published: (2019)

Hardware Protection through Obfuscation
Published: (2017)

Security Policy in System-on-Chip Designs Specification, Implementation and Verification /
by: Ray, Sandip, et al.
Published: (2019)

Embedded Systems Design with Special Arithmetic and Number Systems
Published: (2017)

Fundamentals of Computer Architecture and Design
by: Bindal, Ahmet
Published: (2019)

Exact Design of Digital Microfluidic Biochips
by: Keszocze, Oliver, et al.
Published: (2019)

Post-Silicon Validation and Debug
Published: (2019)

Approximate Circuits Methodologies and CAD /
Published: (2019)

Learning from VLSI Design Experience
by: Lee, Weng Fook
Published: (2019)

Power Estimation on Electronic System Level using Linear Power Models
by: Schuermans, Stefan, et al.
Published: (2019)

Distributed Embedded Controller Development with Petri Nets Application to Globally-Asynchronous Locally-Synchronous Systems /
by: Moutinho, Filipe de Carvalho, et al.
Published: (2016)

Automated Methods in Cryptographic Fault Analysis
Published: (2019)

Complex Digital Circuits
by: Deschamps, Jean-Pierre, et al.
Published: (2019)

Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test /
by: Chandrasekharan, Arun, et al.
Published: (2019)

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2017 /
Published: (2019)

Design Automation for Differential MOS Current-Mode Logic Circuits
by: Badel, Stéphane, et al.
Published: (2019)

Techniques for Building Timing-Predictable Embedded Systems
by: Guan, Nan
Published: (2016)

Timing Performance of Nanometer Digital Circuits Under Process Variations
by: Champac, Victor, et al.
Published: (2018)

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016 /
Published: (2018)

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015 /
Published: (2016)

Contactless VLSI Measurement and Testing Techniques
by: Sayil, Selahattin
Published: (2018)

SystemVerilog Assertions and Functional Coverage Guide to Language, Methodology and Applications /
by: Mehta, Ashok B.
Published: (2016)

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
by: Przigoda, Nils, et al.
Published: (2018)

Fundamentals of Electromigration-Aware Integrated Circuit Design
by: Lienig, Jens, et al.
Published: (2018)

Machine Learning for Model Order Reduction
by: Mohamed, Khaled Salah
Published: (2018)

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things /
by: Marwedel, Peter
Published: (2018)

Symbolic Parallelization of Nested Loop Programs
by: Tanase, Alexandru-Petru, et al.
Published: (2018)

Formal System Verification State-of the-Art and Future Trends /
Published: (2018)

Reversible and Quantum Circuits Optimization and Complexity Analysis /
by: Abdessaied, Nabila, et al.
Published: (2016)

Multi-run Memory Tests for Pattern Sensitive Faults
by: Mrozek, Ireneusz
Published: (2019)

Smart Systems Integration and Simulation
Published: (2016)

Memory Controllers for Mixed-Time-Criticality Systems Architectures, Methodologies and Trade-offs /
by: Goossens, Sven, et al.
Published: (2016)

Parallel Sparse Direct Solver for Integrated Circuit Simulation
by: Chen, Xiaoming, et al.
Published: (2017)