@Inproceedings{EPTCS72.8, author = {Barnat, Ji\v{r}\'i and Bauch, Petr and Brim, Lubo\v{s} and \v{C}e\v{s}ka, Milan}, year = {2011}, title = {Computing Optimal Cycle Mean in Parallel on CUDA}, editor = {Barnat, Ji\v{r}\'i and Heljanko, Keijo}, booktitle = {{\rm Proceedings 10th International Workshop on} Parallel and Distributed Methods in verifiCation, {\rm Snowbird, Utah, USA, July 14, 2011}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {72}, publisher = {Open Publishing Association}, pages = {68-83}, doi = {10.4204/EPTCS.72.8}, }