• Detecting transient faults in the configurable reconfigurable core architecture without false error signals 

      Ferreira, Luigi Vaz (2013) [Trabalho de conclusão de graduação]
      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 

      Foscarini, Anderson Didoné (2015) [Trabalho de conclusão de graduação]
      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 

      Tanus, Felipe de Oliveira (2013) [Trabalho de conclusão de graduação]
      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 ...