| * 이건표, 이성진, 전용기, "A Tool for On-the-fly Repairing of Atomicity Violation in GPU Program Execution", 한국컴퓨터정보학회논문지, vol. 26 No. 9, pp. 1-12, September 2021. * … | |
| * 하금숙, 전용기, 유기영, "내포병렬성을 가진 공유메모리 프로그램의 수행중 최초경합 탐지를 위한 효율적 기법," 정보과학회논문지: 시스템 및 이론, 30(7): 341-351, 한국정보과학회, 2003. 8. * Ha, K., Y. Jun, and K. Yoo, "Efficie… | |
| * 정대율, 전용기, "가상대학시스템 전략계획수립을 위한 교수자 측면의 요구분석에 관한 연구: K대학의 사례를 중심으로," Information Systems Review, 4(1): 89-110, 한국경영정보학회, 2002. 11. * Jeong, D., and Y. Jun, "… | |
| * 김동국, 김영철, 전용기, "병렬프로그램의 오류수정을 위한 최초경합의 수행중 탐지기법," 정보과학회논문지B, 24(12): 1441-1450, 한국정보과학회, 1997. 12. * Kim, D., Y. Kim, and Y. Jun, "On-the-fly Detection of … | |
| * 박명철, 김영주, 하석운, 전용기, 임채덕, "SoC 프로그램의 원격 디버깅을 위한 실시간 추적도구의 구현," 정보처리학회논문지A, 12-A(7): 583-588, 정보처리학회, 2005. 12. * Park, M., Y. Kim, S. Ha, Y. Jun, and C. Lim… | |
| * 강문혜, 김영주, 전용기, "공유메모리 프로그램의 최초경합 탐지를 위한 접근역사 분석," 정보과학회논문지: 시스템 및 이론, 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… | |
| * 박미영, 전용기, "메시지전달 프로그램의 디버깅을 위한 경합의 확장적 시각화," 정보과학회논문지: 시스템 및 이론, 32(7): 341-348, 한국정보과학회, 2005. 8. * Park, M., and Y. Jun, "Scalable Race Visualization for… | |
| * 전미경, 김인홍, 류시국, 전용기, 강현석, "주석 및 내용 기반 검색을 지원하는 동영상 정보 관리 시스템," 한국멀티미디어학회 논문지, 2(3):231-242, 한국멀티미디어학회, 1999. 9. * Jun, M., I. Kim, S. Rhyoo, Y. Jun, and H. … | |
| * 박미영, 강현석, 전용기, "메시지전달 프로그램의 영향받지 않은 경합조건 탐지를 위한 경합상태 전이기법," 정보과학회논문지: 시스템 및 이론, 33(8): 495-504, 한국정보과학회, 2006. 8. * Park, M., H. Kang, and Y. Jun, "Race St… | |
| * 한민균, 최으뜸, 전용기, 이성진, "항공기 소프트웨어의 교착상태 실시간 자율 수리를 위한 건전성 관리시스템", 한국항공우주학회지, vol.51, no.11, Nov 2023. * M.-G. Han, E.-T. Choi, Y.-K. Jun and S.-J. Lee, “He… | |
| * 김병철, 전용기, "멀티스레드 프로그램의 디버깅을 위한 수행그래프," 한국정보기술학회논문지, 7(2): 16-25, 한국정보기술학회, 2009.4. * Kim, B., and Y. Jun, "A Execution Graph for Debugging Multithreaded Pr… | |
| * 천병규, 우종정, 전용기, "내포 병렬성을 가지는 OpenMP 프로그램의 최초 경합 탐지," 정보처리학회논문지A, 8(3): 253-260, 한국정보처리학회, 2001. 9. * Chon, B., J. Woo, and Y. Jun, "Detecting the First Race… | |
| * Bong-Jun Paeng (팽봉준),Se-Won Park (박세원), In-Bon Kuh (구인본), Ok-Kyoon Ha (하옥균), Yong-Kee Jun (전용기), "멀티 스레드 프로그램의 자료경합 탐지를 위한 수행 중 감시도구", 정보과학회논문지, 42(2): pp.… | |
| * 임산하, 이선아, 전용기, "항공기 시스템의 치명적인 공통 요인을 식별하기 위한 고장-안전 요구분석 절차 제안", 한국항공우주학회지, vol. 50 No. 4, pp. 259-267, February 2022. * S.-H. Lim, S.-A. Lee and Y.-K. Jun… | |
| * 박상섭, 이성진, 전용기, "국내 개발 인공위성을 위한 저비용 원격명령 처리시스템", 한국항공우주학회지, vol. 49 No. 6, pp. 481-488, June 2021. * S.-S. Park, S.-J. Lee and Y.-K. Jun, “Development and … | |
| * 김선숙, 하옥균, 전용기, "항공기용 소프트웨어의 IDE를 위한 경합조건의 검증환경", 2013 한국컴퓨터종합학술대회 논문집,40(1):100-102, 한국정보과학회, 2013. 06 * Kim,S., O.,Ha, and Y., Jun, "Verification Environm… | |
| * 김성준, 김경훈, 전용기, "항공전자 시스템을 위한 PCI-Express 버스의 결함감내 구조", 한국항공우주학회지, vol.48, no.12, Dec 2020. * S.-J. Kim, K.-H. Kim and Y.-K. Jun, “A Fault-Tolerant Archite… | |
| * 박소희, 우종정, 배종민, 전용기, "병렬프로그램의 경합조건을 수행 중에 효율적으로 탐지하기 위한 레이블링 기법," 정보처리학회논문지A, 9(4): 525-534, 한국정보처리학회, 2002. 12. * Park, S., J. Woo, J. Bae, and Y. Jun, "A … | |
| * 김영주, 정민섭, 전용기, " 내부적 비결정성을 가진공유 메모리병렬 프로그램에서 잠재적 경합탐지를 위한 전처리기", 한국정보처리학회논문지 26-A(1): 9-18, 2010. 2. * Kim, Y., M. Jung, Y. Jun, "A Preprocessor for Detect… | |
| * 김영주, 전용기, "OpenMP 디렉티브 프로그램을 위한 자료경합 검증도구," 정보과학회논문지: 시스템 및 이론, 34(9):395-406, 한국정보과학회, 2007.9. * Kim, Y., and Y. Jun, "A Verification Tool of Data Races i… | |
| * 김영주, 구인본, 배병진, 전용기, "병행 Java 프로그램의 확장적 경합탐지를 위한 JDI 기반의 투명한 감시도구", 한국정보처리학회논문지, 16-A(2):55-60, 2009. 4. * Kim, Y., Kuh, I., Bae, B. and Y. Jun, "A Transpar… | |
| * 하옥균, 강문혜, 김영주, 전용기, "스레드 동기화가 없는 OpenMP 디렉티브 프로그램을 위한 효율적인 경합검증 도구," 정보과학회논문지: 컴퓨팅의 실체, 14(3): 301-305, 한국정보과학회, 2008.5. * Ha, O., M. Kang, Y. Kim, and Y. … | |
| * 하옥균, 강문혜, 전용기, “OpenMP 프로그램을 위한 경합탐지 도구의 실험적 비교와 분석,” 한국정보기술학회논문지, 7(4): pp. 24-32 , 한국정보기술학회, 2009.8. * Ha, O., M. Kang, and Y. Jun, “An Empirical Compari… | |
| * Ok-Kyoon Ha (하옥균), Yong-Kee Jun (전용기), "내포 병렬성 프로그램에서 수행 중 경합 탐지를 위한 효율적인 스레드 식별자 생성 기법", 한국정보기술학회논문지, 9(2): pp. 15-25 , 한국정보기술학회, 2011.2. * Ha, O. and Y… | |
| * Ok-Kyoon Ha (하옥균), Yong-Kee Jun (전용기), "멀티 스레드 프로그램을 위한 동적 자료경합 탐지 기술 현황", 정보과학회지, 33(12): pp. 45-51 , 한국정보과학회, 2015.12. * Ha, O.-K., and Y. Jun, “A Surve… | |
| * 이용래, 최으뜸, 전용기, "항공기 시현계통 소프트웨어의 비행시험을 위한 분석도구 ", 한국항공우주학회지, Volume 46, Issue 11, Nov 2018. * Lee, Y.-L., E.-T. Choi, and Y.-K. Jun, “An Analysis Tool f… | |
| * 최으뜸, 이동수, 전용기, 이성진, "항공기 건전성 관리시스템용 원자성 위배 자율 수리 소프트웨어 기법", 한국항공우주학회지, vol.48, no.7, July 2020. * E.-T. Choi, D.-S. Lee and Y.-K. Jun, “On-the-fly Atomici… | |
| * 김정시, 전용기, "요약보고 방법에 의해 병목현상을 개선한 최초경합의 수행중 탐지기법," 정보과학회논문지A, 26(9): 1042-1054, 한국정보과학회, 1999. 9. * Kim, J., and Y. Jun, "On-the-fly Detection of the First … | |
| * 오진우, 최으뜸, 전용기, "무기체계 소프트웨어의 자료경합을 탐지하기 위한 프레임워크", 대한임베디드공학회논문지, Volume 13, Issue 6, Dec 2018. * Oh, J.-W., E.-T. Choi, and Y.-K. Jun, “A Framework for … | |
| * 김태형, 최으뜸, 전용기, "항공기 소프트웨어의 건전성 관리를 위해서 순서 위배 오류를 자율 수리하는 효율적인 시스템", 한국항공우주학회지, vol.48, no.10, Oct 2020. * T.-H. Kim, E.-T. Choi and Y.-K. Jun, “An Efficie… | |
| * 박희동, 전용기, "순서적 동기화를 포함하는 공유메모리 병렬프로그램에서의 수행중 최초경합탐지 기법," 정보과학회논문지A, 26(8): 884-894, 한국정보과학회, 1999. 8. * Park, H., and Y. Jun, "On-the-fly Detection of the … |