Showing 1 - 11 results of 11 for search 'M. Frans Kaashoek and Nickolai Zeldovich.', query time: 0.19s Refine Results
  1. 1
    Performance optimization of the VDFS verified file system
    by Konradi, Alexander V.
    Published 2018
    Other Authors: “...M. Frans Kaashoek and Nickolai Zeldovich....”
    Get full text
    Others
  2. 2
    Fast bug finding in lock-free data structures with CB-DPOR
    Other Authors: “...M. Frans Kaashoek and Nickolai Zeldovich....”
    Get full text
    Others
  3. 3
    A differential approach to undefined behavior detection
    Other Authors: “...M. Frans Kaashoek and Nickolai Zeldovich....”
    Get full text
    Others
  4. 4
    Designing multicore scalable filesystems with durability and crash consistency
    Other Authors: “...M. Frans Kaashoek and Nickolai Zeldovich....”
    Get full text
    Others
  5. 5
    CPHASH : a cache-partitioned hash table with LRU eviction
    by Metreveli, Zviad
    Published 2011
    Other Authors: “...M. Frans Kaashoek and Nickolai Zeldovich....”
    Get full text
    Others
  6. 6
    ScaleFS : a multicore-scalable file system
    by Rasha Eqbal
    Published 2015
    Other Authors: “...M. Frans Kaashoek and Nickolai Zeldovich....”
    Get full text
    Others
  7. 7
    Certifying a crash-safe file system
    by Chen, Haogang
    Published 2017
    Other Authors: “...M. Frans Kaashoek and Nickolai Zeldovich....”
    Get full text
    Others
  8. 8
    Verifying an I/O-concurrent file system
    by Chajed, Tej
    Published 2017
    Other Authors: “...M. Frans Kaashoek and Nickolai Zeldovich....”
    Get full text
    Others
  9. 9
    CoqIOA : a formalization of IO automata in the Coq proof assistant
    by Athalye, Anish (Anish R.)
    Published 2017
    Other Authors: “...M. Frans Kaashoek and Nickolai Zeldovich....”
    Get full text
    Others
  10. 10
    The scalable commutativity rule : designing scalable software for multicore processors
    by Clements, Austin T
    Published 2014
    Other Authors: “...M. Frans Kaashoek and Nickolai Zeldovich....”
    Get full text
    Others
  11. 11
    Kronos : verifying leak-free reset for a system-on-chip with multiple clock domains
    by Moroze, Noah(Noah F.)
    Published 2021
    Other Authors: “...Anish Athalye, M. Frans Kaashoek and Nickolai Zeldovich....”
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search