Fault-tolerance techniques for SRAM-based FPGAs /

Fault-tolerance techniques for SRAM-based FPGAs /

Show other versions (1)

Saved in:

Bibliographic Details
Main Author:	Kastensmidt, Fernanda Lima (Author)
Corporate Author:	SpringerLink (Online service)
Other Authors:	Carro, Luigi, Reis, Ricardo
Format:	eBook
Language:	English
Subjects:	Computer engineering Electronics Engineering Engineering design Logic design Operating systems (Computers) Optical materials
Online Access:	Click here to view the full text content
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Fault-tolerance techniques for SRAM-Based FPGAs /
by: Kastensmidt, Fernanda Lima
Published: (2006)

Fault-tolerant design /
by: Dubrova, Elena
Published: (2013)

Software-implemented hardware fault tolerance /
by: Goloubeva, Olga

Advanced test methods for SRAMs effective solutions for dynamic fault detection in nanoscaled technologies /
Published: (2010)

Hybrid fault tolerance techniques to detect transient faults in embedded processors /
by: Azambuja, Jose Rodrigo
Published: (2014)

Gizopoulos / Advances in electronictesting
Published: (2006)

Inconsistency tolerance
by: Bertossi, Leopoldo
Published: (2005)

Data-driven design of fault diagnosis and fault-tolerant control systems /
by: Ding, Steven X.
Published: (2014)

Self-checking and fault-tolerant digital design /
by: Lala, Parag K.
Published: (2001)

Quantifying and exploring the gap between FPGAs and ASICs
by: Kuon, Ian
Published: (2010)

Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance : 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings /
Published: (2012)

Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings /
Published: (2010)

Fault Diagnosis of Analog Integrated Circuits
by: Kabisatpathy, Prithviraj
Published: (2005)

Transaction Level Modeling with SystemC TLM Concepts and Applications for Embedded Systems /
by: Ghenassia, Frank
Published: (2005)

Fault tolerant flight control a benchmark challenge /
Published: (2010)

Compact models and measurement techniques for high-speed interconnects /
by: Sharma, Rohit
Published: (2012)

Fault diagnosis and fault tolerance for mechatronic systems : recent advances /
Published: (2003)

Modeling and Simulation for RF System Design
by: Frevert, Ronny
Published: (2005)

Analog design essentials /
by: Sansen, Willy M. C.

VLSI physical design: from graph partitioning to timing closure
Published: (2011)

Construction and analysis of safe, secure, and interoperable smart devices (vol. # 3362) international workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, revised selected papers
by: Barthe, Gilles
Published: (2005)

Formal methods for components and objects 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. revised selected papers /
Published: (2010)

Formal methods for components and objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers /
Published: (2012)

Multiparadigm programming in mozart second international conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, revised selected papers
by: Van Roy, Peter
Published: (2005)

Programming languages and systems : 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings /
Published: (2007)

NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /
Published: (2013)

Formal methods for components and objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
Published: (2013)

Component deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings
Published: (2005)

Programming languages and systems (vol. # 3780) : Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

NASA formal methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings /
Published: (2014)

Formal methods for components and objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures /

NASA formal methods : 4th International symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings /
Published: (2012)

Energy-efficient fault-tolerant systems /
Published: (2014)

Data converters
by: Maloberti, Franco
Published: (2007)

Advanced symbolic analysis for VLSI systems : methods and applications /
by: Shi, Guoyong
Published: (2014)

Taxonomies for the Development and Verification of Digital Systems
by: Bailey, Brian
Published: (2005)

A roadmap for formal property verification /
by: DasGupta, Pallab

Fundamentals of switching theory and logic design a hands on approach /
by: Astola, Jaakko T.
Published: (2006)

Methods, models and tools for fault tolerance
Published: (2009)

Formal Methods for Open Object-Based Distributed Systems (vol. # 3535) 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
Published: (2005)