Browsing C3 - Centro de Ciências Computacionais by Author "Becker, Jürgen"
-
A fault tolerant approach to detect transient faults in microprocessors based on a non-intrusive reconfigurable hardware
Azambuja, José Rodrigo Furlanetto de; Pagliarini, Samuel Nascimento; Pagliarini, Maurício Altieri; Kastensmidt, Fernanda Gusmão de Lima; Ferreira, Michael Hübner Passos; Becker, Jürgen; Foucard, Gilles; Velazco, Raoul (2012)This paper presents a non-intrusive hybrid fault detection approach that combines hardware and software techniques to detect transient faults in microprocessors. Such faults have a major influence in microprocessor-based ... -
HETA: hybrid error-detection technique using assertions
Azambuja, José Rodrigo Furlanetto de; Scarpato, Maurício Altieri; Becker, Jürgen; Kastensmidt, Fernanda Gusmão de Lima (2013)This paper presents HETA, a hybrid technique based on assertions and a non-intrusive enhanced watchdog module to detect SEE faults in microprocessors. These types of faults have a major influence in the microprocessor’s ...