Navegação por Assunto "ACCE"
Resultados 1-2 de 2
-
Formalização de ACCE no provador de teoremas Coq
(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 ... -
Implementação e avaliação da técnica ACCE para detecção e correção de erros de fluxo de controle no LLVM
(2013) [Dissertação]Técnicas de prevenção de falhas como testes e verificação de software não são suficientes para prover dependabilidade a sistemas, visto que não são capazes de tratar falhas ocasionadas por eventos externos tais como falhas ...