Zum Inhalt springen

  1. Schank, Roger C. [Verfasser:in]

    Dynamic memory revisited

    Bücher
    Schließen

    Merkliste

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

    Cambridge [u.a.]: Cambridge Univ. Press, 1999

  2. Schemmel, Daniel [Verfasser:in]; Büning, Julian [Verfasser:in]; Busse, Frank [Verfasser:in]; Nowack, Martin [Verfasser:in]; Cadar, Cristian [Verfasser:in] ; Daniel Schemmel and Julian Büning and Frank Busse and Martin Nowack and Cristian Cadar [Mitwirkende:r]

    A Deterministic Memory Allocator for Dynamic Symbolic Execution

    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

  3. Schemmel, Daniel [Verfasser:in]; Büning, Julian [Verfasser:in]; Busse, Frank [Verfasser:in]; Nowack, Martin [Verfasser:in]; Cadar, Cristian [Verfasser:in] ; Daniel Schemmel and Julian Büning and Frank Busse and Martin Nowack and Cristian Cadar [Mitwirkende:r]

    A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact)

    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

  4. Jayanti, Prasad [Verfasser:in]; Jayanti, Siddhartha [Verfasser:in]; Jayanti, Sucharita [Verfasser:in] ; Prasad Jayanti and Siddhartha Jayanti and Sucharita Jayanti [Mitwirkende:r]

    Durable Algorithms for Writable LL/SC and CAS with Dynamic Joining

    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, 2023

  5. Bender, Michael A. [Verfasser:in]; Farach-Colton, Martín [Verfasser:in]; Kuszmaul, William [Verfasser:in] ; Michael A. Bender and Martín Farach-Colton and William Kuszmaul [Mitwirkende:r]

    What Does Dynamic Optimality Mean in External Memory?

    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