Zum Inhalt springen

  1. Amram, Gal [Verfasser:in]; Hayoun, Avi [Verfasser:in]; Mizrahi, Lior [Verfasser:in]; Weiss, Gera [Verfasser:in] ; Gal Amram and Avi Hayoun and Lior Mizrahi and Gera Weiss [Mitwirkende:r]

    Polynomial-Time Verification and Testing of Implementations of the Snapshot Data Structure

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022

  2. Kowalski, Vincent [Verfasser:in]; Mostéfaoui, Achour [Verfasser:in]; Perrin, Matthieu [Verfasser:in] ; Vincent Kowalski and Achour Mostéfaoui and Matthieu Perrin [Mitwirkende:r]

    Atomic Register Abstractions for Byzantine-Prone Distributed Systems

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024

  3. Cai, Wentao [Verfasser:in]; Wen, Haosen [Verfasser:in]; Maksimovski, Vladimir [Verfasser:in]; Du, Mingzhe [Verfasser:in]; Sanna, Rafaello [Verfasser:in]; Abdallah, Shreif [Verfasser:in]; Scott, Michael L. [Verfasser:in] ; Wentao Cai and Haosen Wen and Vladimir Maksimovski and Mingzhe Du and Rafaello Sanna and Shreif Abdallah and Michael L. Scott [Mitwirkende:r]

    Fast Nonblocking Persistence for Concurrent Data Structures

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021

  4. Wen, Haosen [Verfasser:in]; Cai, Wentao [Verfasser:in]; Du, Mingzhe [Verfasser:in]; Valpey, Benjamin [Verfasser:in]; Scott, Michael L. [Verfasser:in] ; Haosen Wen and Wentao Cai and Mingzhe Du and Benjamin Valpey and Michael L. Scott [Mitwirkende:r]

    Brief Announcement: Building Fast Recoverable Persistent Data Structures with Montage

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020

  5. Nawab, Faisal [Verfasser:in]; Izraelevitz, Joseph [Verfasser:in]; Kelly, Terence [Verfasser:in]; Morrey III, Charles B. [Verfasser:in]; Chakrabarti, Dhruva R. [Verfasser:in]; Scott, Michael L. [Verfasser:in] ; Faisal Nawab and Joseph Izraelevitz and Terence Kelly and Charles B. Morrey III and Dhruva R. Chakrabarti and Michael L. Scott [Mitwirkende:r]

    Dalí: A Periodically Persistent Hash Map

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017

  6. Haas, Andreas [Verfasser:in]; Henzinger, Thomas A. [Verfasser:in]; Holzer, Andreas [Verfasser:in]; Kirsch, Christoph M. [Verfasser:in]; Lippautz, Michael [Verfasser:in]; Payer, Hannes [Verfasser:in]; Sezgin, Ali [Verfasser:in]; Sokolova, Ana [Verfasser:in]; Veith, Helmut [Verfasser:in] ; Andreas Haas and Thomas A. Henzinger and Andreas Holzer and Christoph M. Kirsch and Michael Lippautz and Hannes Payer and Ali Sezgin and Ana Sokolova and Helmut Veith [Mitwirkende:r]

    Local Linearizability for Concurrent Container-Type Data Structures

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016

  7. Bouajjani, Ahmed [Verfasser:in]; Emmi, Michael [Verfasser:in]; Enea, Constantin [Verfasser:in]; Hamza, Jad [Verfasser:in] ; Ahmed Bouajjani and Michael Emmi and Constantin Enea and Jad Hamza [Mitwirkende:r]

    Checking Correctness of Concurrent Objects: Tractable Reductions to Reachability (Invited Talk)

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015