| * Ha O., Y. Kim, M. Kang and Y. Jun, "Empirical Comparison of Data Race Detection Tools for OpenMP Programs.", Proceedings of International Conference on Grid … | |
| * M. Kang, and Y. Jun., "Efficient Verification of First Tangled Races to Occur in Programs with Nested Parallelism," In Proceedings of the ASEA 2011, CCIS 257… | |
| * Kang, M., O. Ha, S. Jun, and Y. Jun, "A Tool for Detecting First Races in OpenMP Programs," Proceedings of 10th International Conference on Parallel Computin… | |
| * Kim, Y., M. Kang, O. Ha, and Y. Jun, "Efficient Race Verification for Debugging Programs with OpenMP Directives," Proc, of 10th Int'l Conf. on Parallel Compu… | |
| * Kang, Myeong-Sin, M. Kang, Ok-Kyoon Ha, and Yong-Kee Jun, “ConpathView: A Visualization Tool for Debugging Race Conditions in Event Synchronization of ARINC … | |
| * B. Lee, M. Kang, K. C. Park. J. S. Yi, S. W. Yang, and Y. Jun., "Program Conversion for Detecting Data Races in Concurrent Interrupt Handlers," In Proceeding… | |
| Name(Korean) 강문혜 Name(English) Mun-Hye Kang … | |
| * Park, M., Y. Kim, M. Kang, and Y. Jun, "Improving On-the-fly Race Detection for Message-Passing Programs," Proc. of Int'l Conf. of Computational Methods in S… | |
| Participant Jun, Yong-Kee, Young-Joo Kim, Mun-Hye Kang, Byung-Chul Kim, and Geum-Seo Koo Sponsor Electronics and Telecommunications Research Institute (ET… | |
| Participant Jun, Yong-Kee, Young-Joo Kim, Mi-Young Park, Mun-Hye Kang, Byung-Chul Kim, Geum-Seo Koo, Sung-Il Lee, Jung-Hye Kang, and Hye-Gyeong Kang Sponsor… | |
| Participant Jun, Yong-Kee, Myung-Chul Park, Young-Joo Kim, Mi-Young Park, Mun-Hye Kang, Geum-Seo Koo, and Sung Lee Sponsor Electronics and Telecommunicati… | |
| Participant Jun, Yong-Kee, Young-Joo Kim, Mun-Hye Kang, Geum-Seo Koo, Seok-Joo Choi, and Myung-Ho Jia Sponsor Institute of Computer Technology, Seoul Nati… | |
| Participant Jun, Yong-Kee, Kang Mun-Hye, and Ha Ok-Kyoon Sponsor Korea Research Foundation (KRF) Period 2007.10.01 ~ 2008.09.30 Subject Developmen… | |
| * 강문혜, 김영주, 전용기, "OpenMP 프로그램을 위한 경합디버깅 환경의 자동생성," 한국정보과학회 춘계학술발표논문집, 29(1): 601-603, 한국정보과학회, 2002. 4. * Kang, M., Y. Kim, and Y. Jun "Automatic Generation … | |
| * 강문혜, 김영주, 전용기, "내포병렬성을 가진 공유메모리 프로그램의 최초경합 탐지를 위한 접근역사 분석," 한국정보과학회 병렬처리시스템 학술발표논문집, 13(1): 45-55, 한국정보과학회, 2002. 10. 5 * Kang, M., Y. Kim, and Y. Jun "Ana… | |
| * 강문혜, 김영주, 전용기, "공유메모리 프로그램의 최초경합 탐지를 위한 접근역사 분석," 정보과학회논문지: 시스템 및 이론, 31(1): 41-50, 한국정보과학회, 2004, 2. * Kang, M., Y. Kim, and Y. Jun, "Analyzing Access His… | |
| * 강문혜, 하옥균, 전용기, "OpenMP 디렉티브 프로그램의 최초경합 탐지를 위한 도구," 한국정보과학회논문지, 37(1): pp. 1-7 , 한국정보과학회, 2010.2. * Kang, M., O. Ha, and Y. Jun, “A Detection Tool of First … | |
| * 박미영, 강문혜, 전용기, 박혁로, "메시지 전달 프로그램에서의 수행 중 경합탐지," 한국정보과학회 논문지:시스템 및 이론, 34(7):267~275, 한국정보과학회, 2007.8. * Park, M., M. Kang, Y. Jun, and H. Park, "On-the-fly… | |
| * 강민우, 김정민, 하옥균, 강문혜, 전용기, "OpenMP 프로그램의 경합을 효과적으로 탐지하는 도구," 정보통신분야학회 합동학술대회 논문집, 2(1): 42-46, 2008. 11. * Kang, M., J. Kim, O. Ha, M. Kang, and Y. Jun, "An … | |
| * 김병철, 강문혜, 전용기, 임채덕, "임베디드 소프트웨어 개발을 위한 JTAG 기반의 디버깅 도구", 한국정보과학회 춘계학술발표논문집, 31(1): 943-945, 한국정보과학회, 2004. 4. * Kim, B., M. Kang, Y. Jun, and C. Lim, "A JT… | |
| * 이병귀, 강문혜, 전용기 " 무인기 비행제어 소프트웨어를 위한 경합탐지 사례연구", 2011 한국컴퓨터종합학술대회 논문집, 38(1):79-82, 한국정보과학회, 2011. 6. * Lee, B., M. Kang, and Y. Jun, "A Case Study on Detect… | |
| * 이승열, 강문혜, 김동국, "다중스레드 프로그램의 디버깅을 위한 사건순서 정보," 한국멀티미디어학회지, 7(3):24-33, 한국멀티미디어학회, 9. 2003. publication domestic conference seungryul munhye donggook | |
| * 김영주, 강문혜, 전용기, "OpenMP 프로그램을 위한 경합탐지 도구의 분석," 한국정보과학회 추계학술발표논문집, 30(2): 478-480, 한국정보과학회, 2003. 10. * Kim, Y., M. Kang, and Y. Jun, "An Analysis of Race De… | |
| * 하옥균, 강문혜, 김영주, 전용기, "스레드 동기화가 없는 OpenMP 디렉티브 프로그램을 위한 최적의 경합검증 도구," 한국정보과학회 추계학술발표 논문집, 34(2): 1-6, 한국정보과학회, 2007. 10. * Ha, O., M. Kang, Y. Kim and Y. Jun… | |
| * 하옥균, 강문혜, 김영주, 전용기, "스레드 동기화가 없는 OpenMP 디렉티브 프로그램을 위한 효율적인 경합검증 도구," 정보과학회논문지: 컴퓨팅의 실체, 14(3): 301-305, 한국정보과학회, 2008.5. * Ha, O., M. Kang, Y. Kim, and Y. … | |
| * 하옥균, 강문혜, 전용기, "OpenMP 프로그램의 데이터 경합 탐지를 위한 Sun Thread Analyzer의 실험적 분석," 정보통신분야학회 합동학술대회 논문집, 2(1): 38-41, 2008. 11. * Ha, O., M. Kang, Y. Jun, "An Empiric… | |
| * 하옥균, 강문혜, 전용기, “OpenMP 프로그램을 위한 경합탐지 도구의 실험적 비교와 분석,” 한국정보기술학회논문지, 7(4): pp. 24-32 , 한국정보기술학회, 2009.8. * Ha, O., M. Kang, and Y. Jun, “An Empirical Compari… | |
| * 구인본, 김영주, 강문혜, 전용기, "병행 Java 프로그램의 공유변수 접근사건 선택을 위한 투명한 감시도구," 한국정보처리학회 추계학술발표 논문집, 14(2): 648-652, 한국정보처리학회, 2007. 11. * Kuh, I., Y. Kim, M. Kang and Y. J… | |
| * 배향연, 하옥균, 강문혜, 전용기 "임베디드 어플리케이션을 위한 수행시간 분석 도구의 개발", 2016년 한국컴퓨터정보학회 하계학술대회 논문집, pp. 5-6, 한국컴퓨터정보학회, 원주, 2016. 07 * Bae, H.-Y., O.-K. Ha, M.-H. Kang, and… |