Journal of Software Engineering and Applications

Vol.10 No.2(2017), Paper ID 74259, 9 pages

DOI:10.4236/jsea.2017.102009

 

Detecting Bank Conflict of GPU Programs Using Symbolic Execution—Case Study

 

Koki Hamaya, Satoshi Yamane

 

Graduate School of Natural Science and Technology, Kanazawa University, Kanazawa, Japan
Graduate School of Natural Science and Technology, Kanazawa University, Kanazawa, Japan

 

Copyright © 2017 Koki Hamaya, Satoshi Yamane et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

 

How to Cite this Article


Hamaya, K. and Yamane, S. (2017) Detecting Bank Conflict of GPU Programs Using Symbolic Execution—Case Study. Journal of Software Engineering and Applications, 10, 159-167. doi: 10.4236/jsea.2017.102009.

Copyright © 2021 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.