You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book provides readers with invaluable overviews and updates of the most important topics in the radiation-effects field, enabling them to face significant challenges in the quest for the insertion of ever-higher density and higher performance electronic components in satellite systems. Readers will benefit from the up-to-date coverage of the various primary (classical) sub-areas of radiation effects, including the space and terrestrial radiation environments, basic mechanisms of total ionizing dose, digital and analog single-event transients, basic mechanisms of single-event effects, system-level SEE analysis, device-level, circuit-level and system-level hardening approaches, and radiat...
This volume provides an extensive overview of radiation effects on integrated circuits, offering major guidelines for coping with radiation effects on components. It contains a set of chapters based on the tutorials presented at the International School on Effects of Radiation on Embedded Systems for Space Applications (SERESSA) that was held in Manaus, Brazil, November 20-25, 2005.
This book provides a comprehensive presentation of the most advanced research results and technological developments enabling understanding, qualifying and mitigating the soft errors effect in advanced electronics, including the fundamental physical mechanisms of radiation induced soft errors, the various steps that lead to a system failure, the modelling and simulation of soft error at various levels (including physical, electrical, netlist, event driven, RTL, and system level modelling and simulation), hardware fault injection, accelerated radiation testing and natural environment testing, soft error oriented test structures, process-level, device-level, cell-level, circuit-level, architec...
This book constitutes the refereed proceedings of the 12th International Symposium on Static Analysis, SAS 2005, held in London, UK in August 2005, co-located with the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2005). The 22 revised full papers presented together with the abstracts of 2 invited talks were carefully reviewed and selected from 66 submissions. The papers address all aspects of static analysis including program and systems verification, shape analysis and logic, termination analysis, security and safety, abstract interpretation and algorithms, abstract domain and data structures, pointer analysis, shape analysis, and data flow analysis.
None
None
These papers are taken from 13th Brazilian Symposium on Integrated Circuit Design (SBCCI 2000). They address issues such as: microarchitectures-architecture; logic design; analogue design; high-level synthesis; digital design; physical modelling; reconfigurable hardware; and more.