GPGPU kernel implementation and refinement using Obsidian

@inproceedings{Svensson2010GPGPUKI,
  title={GPGPU kernel implementation and refinement using Obsidian},
  author={Bo Joel Svensson and Koen Claessen and Mary Sheeran},
  booktitle={ICCS},
  year={2010}
}

Topics from this paper.

Similar Papers

Loading similar papers…