Employing Multiple CUDA Devices to Accelerate LTL Model Checking.

Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska

Browse the full ICPADS paper archive.