Sirvi Autor "Ibrus, Marlene" järgi

Tulemuste filtreerimiseks trükkige paar esimest tähte
Nüüd näidatakse 1 - 1 1
  • Pisipilt
    listelement.badge.dso-type Kirje ,
    Konfliktivabade dubleeritud andmetüüpide formaliseerimine
    (Tartu Ülikool, 2025) Ibrus, Marlene; Ahman, Danel, juhendaja; Tartu Ülikool. Loodus- ja täppisteaduste valdkond; Tartu Ülikool. Arvutiteaduse instituut
    The thesis describes and formalises conflict-free replicated data types, which are an important component in distributed systems where data consistency must be ensured without the need for centralised coordination. Additionally, three different designs of conflict-free replicated data types are formalised and analysed, using the theorem prover Agda to ensure their mathematical precision.