Browsing Computer Science - Undergraduate degree by Subject "Fault tolerance"
Now showing items 1-3 of 3
-
Detecting transient faults in the configurable reconfigurable core architecture without false error signals
(2013) [Work completion of graduation]Fault tolerance is an important issue to worry about in the computing world. The detection of errors provided by transient faults, among others source of errors, in a determined region of a computer architecture is necessary ... -
Development of a context broker and high availability resource proposal
(2015) [Work completion of graduation]Context is everywhere. From a mobile phone in a person’s pocket to a temperature sensor in the middle of a forest. Context data can be used to help determine the importance of information and services on an environment, ... -
Formalização de ACCE no provador de teoremas Coq
(2013) [Work completion of graduation]Este trabalho descreve uma implementação da transformação ACCE em Coq. A técnica visa permitir que um programa detecte e corrija automaticamente erros de controle de fluxo causados por soft errors. A transformação é aplicada ...