10 citations · 11 across the 3 of their papers we have counts for
4 papers · 1 filter
Lightning: Scaling the GPU Programming Model Beyond a Single GPU
Stijn Heldens, Pieter Hijma, Ben van Werkhoven +2
The GPU programming model is primarily aimed at the development of applications that run one GPU. However, this limits the scalability of GPU code to the capabilities of a single G…
A linear parallel algorithm to compute bisimulation and relational coarsest partitions
Jan Martens, Jan Friso Groote, Lars van den Haak +2
The most efficient way to calculate strong bisimilarity is by calculation the relational coarsest partition on a transition system. We provide the first linear time algorithm to ca…
Term Rewriting on GPUs
Johri van Eerd, Jan Friso Groote, Pieter Hijma +2
We present a way to implement term rewriting on a GPU. We do this by letting the GPU repeatedly perform a massively parallel evaluation of all subterms. We find that if the term re…
Rocket: Efficient and Scalable All-Pairs Computations on Heterogeneous Platforms
Stijn Heldens, Pieter Hijma, Ben van Werkhoven +3
All-pairs compute problems apply a user-defined function to each combination of two items of a given data set. Although these problems present an abundance of parallelism, data reu…