Yüklüyor…

QR Kod

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

Detaylı Bibliyografya
Asıl Yazarlar:	Rehman, Semeen (Yazar), Shafique, Muhammad (Yazar), Henkel, Jörg (Yazar)
Müşterek Yazar:	SpringerLink (Online service)
Materyal Türü:	e-Kitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Cham : Springer International Publishing : Imprint: Springer, 2016.
Edisyon:	1st ed. 2016.
Konular:	Electronic circuits. Microprocessors. Computer architecture. Electronics. Electronic Circuits and Systems. Processor Architectures. Electronics and Microelectronics, Instrumentation.
Online Erişim:	Full-text access OPAC'ta görüntüle

Benzer Materyaller

Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approach /
Yazar:: Khan, Muhammad Usman Karim, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Handbook of Hardware/Software Codesign
Baskı/Yayın Bilgisi: (2017)

Foundations of Hardware IP Protection
Baskı/Yayın Bilgisi: (2017)

Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores
Yazar:: Pagani, Santiago, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Hardware Security and Trust Design and Deployment of Integrated Circuits in a Threatened Environment /
Baskı/Yayın Bilgisi: (2017)

FPGAs for Software Programmers
Baskı/Yayın Bilgisi: (2016)

Embedded Software Verification and Debugging
Baskı/Yayın Bilgisi: (2017)

8051 Microcontrollers Fundamental Concepts, Hardware, Software and Applications in Electronics /
Yazar:: Gimenez, Salvador Pinillos
Baskı/Yayın Bilgisi: (2019)

Hardware Protection through Obfuscation
Baskı/Yayın Bilgisi: (2017)

Security Policy in System-on-Chip Designs Specification, Implementation and Verification /
Yazar:: Ray, Sandip, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Embedded Systems Design with Special Arithmetic and Number Systems
Baskı/Yayın Bilgisi: (2017)

Fundamentals of Computer Architecture and Design
Yazar:: Bindal, Ahmet
Baskı/Yayın Bilgisi: (2019)

Exact Design of Digital Microfluidic Biochips
Yazar:: Keszocze, Oliver, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Post-Silicon Validation and Debug
Baskı/Yayın Bilgisi: (2019)

Approximate Circuits Methodologies and CAD /
Baskı/Yayın Bilgisi: (2019)

Learning from VLSI Design Experience
Yazar:: Lee, Weng Fook
Baskı/Yayın Bilgisi: (2019)

Power Estimation on Electronic System Level using Linear Power Models
Yazar:: Schuermans, Stefan, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Distributed Embedded Controller Development with Petri Nets Application to Globally-Asynchronous Locally-Synchronous Systems /
Yazar:: Moutinho, Filipe de Carvalho, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Automated Methods in Cryptographic Fault Analysis
Baskı/Yayın Bilgisi: (2019)

Complex Digital Circuits
Yazar:: Deschamps, Jean-Pierre, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test /
Yazar:: Chandrasekharan, Arun, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2017 /
Baskı/Yayın Bilgisi: (2019)

Design Automation for Differential MOS Current-Mode Logic Circuits
Yazar:: Badel, Stéphane, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Techniques for Building Timing-Predictable Embedded Systems
Yazar:: Guan, Nan
Baskı/Yayın Bilgisi: (2016)

Timing Performance of Nanometer Digital Circuits Under Process Variations
Yazar:: Champac, Victor, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016 /
Baskı/Yayın Bilgisi: (2018)

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015 /
Baskı/Yayın Bilgisi: (2016)

Contactless VLSI Measurement and Testing Techniques
Yazar:: Sayil, Selahattin
Baskı/Yayın Bilgisi: (2018)

SystemVerilog Assertions and Functional Coverage Guide to Language, Methodology and Applications /
Yazar:: Mehta, Ashok B.
Baskı/Yayın Bilgisi: (2016)

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Yazar:: Przigoda, Nils, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Fundamentals of Electromigration-Aware Integrated Circuit Design
Yazar:: Lienig, Jens, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Machine Learning for Model Order Reduction
Yazar:: Mohamed, Khaled Salah
Baskı/Yayın Bilgisi: (2018)

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things /
Yazar:: Marwedel, Peter
Baskı/Yayın Bilgisi: (2018)

Symbolic Parallelization of Nested Loop Programs
Yazar:: Tanase, Alexandru-Petru, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Formal System Verification State-of the-Art and Future Trends /
Baskı/Yayın Bilgisi: (2018)

Reversible and Quantum Circuits Optimization and Complexity Analysis /
Yazar:: Abdessaied, Nabila, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Multi-run Memory Tests for Pattern Sensitive Faults
Yazar:: Mrozek, Ireneusz
Baskı/Yayın Bilgisi: (2019)

Smart Systems Integration and Simulation
Baskı/Yayın Bilgisi: (2016)

Memory Controllers for Mixed-Time-Criticality Systems Architectures, Methodologies and Trade-offs /
Yazar:: Goossens, Sven, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Parallel Sparse Direct Solver for Integrated Circuit Simulation
Yazar:: Chen, Xiaoming, ve diğerleri
Baskı/Yayın Bilgisi: (2017)