DMCA

Employing Multiple CUDA Devices to Accelerate LTL Model Checking (2010)

Cached

Download Links

by Petr Bauch
Venue:In 16th International Conference on Parallel and Distributed Systems (ICPADS 2010
Citations:5 - 3 self