2 items found

Types: software Groups: Datacite ZENODO Tags: 80699 Information Systems not elsewhere classified Developmental Biology Medicine Space Science quot

Filter Results
  • software

    Code/Data Release: Fast Multipole Method results, Development Of A Performanc...

    This archive contains the material required to reproduce the results for the PhD thesis "Development Of A Performance-Portable Framework For Atomistic Simulations".
  • software

    Polaris: A Separation Logic For Concurrent Randomized Programs

    This is the archived artifact associated with the paper " A Separation Logic for Concurrent Randomized Programs" by Joseph Tassarotti and Robert Harper. The...