Gabor Rebner, Michael Beer. CUDA Accelerated Fault Tree Analysis with C-XSC. In Eyke Hüllermeier, Sebastian Link, Thomas Fober, Bernhard Seeger, editors, Scalable Uncertainty Management - 6th International Conference, SUM 2012, Marburg, Germany, September 17-19, 2012. Proceedings. Volume 7520 of Lecture Notes in Computer Science, pages 539-549, Springer, 2012. [doi]
Abstract is missing.