한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)
- 한국정보과학회 2007년도 가을 학술발표논문집 Vol.34 No.2 (A)
- /
- Pages.263-264
- /
- 2007
- /
- 1598-5164(pISSN)
스레드 동기화가 없는 OpenMP 디렉티브 프로그램을 위한 최적의 경합검증 도구
An Optimal Tool for Verifying Races in OpenMP Directive Programs With No Interthread Synchronization
- Ha, Ok-Kyoon (Division of Computer Science, Gyeongsang National University) ;
- Kang, Moon-Hey (Division of Computer Science, Gyeongsang National University) ;
- Kim, Young-Joo (Information and Communications University School of Engineering) ;
- Jun, Yong-Kee (Division of Computer Science, Gyeongsang National University)
- 발행 : 2007.10.26