Modelização e validação de algoritmos não-determinísticos de sincronização de relógios
Palavras-chave:
Sincronização de relógios, Sistemas distribuídos, Sistemas tempo-real, Algoritmos não-determinísticos
Resumo
Esta tese aborda o problema da análise e da concepção de algoritmos de sincronização de relógios não determinísticos. Os algoritmos não-determinísticos constituem uma solução promissora para o problema da sincronização de relógios, sendo prova disso o interesse que estes têm despertado nos últimos anos. (...)
