Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska. Employing Multiple CUDA Devices to Accelerate LTL Model Checking. In IEEE 16th International Conference on Parallel and Distributed Systems, ICPADS 2010, 8-10 Dec. 2010, Shanghai, China. pages 259-266, IEEE, 2010. [doi]
Abstract is missing.