DMCA

A Sound and Complete Abstraction for Reasoning about Parallel Prefix Sums ∗

by Nathan Chong , Alastair F. Donaldson , Jeroen Ketema
Citations:5 - 3 self