Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2007.10a
  • /
  • Pages.263-264
  • /
  • 2007
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

An Optimal Tool for Verifying Races in OpenMP Directive Programs With No Interthread Synchronization

스레드 동기화가 없는 OpenMP 디렉티브 프로그램을 위한 최적의 경합검증 도구

  • 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)
  • 하옥균 (경상대학교 컴퓨터과학부) ;
  • 강문혜 (경상대학교 컴퓨터과학부) ;
  • 김영주 (한국정보통신대학교 IT 공학부) ;
  • 전용기 (경상대학교 컴퓨터과학부)
  • Published : 2007.10.26
Download PDF
⟨ Previous Next ⟩

Abstract

Keywords