Search Results - Ahrens, Willow

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Algorithms for Efficient Reproducible Floating Point Summation

    Algorithms for Efficient Reproducible Floating Point Summation by Ahrens, Willow, Demmel, James, Nguyen, Hong Diep

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Mechanised Hypersafety Proofs about Structured Data

    Mechanised Hypersafety Proofs about Structured Data by Gladshtein, Vladimir, Zhao, Qiyuan, Ahrens, Willow, Amarasinghe, Saman, Sergey, Ilya

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    Parallel Compact Hash Algorithms for Computational Meshes

    Parallel Compact Hash Algorithms for Computational Meshes by Tumblin, Rebecka, Ahrens, Willow, Hartse, Sara, Robey, Robert W.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    A Fill Estimation Algorithm for Sparse Matrices and Tensors in Blocked Formats

    A Fill Estimation Algorithm for Sparse Matrices and Tensors in Blocked Formats by Ahrens, Willow, Xu, Helen, Schiefer, Nicholas

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: