10 citations · 30 across the 7 of their papers we have counts for
Showing 2017 · cs.DCShow all
2 papers · 2 filters
cs.DC2017★ 8 cited
On the Scalability of the GPUexplore Explicit-State Model Checker
Nathan Cassee, Thomas Neele, Anton Wijs
The use of graphics processors (GPUs) is a promising approach to speed up model checking to such an extent that it becomes feasible to instantly verify software systems during deve…
cs.DC2017★ 7 cited
Analysing the Performance of GPU Hash Tables for State Space Exploration
Nathan Cassee, Anton Wijs
In the past few years, General Purpose Graphics Processors (GPUs) have been used to significantly speed up numerous applications. One of the areas in which GPUs have recently led t…