11 citations · 25 across the 10 of their papers we have counts for
Showing cs.DCShow all
2 papers · 1 filter
cs.DC2011
Computing Optimal Cycle Mean in Parallel on CUDA
Jiří Barnat, Petr Bauch, Luboš Brim +1
Computation of optimal cycle mean in a directed weighted graph has many applications in program analysis, performance verification in particular. In this paper we propose a data-pa…
cs.DC2009★ 11 cited
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking
Jiří Barnat, Luboš Brim, Milan Češka
In this paper we present a tool that performs CUDA accelerated LTL Model Checking. The tool exploits parallel algorithm MAP adjusted to the NVIDIA CUDA architecture in order to eff…