The GPU programming model is primarily aimed at the development of
appli...
The most efficient way to calculate strong bisimilarity is by calculatio...
We present a way to implement term rewriting on a GPU. We do this by let...
All-pairs compute problems apply a user-defined function to each combina...