Treffer 1 - 5 von 5 für Suche 'Zennou, Rachid', Suchdauer: 0,41s Treffer weiter einschränken
  1. 1
    Checking causal consistency of distributed databases

    Checking causal consistency of distributed databases von Zennou, Rachid, Biswas, Ranadeep, Bouajjani, Ahmed, Enea, Constantin, Erradi, Mohammed

    Veröffentlicht in Computing

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Algorithmic methods for the verification of consistency in distributed systems

    Algorithmic methods for the verification of consistency in distributed systems von Zennou, Rachid

    Volltext bestellen
    Dissertation

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Boosting Sequential Consistency Checking Using Saturation

    Boosting Sequential Consistency Checking Using Saturation von Zennou, Rachid, Atig, Mohamed Faouzi, Biswas, Ranadeep, Bouajjani, Ahmed, Enea, Constantin, Erradi, Mohammed


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Checking Causal Consistency of Distributed Databases

    Checking Causal Consistency of Distributed Databases von Zennou, Rachid, Biswas, Ranadeep, Bouajjani, Ahmed, Enea, Constantin, Erradi, Mohammed


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Checking Causal Consistency of Distributed Databases

    Checking Causal Consistency of Distributed Databases von Zennou, Rachid, Biswas, Ranadeep, Bouajjani, Ahmed, Enea, Constantin, Erradi, Mohammed

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: