Zum Inhalt springen

  5. Rukundo, Adones [VerfasserIn]; Atalar, Aras [VerfasserIn]; Tsigas, Philippas [VerfasserIn] ; Adones Rukundo and Aras Atalar and Philippas Tsigas [MitwirkendeR]

    Monotonically Relaxing Concurrent Data-Structure Semantics for Increasing Performance: An Efficient 2D Design Framework

    Aufsätze
    Online ansehen
    Schließen
    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, 2019

  7. Arbel-Raviv, Maya [VerfasserIn]; Brown, Trevor [VerfasserIn] ; Maya Arbel-Raviv and Trevor Brown [MitwirkendeR]

    Reuse, Don't Recycle: Transforming Lock-Free Algorithms That Throw Away Descriptors

    Aufsätze
    Online ansehen
    Schließen
    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

  9. Ben-David, Naama [VerfasserIn]; Blelloch, Guy E. [VerfasserIn]; Fatourou, Panagiota [VerfasserIn]; Ruppert, Eric [VerfasserIn]; Sun, Yihan [VerfasserIn]; Wei, Yuanhao [VerfasserIn] ; Naama Ben-David and Guy E. Blelloch and Panagiota Fatourou and Eric Ruppert and Yihan Sun and Yuanhao Wei [MitwirkendeR]

    Space and Time Bounded Multiversion Garbage Collection

    Aufsätze
    Online ansehen
    Schließen
    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

  10. Guerraoui, Rachid [VerfasserIn]; Kogan, Alex [VerfasserIn]; Marathe, Virendra J. [VerfasserIn]; Zablotchi, Igor [VerfasserIn] ; Rachid Guerraoui and Alex Kogan and Virendra J. Marathe and Igor Zablotchi [MitwirkendeR]

    Efficient Multi-Word Compare and Swap

    Aufsätze
    Online ansehen
    Schließen
    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

  12. Atalar, Aras [VerfasserIn]; Renaud-Goud, Paul [VerfasserIn]; Tsigas, Philippas [VerfasserIn] ; Aras Atalar and Paul Renaud-Goud and Philippas Tsigas [MitwirkendeR]

    Lock-Free Search Data Structures: Throughput Modeling with Poisson Processes

    Aufsätze
    Online ansehen
    Schließen
    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, 2019

  14. Friedman, Michal [VerfasserIn]; Herlihy, Maurice [VerfasserIn]; Marathe, Virendra [VerfasserIn]; Petrank, Erez [VerfasserIn] ; Michal Friedman and Maurice Herlihy and Virendra Marathe and Erez Petrank [MitwirkendeR]

    Brief Announcement: A Persistent Lock-Free Queue for Non-Volatile Memory

    Aufsätze
    Online ansehen
    Schließen
    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

  15. Atalar, Aras [VerfasserIn]; Renaud-Goud, Paul [VerfasserIn]; Tsigas, Philippas [VerfasserIn] ; Aras Atalar and Paul Renaud-Goud and Philippas Tsigas [MitwirkendeR]

    How Lock-free Data Structures Perform in Dynamic Environments: Models and Analyses

    Aufsätze
    Online ansehen
    Schließen
    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

  17. Renault, Etienne [VerfasserIn] ; Paris 6 [MitwirkendeR]; Kordon, Fabrice [MitwirkendeR]

    Contribution aux tests de vacuité pour le model checking explicite ; Contribution to emptiness checks for explicit model checking

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2014-12-05