Modelização e validação de algoritmos não-determinísticos de sincronização de relógios

  • Pedro Nicolau Faria da Fonseca
  • José Alberto Gouveia Fonseca
  • Zoubir Mammeri
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. (...)

Publicado
2000-01-01
Secção
Teses de doutoramento: resumo