Site Tools


tag:domestic

TAG: domestic

Year 2004 Title 동기화를 가진 공유메모리 병렬프로그램에서 실행중 2단계 최초경합 탐지를 위한 사건선택 방법 Applicant 박희동 Inventor 박희동, 전용기, 배찬숙 Nationality Korea Status Holding(등록) A…
Year 2005 Title 임베디드 다중스레드 프로그램의 사후 경합탐지를 위한 스레드 병행성 정보 생성 방법 Applicant 한국전자통신연구원 Inventor 김정시, 전용기, 임채덕, 김흥남 Nationality Korea Status Holding(등…
Year 2005 Title 제이티에이지를 이용한 임베디드 시스템의 디버깅 장치 및 방법 Applicant 한국전자통신연구원 Inventor 전인걸, 김정시, 임채덕, 박승민, 김병철, 전용기 Nationality Korea Status Opening(공개)…
Year 2006 Title 내포병렬성을 가진 공유메모리 프로그램의 수행중 최초경합 탐지를 위한 효율적 기법 Applicant 하금숙, 전용기 Inventor 하금숙, 전용기, 유기영 Nationality Korea Status Holding(등록) A…
Year 2010 Title ARINC-653 기반 항공기용 컴퓨터 시스템에서 멀티 스레드 프로그램의 경합 치유 방법 및 시스템 Applicant 경상대학교 산학협력단 Inventor 전용기, 하옥균, 기마틴 Nationality Korea Status P…
Year 2011 Title 항공기 다중 기능 시현기 Applicant 경상대학교산학협력단 Inventor 김기일, 전용기, 하옥균 Nationality Korea Status Holding(등록) Abstract 본 발명은 항공기의 다중 기능 시현기…
Year 2011 Title 항공기의 수평 현황 시현기 Applicant 경상대학교 산학협력단 Inventor 전용기, 김기일, 하옥균 Nationality Korea Status Holding(등록) Abstract 본 발명은 항공기의 수평 현황 시현…
Year 2013 Title 데이터 경합 탐지를 위한 스레드 레이블링 방법 및 이를 이용한 데이터 경합탐지 장치 Applicant 경상대학교산학협력단 Inventor 전용기, 하옥균 Nationality Korea Status Holding(등록) A…
* 이건표, 송근영, 최으뜸, 전용기, "항공기 소프트웨어에 적용하기 위한 GPGPU 프로그램의 자료경합 탐지 기법", 한국항공우주학회 2018년도 추계학술대회, 제주, Nov 2018. * Lee, K.-P., G.-Y. Song, E.-T. Choi, and Y.-K. …
* 이건표, 하옥균, 전용기, "소나 영상 시뮬레이션 위한 병렬처리 기술 분석", 2017년 한국컴퓨터정보학회 동계학술대회 논문집 제25권 제1호, pp. 39-40혁, 한국컴퓨터정보학회, 전주, 2017. 01 * Lee, K.-P., O.-K. Ha, and Y.-K. Ju…
* 이건표, 최으뜸, 전용기, "GPU 프로그램에 자료경합 치유기술 적용을 위한 warp 단위 처리기법", 2017 대한임베디드공학회 추계학술대회, pp. 120-121, IEMEK, 제주, Nov, 2017. * Lee, K.-P., E.-T. Choi, and Y.-K. J…
* 이건표, 최으뜸, 전용기, "GPU 프로그램의 자료경합 디버깅을 위한 시각화 기법", 2018 대한임베디드공학회 추계학술대회, 제주, Nov 2018. * Lee, K.-P., E.-T. Choi, and Y.-K. Jun, “A Visualization Technique…
* 이건표, 최으뜸, 전용기, "GPGPU 프로그램의 자료경합 탐지기법을 위한 벤치마크 모음", 2019년도 한국컴퓨터정보학회 동계학술대회, 구미, Jan 2019. * Lee, K.-P., E.-T. Choi, and Y.-K. Jun, “A Benchmark Suite f…
* 이건표, 최으뜸, 전용기, "병행성을 가진 항공기 소프트웨어를 모의실험하기 위한 소프트웨어 프레임워크", 항공우주시스템공학회 2019년도 춘계학술대회, 제주, Apr 2019. * Lee, K.-P., E.-T. Choi, and Y.-K. Jun, “A Software …
* 이건표, 최으뜸, 전용기, "ARINC-653 기반 항공기소프트웨어의 파티션간 동시성 오류를 탐지하기 위한 건전성 관리 기법", 2019 대한임베디드공학회 추계학술대회, pp. 27-28, 대한임베디드공학회, 제주, 14-16 Nov, 2019. * Lee, K.-P., E.-…
* 구금서, 박명철, 하석운, 전용기, 임채덕 "원격 디버깅환경을 위한 경제적인 USB-JTAG Adapter," 한국정보과학회 영남지부 학술논문발표회, 12(1): 183-187, 한국정보과학회, 2004. 12. * Koo, G., M. Park, S. Ha, Y. Jun, a…
* 구금서, 박명철, 하석운, 전용기, 임채덕, "SoC 프로그램의 원격디버깅 도구를 위한 USB-JTAG Adapter," 한국정보처리학회 추계학술발표논문집, 12(2): 1449-1452, 한국정보처리학회, 2005. 11. * Koo, G., M. Park, S. Ha, Y.…
* 구금서, 박미영, 전용기, "생물정보 처리 프로그램의 테스팅을 위한 메시지 전달 패턴의 분석," 한국정보과학회 병렬처리시스템연구회, 14(2): 37-42, 한국정보과학회, 2003.11. * Koo, G., M. Park, and Y. Jun, "An Analysis of M…
* 김금희, 김영주, 전용기, "OpenMP 프로그램의 디버깅을 위한 효과적 경합 시각화," 한국정보과학회 추계발표논문집, 31(2): 13-15, 한국정보과학회, 2004. 10. * Kim, K., Y. Kim, and Y. Jun, "Effective Race Visualiz…
* 하금숙, 전용기, 유기영, "내포병렬성을 가진 공유메모리 프로그램의 수행중 최초경합 탐지를 위한 효율적 기법," 정보과학회논문지: 시스템 및 이론, 30(7): 341-351, 한국정보과학회, 2003. 8. * Ha, K., Y. Jun, and K. Yoo, "Efficie…
* 구금서, 전용기, "항공기의 실시간 임무컴퓨터 개발을 위한 멀티코어 테스트베드," 한국정보처리학회 춘계학술발표논문집, 16(1): 688-691, 한화리조트, 한국정보처리학회, 2009. 04. * Koo, G., and Y. Jun, "A Multi-core Test-Bed …
* 구금서, 전용기, "멀티코어 항공기소프트웨어 개발을 위한 시스템 플랫폼," 2010 한국컴퓨터종합학술대회 논문집B, 37(1): 425-430, 제주그랜드호텔, 한국정보과학회, 2010. 7. * Koo, G., and Y. Jun, "A Development Platform …
* 구금서, 전용기, "표준 항공기 애플리케이션의 통신 신뢰성 검사를 위한 메시지전달 프로토콜의 분석," 2010 대한임베디드공학회 추계학술대회 학술발표 논문집, pp. 595-598, 제주칼호텔, 대한임베디드공학회, 2010. 11. * Koo, G., and Y. Jun, "…
* 구금서, 전용기, "통합 모듈형 항공전자 시스템의 애플리케이션 안전성을 위한 소프트웨어 개발 플랫폼," 한국정보과학회 추계학술발표논문집B, 37(2): 384-387, 단국대학교, 한국정보과학회, 2010. 11. * Koo, G., and Y. Jun, "A Software D…
* 강기용 , 구인본, 전용기, "무선 센서 네트워크를 이용한 내장형 태양광 추적 시스템 구현," 정보처리학회 춘계학술발표대회 논문집, 19(1):14-16, 한국정보처리학회, 2012. 4. * Kang Ki-Yong, In-Bon Kuh, and Yong-Kee Jun, "Dev…
* 정대율, 전용기, "가상대학시스템 전략계획수립을 위한 교수자 측면의 요구분석에 관한 연구 -K대학의 사례를 중심으로-," 2001년 추계 학술 및 정책세미나 논문집, 한국인터넷전자상거래학회, 2001.10.27
* 정대율, 전용기, "경상대학교 가상대학시스템 전략계획 수립에 관한 연구," 산업경제, 12: 83-110, 경상대학교, 2001. 12. publication domestic university yongkee
* 정대율, 전용기, "가상대학시스템 전략계획수립을 위한 교수자 측면의 요구분석에 관한 연구: K대학의 사례를 중심으로," Information Systems Review, 4(1): 89-110, 한국경영정보학회, 2002. 11. * Jeong, D., and Y. Jun, "…
* 김동국, 옥순호, 이진숙, 천병규, 전용기, "RACE STAND: 병렬프로그램을 위한 오류수정 도구," 한국정보과학회 영남지구 학술발표논문집, 1(1): 39-44, 한국정보과학회, 1994. 2. * Kim, Dong-Gook, Soon-Ho Ok, Jin-Sook Lee,…
* 김동국, 김영철, 전용기, "병렬프로그램의 오류수정을 위한 최초경합의 수행중 탐지기법," 정보과학회논문지B, 24(12): 1441-1450, 한국정보과학회, 1997. 12. * Kim, D., Y. Kim, and Y. Jun, "On-the-fly Detection of …
* 이동수, 하옥균, 전용기, "이미지 합성을 위한 현실성 향상 기술 분석", 2017년 한국컴퓨터정보학회 동계학술대회 논문집 제25권 제1호, pp. 37-38혁, 한국컴퓨터정보학회, 전주, 2017. 01 * Lee, D.-S., O.-K. Ha, and Y.-K. Jun,…
* 김동국, 전용기, "병렬 프로그램의 접근 이상 탐지를 위한 동적 오류 수정 도구," 전산연구 10: 11-24, 경상대학교, 1995. 12. * Dong-Gook Kim, and Yong-Kee Jun, "A Dynamic Debugging Tool for Detecting …
* 김동국, 전용기, "다중 사용자용 MiDAS-III의 디버깅 환경에 관한 연구," 전산연구, 12: 81-94, 경상대학교, 1997. 12. * Dong-Gook Kim, and Yong-Kee Jun, "A Study on Debugging Environment of Mul…
* 이동수, 최으뜸, 전용기, "항공기 소프트웨어에서 원자성위배를 치유하기 위한 블록화 롤백기법", 2017 대한임베디드공학회 추계학술대회, pp. 114-115, IEMEK, 제주, Nov, 2017. * Lee, D.-S., E.-T. Choi, and Y.-K. Jun, …
* 강명신, 팽봉준, 하옥균, 전용기, "ARING 653 프로그램의 경합조건 디버깅을 위한 이벤트 동기화의 시각화", 2014 대한임베디드공학회 추계학술대회, 대한임베디드공학회 추계학술대회 논문집, pp.1~4, 제주, 2014. * Kang, M.-S., B.-J. Paeng,…
* 박명철, 김영주, 하석운, 전용기, 임채덕, "SoC 프로그램의 원격 디버깅을 위한 실시간 추적도구의 구현," 정보처리학회논문지A, 12-A(7): 583-588, 정보처리학회, 2005. 12. * Park, M., Y. Kim, S. Ha, Y. Jun, and C. Lim…
* 강명신, 구인본, 하옥균, 전용기, "동적 자료경합 탐지를 위한 메모리 접근사건의 효율적인 이진코드 감시 기법", 2013 한국컴퓨터종합학술대회 논문집, 40(1):106-108, 한국정보과학회, 2013. 06 * Kang,M., I.,Kuh, O.,Ha, and Y., J…
* 박명철, 정현철, 하옥균 "가축 질병 예방을 위한 가축 생체정보 모니터링 장치의 개발", 한국컴퓨터정보학회 논문지 제21권 제10호(통권 제151호), pp. 91-98, 한국컴퓨터정보학회, 2016. 10. * Park, M.-C., H. -C. Jung, and O.-K. …
* 강문혜, 김영주, 전용기, "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 …
* 박미영, 구금서, 전용기, "메시지전달 프로그램의 디버깅을 위한 메시지경합의 탐지," 한국멀티미디어학회지, 7(3):59-68, 한국멀티미디어학회, 9. 2003. publication domestic conference miyoung geumseo yongkee
* 박미영, 강문혜, 전용기, 박혁로, "메시지 전달 프로그램에서의 수행 중 경합탐지," 한국정보과학회 논문지:시스템 및 이론, 34(7):267~275, 한국정보과학회, 2007.8. * Park, M., M. Kang, Y. Jun, and H. Park, "On-the-fly…
* 박미영, 김영주, 김성대, 이승렬, 박소희, 전용기, "메시지전달 프로그램의 디버깅을 위한 경합조건의 시각화," 컴퓨터시스템연구회 추계학술발표회 논문집, pp. 47-56, 한국정보과학회, 2000. 9. * Park, M., Y. Kim, S. Kim, S. Lee, S. P…
* 박미영, 김영철, 전용기, "병렬 프로그램의 수행중 경합탐지를 위한 프로그램 재구성 도구," 한국정보과학회 병렬처리시스템 학술발표회 논문집, 10: 153-161, 한국정보과학회, 1999. 9. * Park, M., Y. Kim and Y. Jun, "A Program Res…
* 박미영, 김영철, 박소희, 이승렬, 김영주, 전용기, "OpenMP 병렬 프로그램의 수행중 경합탐지를 위한 모니터링 기법," 전산연구, 14: 67-74, 경상대학교, 1999. 12. * Mi-Young Park, Young-Cheol Kim, So-Hee Park, Seun…
* 박미영, 김영철, 전용기, "수행중 경합 탐지를 위한 내포 병렬성을 가진 프로그램의 재구성," 한국정보과학회 영남지부 학술발표논문집, 7(1): 215-222, 한국정보과학회, 1999. 12. * Park, M., Y. Kim, and Y. Jun, "Restructuring…
* 박미영, 전용기, "메시지전달 프로그램의 디버깅을 위한 경합의 확장적 시각화," 정보과학회논문지: 시스템 및 이론, 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…
* 정민섭, 김영주, 하옥균, 전용기, “내부적 비결정성을 가진 공유 메모리 프로그램의 잠재적 경합 탐지,” 한국정보처리학회 춘계학술발표 논문집, 15(1): 553-556, 한국정보처리학회, 2008. 5. * Jung, M., Y. Kim, O. Ha, and Y. Jun, “…
* 강민우, 김정민, 하옥균, 강문혜, 전용기, "OpenMP 프로그램의 경합을 효과적으로 탐지하는 도구," 정보통신분야학회 합동학술대회 논문집, 2(1): 42-46, 2008. 11. * Kang, M., J. Kim, O. Ha, M. Kang, and Y. Jun, "An …
* 이민지, 백형진, 이건표, 최으뜸, 전용기, "항공기 소프트웨어의 원자성위배를 진단하기 위한 잠금사건 기반의 인터리빙 분석 기법", 한국항공우주학회, 제주, 20-23 Nov, 2019. * M.-J. Lee, H.-J. Baek, K.-P. Lee, E.-T. Choi, an…
* 천병규, 김동국, 전용기, "병렬프로그램의 효과적인 접근이상 탐지를 위한 반복수행 프로토콜," 한국정보과학회 병렬처리시스템 학술발표논문집, 5(1): 54-64, 한국정보과학회, 1994. 5. * Chon, Byoung-Gyu, Dong-Gook Kim, and Yong-Ke…
* 천병규, 김동국, 전용기, "단일방향 내포 병렬프로그램의 효과적인 접근이상 탐지," 한국정보과학회 프로그래밍언어연구회 학술발표논문집, 8(2): 26-36, 한국정보과학회, 1994. 10. * Chon, Byoung-Gyu, Dong-Gook Kim, and Yong-Kee …
* Chon, Byoung-Gyu, Dong-Gook Kim, and Yong-Kee Jun, "Efficient Reexecution Monitoring Technique for Debugging Parallel Programs," J. of the Inst. of Computer …
* 김병철, 강문혜, 전용기, 임채덕, "임베디드 소프트웨어 개발을 위한 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…
* 김병철, 이승열, 전용기, "병행 Java 프로그램의 수행 감시를 위해서 사건순서 정보를 생성하는 기법", 한국정보과학회 영남지부 학술발표논문집, 11(1): 206-211, 한국정보과학회, 2003. 12. * Kim, Byung-Chul, Seung-Yul Lee, and …
* 김병철, 전용기, "병행 Java 프로그램의 디버깅을 위한 확장적 스레드 시각화", 한국정보과학회 병렬처리시스템연구회, 15(1): 194-200, 한국정보과학회, 2004. 5. * Kim, B., and Y. Jun, "Scalable Thread Visualization …
* 김병철, 전용기, "멀티스레드 프로그램의 디버깅을 위한 수행그래프," 한국정보기술학회논문지, 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…
* 김병철, 박희동, "JTAG 인터페이스를 이용한 GUI 디버거 기술 동향," 한국멀티미디어학회지, 7(3):1-11, 한국멀티미디어학회, 9. 2003. publication domestic conference byungchul heedong
* Bong-Jun Paeng (팽봉준),Se-Won Park (박세원), In-Bon Kuh (구인본), Ok-Kyoon Ha (하옥균), Yong-Kee Jun (전용기), "멀티 스레드 프로그램의 자료경합 탐지를 위한 수행 중 감시도구", 정보과학회논문지, 42(2): pp.…
* 팽봉준, 김현지, 박세원, 하옥균, 전용기, "멀티스레드 프로그램의 자료경합 탐지를 위한 수행 중 감시 도구", 한국정보과학회 2014 한국컴퓨터종합학술대회 논문집, pp. 1-3, 한국정보과학회, 부산, 2014. * Paeng, B.-J., H.-J. Kim, S.-W…
* 배상현, 전용기, 배종민, "동기화명령을 가지는 내포병렬루프 프로그램의 수행중 접근이상 탐지를 위한 레이블링," 전산연구, 11: 61-69, 경상대학교, 1996. 12. * Sang-Hyun Bae, Yong-Kee Jun, and Jong-Min Bae, "A Labeli…
* 배상현, 전용기, 배종민, "Web 기반 원격교육을 위한 실시간 평가시스템의 설계 및 구현," 한국정보과학회 영남지부 학술발표논문집, 5(1): 17-24, 한국정보과학회, 1997. 12. * Sang-Hyun Bae, Yong-Kee Jun, and Jong-Min Bae,…
* 배상현, 전용기, 배종민, "동기화 명령을 가지는 내포병렬 루프 프로그램의 수행중 접근이상 탐지를 위한 레이블링," 한국정보과학회 가을 학술발표논문집, 25(2): 712-714, 한국정보과학회, 1998. 10. * Sang-Hyun Bae, Yong-Kee Jun, and …
* 최석주, 김영주, 전용기, "OpenMP 프로그램의 최적화된 경합탐지 환경을 구성하는 웹기반 도구," 한국정보과학회 영남지부 학술논문발표회, 13(1): 180-184, 한국정보과학회, 2005. 12. * Choi, S., Y. Kim, and Y. Jun, "A Web-ba…
* 김선숙, 하옥균, 전용기, "항공기용 소프트웨어의 IDE를 위한 경합조건의 검증환경", 2013 한국컴퓨터종합학술대회 논문집,40(1):100-102, 한국정보과학회, 2013. 06 * Kim,S., O.,Ha, and Y., Jun, "Verification Environm…
* 김선숙, 구인본, 하옥균, 전용기 "ARINC-653 항공 소프트웨어의 경합 조건을 치유하기 위한 자동 록 생성기" 2010 대한임베디드공학회 추계학술대회 학술발표 논문집, pp. 9-13, 제주칼호텔, 대한임베디드공학회, 2010. 11. * Kim. S, I. Kuh, O.…
* 김성대, 김영주, 박미영, 이승렬, 박소희, 전용기, "공유메모리 병렬프로그래밍을 위한 가상실험실," 한국정보과학회 병렬처리시스템 학술발표회 논문집, 11(2): 8-17, 한국정보과학회, 2000. 9. * Kim, S., Y. Kim, M. Park, S. Lee, S. P…
* 김성대, 김영주, 박소희, 전용기, "병렬 프로그램 디버깅 도구를 위한 웹 인터페이스," 한국정보과학회 컴퓨터시스템연구회 추계학술발표회 논문집, pp. 66-75,한국정보과학회, 1999. 9. * Kim, S., Y. Kim, S. Park and Y. Jun, " A Web…
* 박세원, 강명신, 하옥균, 전용기, "구조화된 Fork-join 병렬 프로그램의 자료경합 디버깅을 위한 공간 효율적 시각화 도구", 한국정보과학회 2013 추계학술발표회 p112-114, 한국정보과학회, 2013. 11 * S.,Park, M.,Kang, O.,Ha, and Y.,…
* 박세원, 하옥균 "병렬 프로그램의 동적 분석을 위한 효율적인 감시 필터링 기술 ", 2016년 한국컴퓨터정보학회 동계학술대회 논문집 제24권 제1호, pp. 9-10, 한국컴퓨터정보학회, 2016. 01 * Park, S.-W., and O.-K. Ha, “An Efficie…
* 박소희, 임경도, 전용기, "내포 병렬 프로그램의 경합 탐지를 위한 레이블링 기법의 비교 분석," 한국정보과학회 컴퓨터시스템연구회 추계학술발표회 논문집, 76-85, 한국정보과학회, 1999. 9. * Park, S., K. Im and Y. Jun, "A Comparison …
* 박소희, 박미영, 김영주, 이승렬, 전용기, "OpenMP 병렬프로그램의 경합 탐지를 위한 스레드 기반의 BD 레이블링 기법," 병렬처리시스템 학술발표회 논문집, 11(1): 133-142, 한국정보과학회, 2000. 3. * Park, S., M. Park, Y. Kim, S…
* 박소희, 박미영, 김병철, 전용기, "병렬 프로그램의 효율적인 수행중 경합탐지를 위한 레이블링 기법," 한국정보과학회 영남지부 학술발표논문집, 9(1): 121-130, 한국정보과학회, 2001. 12. * Park, S., M. Park, B. Kim and Y. Jun, "…
* 박소희, 이승열, 김정시, 김동국, 전용기, "병렬프로그램의 경합수정을 위한 효과적 감시도구," 경상대학교 전산연구, 13: 59-68, 경상대학교, 1998. 12. * Park,S., S. Lee, J. Kim, D. Kim, and Y. Jun, "An Effective …
* 박소희, 김영주, 박미영, 김성대, 이승렬, 전용기, "리눅스 클러스터 시스템을 위한 병렬프로그램의 메시지경합 탐지 도구," 한국정보처리학회 추계학술발표논문집, 7(2): 645-648, 한국정보처리학회, 2000. 10. * Park, S., Y. Kim, M. Park, S…
* 박소희, 김영주, 박미영, 이승렬, 전용기, "리눅스 클러스터 시스템을 위한 병렬 디버거 개발," 경상대학교 전산연구, 15: 37-46, 경상대학교, 2000. 12. * Park, S., Y. Kim, M. Park, S. Lee, and Y. Jun, "Developmen…
* 박소희, 우종정, 배종민, 전용기, "병렬프로그램의 경합조건을 수행 중에 효율적으로 탐지하기 위한 레이블링 기법," 정보처리학회논문지A, 9(4): 525-534, 한국정보처리학회, 2002. 12. * Park, S., J. Woo, J. Bae, and Y. Jun, "A …
* 배수연, 박미영, 전용기, "병렬 프로그램의 메시지경합 탐지기법에 대한 시험도구," 한국정보과학회 춘계학술발표논문집, 29(1): 598-600, 한국정보과학회, 2002. 4 * Bae, S., M. Park, and Y. Jun "A Testbed for Message Ra…
* 배수연, 박미영, 전용기, "메시지전달 프로그램의 디버깅을 위한 경합조건의 확장적 시각화," 한국정보과학회 추계학술발표논문집, 29(2): 313-315, 한국정보과학회, 2002. 10. * Bae, S., M. Park, and Y. Jun, "Scalable Race Vi…
* 옥순호, 김동국, 전용기, "병렬프로그램의 오류수정을 위한 GUI 기반의 순차적 접근이상 탐지도구," 전산연구, 9: 1-10, 경상대학교, 1994. 12. * Ok, Soon-Ho, Dong-Gook Kim, and Yong-Kee Jun, "A GUI-based Seque…
* 옥순호, 김동국, 전용기, "병렬프로그램의 접근이상 탐지를 위한 순차적 감시도구," 한국정보과학회 병렬처리시스템 학술발표논문집, 5(1): 44-53, 한국정보과학회, 1994. 5. * Ok, Soon-Ho, Dong-Gook Kim, and Yong-Kee Jun, "A S…
* 옥순호, 배재권, 전용기, "병렬프로그램의 접근이상을 탐지하기 위한 순차적 그래픽 감시 도구," 한국정보과학회 프로그래밍언어연구회 학술발표논문집, 8(2): 59-68, 한국정보과학회, 1994. 10. * Ok, Soon-Ho, Jae-Kwon Bae, and Yong-Kee…
* 이승은, 이건표, 최으뜸, 전용기, "오픈 UAV 소프트웨어의 동시성 오류 특성 분석을 위한 오류 리포트 조사", 한국항공우주학회, 제주, 20-23 Nov, 2019. * S.-E. Lee, K.-P. Lee, E.-T. Choi, and Y.-K. Jun, "A Survey…
* 이승열, 강문혜, 김동국, "다중스레드 프로그램의 디버깅을 위한 사건순서 정보," 한국멀티미디어학회지, 7(3):24-33, 한국멀티미디어학회, 9. 2003. publication domestic conference seungryul munhye donggook
* 이승렬, 박소희, 김영주, 박미영, 전용기, "다중스레드 자바 프로그램을 위한 경합탐지 도구의 분석," 경상대학교 전산연구, 14: 59-66, 경상대학교, 1999. 12. * Lee, S., S. Park, Y. Kim, M. Park, and Y. Jun, "An Anal…
* 이승렬, 김영주, 박미영, 박소희, 전용기, "다중스레드 자바 프로그램을 위한 디버깅 도구의 분석," 한국정보과학회 영남지부 학술발표논문집, 8(1): 105-109, 한국정보과학회, 2000. 12. * Lee, S., Y. Kim, M. Park, S. Park, and Y…
* 이승렬, 김영주, 박미영, 김성대, 박소희, 전용기, "경합탐지 알고리즘의 평가를 위한 커널 벤치마크 프로그램," 한국정보과학회 컴퓨터시스템연구회 추계학술발표회 논문집, pp. 37-46, 한국정보과학회, 2000. 9. * Lee, S., Y. Kim, M. Park, S. …
* 이승렬, 김영주, 전용기, "동기화를 가진 공유메모리 병렬프로그램의 최초경합을 위한 효율적인 수행중 탐지 기법," 한국정보과학회 추계학술발표논문집, 26(2):774-776,한국정보과학회, 1999. 10. * Lee, S., Y. Kim, and Y. Jun, " Scalab…
* 김영주, 강문혜, 전용기, "OpenMP 프로그램을 위한 경합탐지 도구의 분석," 한국정보과학회 추계학술발표논문집, 30(2): 478-480, 한국정보과학회, 2003. 10. * Kim, Y., M. Kang, and Y. Jun, "An Analysis of Race De…
* 김영주, 정민섭, 전용기, " 내부적 비결정성을 가진공유 메모리병렬 프로그램에서 잠재적 경합탐지를 위한 전처리기", 한국정보처리학회논문지 26-A(1): 9-18, 2010. 2. * Kim, Y., M. Jung, Y. Jun, "A Preprocessor for Detect…
* 김영주, 최석주, 전인걸, 전용기, 임채덕, "SoC 프로그램의 원격디버깅을 위한 실시간 추적도구," 한국정보과학회 한국컴퓨터종합학술발표논문집A, 32(1): 4-6, 한국정보과학회, 2005. 7. * Kim, Y., S. Choi, I. Chun, Y. Jun, and C. …
* 홍영표, 최성인, 전용기, 이부권, "웹기반 원격교육을 위한 수준별 학습 관리시스템,"한국정보처리학회 추계 학술발표논문집, 5(2): 879-882, 한국정보처리학회, 1998. 10. * Young-Pyo Hong, Sung-In Choi, Yong-Kee Jun, and B…
* 김영주, 박소희, 박미영, 이승렬, 전용기, "록킹을 가진 OpenMP 병렬프로그램의 경합탐지를 위한 확장적 감시기법 및 도구," 경상대학교 전산연구, 15: 7-16, 경상대학교, 2000. 12. * Kim, Y., S. Park, M. Park, S. Lee, and Y.…
* 김영주, 이승렬, 전용기, "임계구역을 가진 공유메모리 병렬프로그램에서 효율적인 경합 탐지를 위한 사건 선택기법," 한국정보과학회 춘계학술발표논문집, 27(1): 630-632, 한국정보과학회, 2000. 4. * Kim, Y., S. Lee, and Y. Jun, "Filte…
* 김영주, 이승렬, 박미영, 김성대, 박소희, 전용기, "록킹을 가진 병렬프로그램의 경합탐지를 위한 확장적 감시 기법 ," 한국정보과학회 병렬처리시스템 학술발표회 논문집, 11(2): 44-53, 한국정보과학회, 2000. 9. * Kim, Y., S. Lee, M. Park, …
* 김영주, 전용기, "OpenMP 프로그램에서 경합검증을 위한 최적의 도구," HPC 연구회, 한국정보과학회, 2006. 8. * Kim, Y., and Y. Jun, "An Optimal Tool for Verifying Races in OpenMP Programs," High…
* 김영주, 전용기, "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 프로그램을 위한 디버깅 도구," 한국멀티미디어학회지, 7(3):34-46, 한국멀티미디어학회, 9. 2003. publication domestic conference youngjoo jeongsi
* 하옥균, 강문혜, 김영주, 전용기, "스레드 동기화가 없는 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…
* 하옥균, 김선숙, 백민정, 이보람, 김경훈, 전용기, “Zigbee 센서 네트워크 기반의 선박 충돌회피 테스트베드의 설계와 구현,” 대한임베디드공학회 추계학술발표논문집, pp. 524-527, 대한임베디드공학회, 2008. 11. * Ha, O., S. Kim, M. Baek,…
* 하옥균, 김선숙, 전용기, "OpenMP 프로그램을 위한 효율적 병행성 정보의 생성기법", 2010 한국컴퓨터종합학술대회 논문집, 37(1):534-539, 한국정보과학회, 2011. 7. * Ha, O., S. Kim, and Y. Jun, "An Efficient Schem…
* 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…
* 최으뜸, 이동수, 윤영훈, 고심재, 김병수, 전용기, "항공기 소프트웨어의 건전성 관리시스템을 위한 설계지침", 항공우주시스템공학회 2018년도 춘계학술대회, 제주, april 2018. * Choi, E.-T., D.-S. Lee, Y.-H. Yoon, S.-J. Ko…
* 최으뜸, 박세원, 하옥균, 전용기, "ARINC-653 응용 프로그램에서의 원자성 결합을 위한 동적 탐지 도구", 2014 대한임베디드공학회 추계학술대회, 대한임베디드공학회 추계학술대회 논문집, pp.40~43, 제주, 2014. * Choi, E.-T., S.-W. Park,…
* 최으뜸, 하옥균, 전용기, "수행 중 경합탐지 도구를 위한 사례 연구", 2013 한국컴퓨터종합학술대회 논문집,40(1):103-105, 한국정보과학회, 2013. 06 * Kim,S., O.,Ha, and Y., Jun, "A Case Study of On-the-fly De…
* 최으뜸, 하옥균, 전용기 "소프트웨어 트랜잭셔널 메모리를 이용한 자료경합 치유 기술 설계", 2016년 한국컴퓨터정보학회 하계학술대회 논문집, pp. 3-4, 한국컴퓨터정보학회, 원주, 2016. 07 * Choi, E.-T., O.-K. Ha, and Y.-K. Jun, …
* 최으뜸, 전용기, "항공기 소프트웨어에서 수리된 원자성위배를 분석하기 위한 프레임웍", 한국정보과학회 국방소프트웨어 연구회 2018 추계 워크샵, 서울, Nov 2018. * Choi, E.-T., D.-S. Lee, and Y.-K. Jun, "A Framework fo…
* 최으뜸, 오진우, 전용기, "무기체계 소프트웨어에서 원자성위배를 자율적으로 수리하기 위한 개발 프레임웍 연구", 2018 대한임베디드공학회 추계학술대회, 제주, Nov 2018. * Choi, E.-T., J.-W. Oh, and Y.-K. Jun, “A Developmen…
* 최으뜸, 김태형, 전용기, "ARINC 653 기반 항공기 소프트웨어의 동시성 결함을 자율 수리하는 도구를 검증하기 위한 프레임웍", 2019 대한임베디드공학회 추계학술대회, pp. 45-46, 대한임베디드공학회, 제주, 14-16 Nov, 2019. * E.-T. Choi, T…
* 류은경, 하금숙, 이성우, 김용국, 전용기, 유기영, "수행중 경합탐지를 위한 기억공간 효율적인 레이블링 기법," 병렬처리시스템 학술발표회 논문집, 12(1): 3-11, 한국정보과학회, 2001.9. * Ryu, E., K. Ha, S. Lee, Y. Kim, Y. Jun a…
* 우이정, 김태형, 처그바야르 자르갈사이항, 최으뜸, 전용기, "항공기 소프트웨어의 건전성 관리시스템에서 순서위배를 감시하기위한 기법", 한국항공우주학회, 제주, 20-23 Nov, 2019. * I -J.Woo, T.-H. Kim, Jargalsaikhan, T., E.-T. …
* 구인본, 김영주, 강문혜, 전용기, "병행 Java 프로그램의 공유변수 접근사건 선택을 위한 투명한 감시도구," 한국정보처리학회 추계학술발표 논문집, 14(2): 648-652, 한국정보처리학회, 2007. 11. * Kuh, I., Y. Kim, M. Kang and Y. J…
* 조재희, 전용기, 김용기, "수행중 탐지 기법을 이용한 병렬 프로그램 디버깅의 개선," 전산연구, 11: 71-79, 경상대학교, 1996. 12. * Jae-Hee Cho, Yong-Kee Jun, and Yong-Gi Kim, "The improvement of Parall…
* 강정혜, 박미영, 구금서, 전용기, "운영체제 행위의 이해를 위한 확장적 시각화 도구," 한국정보과학회 춘계학술발표논문집, 31(1): 172-174, 한국정보과학회, 2004. 4. * Kang, J., M. Park, G. Koo, and Y. Jun, "A Scalable…
* 전정수, 하옥균, 김기일, 전용기, "터치스크린을 위한 Viewport 기반의 다기능 시연기의 개발", 한국정보기술학회 IT 융합기술 워크숍 및 하계학술대회 논문집, C-14: 52, 한국정보기술학회, 2009. 6. * Jun, J., O. Ha, K. Kim, and Y. …
* 김정시, 전용기, "요약 보고방식에 의한 최초경합의 수행중 탐지," 한국정보과학회 영남지부 학술발표논문집, 4(1): 63-73, 한국정보과학회, 1997. 2. * Jeong-Si Kim, and Yong-Kee Jun, "On-the-fly Detection of the F…
* 김정시, 전용기, "수행중 경합 탐지기법의 보고방식에 관한 연구," 경상대학교 전산연구, 12: 51-59, 경상대학교, 1997. 12. * Kim, J,. and Y. Jun, "Report Method of On-the-fly Techniques for Race Detec…
* 김정시, 전용기, "요약보고 방법에 의해 병목현상을 개선한 최초경합의 수행중 탐지기법," 정보과학회논문지A, 26(9): 1042-1054, 한국정보과학회, 1999. 9. * Kim, J., and Y. Jun, "On-the-fly Detection of the First …
* 김정시, 김현주, 정춘화, 전용기, "웹 기반 가상대학을 위한 출석 평가 시스템의 설계 및 구현," 한국정보과학회 가을 학술발표논문집, 25(2): 682-684, 한국정보과학회, 1998. 10. * Jung-Si Kim, Hyun-Ju Kim, Chun-Haw Jung, a…
* 김정시, 박희동, 전용기, "Java 프로그램에서 경합탐지를 위한 오류수정 도구," 한국정보과학회 컴퓨터시스템연구회 추계 학술발표논문집, 9: 258-265, 한국정보과학회, 1998. 9. * Jeong-Si Kim, Hee-Dong Park, and Yong-Kee Jun,…
* 박주혁, 하옥균, 전용기, "실시간 객체인식을 위한 이미지 처리기술 분석", 2017년 한국컴퓨터정보학회 동계학술대회 논문집 제25권 제1호, pp. 35-36혁, 한국컴퓨터정보학회, 전주, 2017. 01 * Park, J.-H., O.-K. Ha, and Y.-K. Ju…
* 박주혁, 옥지훈, 최으뜸, 전용기, "항공기 소프트웨어에서 자료경합치유를 위한 공간 효율적인 소프트웨어 트랜잭셔널 메모리", 2017 대한임베디드공학회 추계학술대회, pp. 45-46, IEMEK, 제주, Nov, 2017. * Park, J.-H., Ok, J.-H., E…
* 박주혁, 배향연, 최으뜸, 전용기 "실시간 어플리케이션의 주기성을 위한 수행 중 분석도구", 2016 대한임베디드공학회 추계학술대회, pp. 276-278, 대한임베디드공학회, 제주, 2016. 11 * Park, J.-H., H.-Y. Bae, E.-T. Choi, and…
* 이진숙, 김동국, 전용기, "병렬프로그램의 수행중 접근이상 탐지를 위한 효과적인 탐지 프로토콜,"한국정보과학회 학술발표논문집, 21(1):753-756, 한국정보과학회, 1994. 4. * Lee, Jin-Sook, Dong-Gook Kim, and Yong-Kee Jun, "…
* 이진희, 김영주, 전용기, "OpenMP 프로그램의 경합 디버깅을 위한 추상적 시각화 정보의 추적선택기법," 한국정보과학회 영남지부 학술발표논문집, 9(1): 112-120, 한국정보과학회, 2001. 12. * Lee, J., Y. Kim, and Y. Jun, "A Trac…
* 이진희, 김영주, 전용기, "OpenMP 프로그램의 경합 디버깅을 위한 추상적 시각화," 병렬처리시스템 학술발표회 논문집, 12(1): 13-21, 한국정보과학회, 2001. 9 * Lee, J., Y. Kim, Y. Jun, "A Visual Abstraction Techni…
* 이진숙, 김영철, 전용기, "동기화가 없는 단일 수준 병렬성을 갖는 프로그램을 위한 효과적인 수행중 탐지 프로토콜," 한국정보과학회 영남지부 학술발표논문집, 2(1): 33-41, 한국정보과학회, 1995. 2. * Jin-Sook Lee, Young-Cheol Kim, and…
* 허진용, 전용기, 배종민, "Race Condition 분류의 비교분석," 경상대학교 전산연구, 11: 51-60, 경상대학교, 1996. 12. * Heo, J., Y. Jun, and J. Bae, "A Comparison of Race Condition Taxonomies…
* 오진우, 최으뜸, 전용기, "무기체계 소프트웨어의 자료경합을 탐지하기 위한 프레임워크", 대한임베디드공학회논문지, Volume 13, Issue 6, Dec 2018. * Oh, J.-W., E.-T. Choi, and Y.-K. Jun, “A Framework for …
* 이진숙, 배재권, 전용기, "순서동기화를 가진 병렬프로그램에서 처음으로 발생하는 접근이상들을 위한 수행중 탐지 기법," 한국정보과학회 병렬처리시스템 학술발표논문집, 5(2): 71-82, 한국정보과학회, 1994. 11. * Lee, Jin-Sook, Jae-Kwon Bae, …
* TSogbayr Jargalsaikhan, 최으뜸, 전용기, "ARINC-653 환경에서 UAV 비행제어 소프트웨어의 건전성관리 시스템", 항공우주시스템공학회 2019년도 춘계학술대회, 제주, Apr 2019. * Jargalsaikhan, T., E.-T. Choi, a…
* 처그바야르 자르갈사이항, 최으뜸, 전용기, "UAV 비행제어 소프트웨어의 소스코드 분석", 2019 대한임베디드공학회 추계학술대회, pp. 47-48, 대한임베디드공학회, 제주, 14-16 Nov, 2019. * Jargalsaikhan, T., E.-T. Choi, and Y.-…
* 정춘화, 김동국, 김정시, 김영철, 박희동, 전용기, "병렬프로그램의 접근이상 탐지를 위한 효과적 감시도구," 한국정보과학회 병렬처리시스템 학술발표논문집, 7(2): 139-148, 한국정보과학회, 1996. 11. * Chun-Haw Jung, Dong-Gook Kim, Je…
* 정춘화, 전용기, "수행중 접근이상 탐지를 위한 변형된 병렬프로그램을 생성하는 전처리기," 전산연구, 11: 93-100, 경상대학교, 1996. 12. * Choon-Hwa Jeong, and Yong-Kee Jun, "A Preprocessor for Instrumentat…
* 정춘화, 전용기, "병렬프로그램의 경합수정을 위한 감시도구의 효과적 사용자 인터페이스," 한국정보과학회 컴퓨터시스템연구회 학술발표논문집, 8: 42-47, 한국정보과학회, 1997. 9. * Choon-Hwa Jeong, and Yong-Kee Jun, "An Effective…
* 정춘화, 김정시, 전용기, "병렬프로그램의 경합 수정을 위한 순차적 감시도구," 한국정보과학회 병렬처리시스템연구회 학술발표논문집, 8(3): 25-32, 한국정보과학회, 1997. 10. * Choon-Hwa Jeong, Jeong-Si Kim, and Yong-Kee Jun,…
* 김태형, 이민지, 박주혁, 최으뜸, 전용기, "Pthread를 사용하는 항공기 소프트웨어에서 원자성위배를 자율적으로 수리하는 기법", 한국항공우주학회 2018년도 추계학술대회, 제주, Nov 2018. * Kim, E.-H., M.-J. Lee, J.-H. Park, E…
* 김태형, 최으뜸, 전용기, "항공기 소프트웨어에서 동시성 오류를 자율적으로 수리하기 위한 함수 호출 기반 기법", 2019년도 한국컴퓨터정보학회 동계학술대회, 구미, Jan 2019. * Kim, E.-H., E.-T. Choi, and Y.-K. Jun, “A Metho…
* 김태형, 최으뜸, 전용기, "항공기 소프트웨어의 동시성 오류를 위한 감시 기법", 항공우주시스템공학회 2019년도 춘계학술대회, 제주, Apr 2019. * Kim, T.-H., E.-T. Choi, and Y.-K. Jun, “Monitoring Concurrency E…
* 배향연, 하옥균, 강문혜, 전용기 "임베디드 어플리케이션을 위한 수행시간 분석 도구의 개발", 2016년 한국컴퓨터정보학회 하계학술대회 논문집, pp. 5-6, 한국컴퓨터정보학회, 원주, 2016. 07 * Bae, H.-Y., O.-K. Ha, M.-H. Kang, and…
* 백형진, 이건표, 최으뜸, 전용기, "항공기 소프트웨어에서 경합치유도구를 검증하기 위한 합성프로그램 모음", 2017 대한임베디드공학회 추계학술대회, pp. 122-123, IEMEK, 제주, Nov, 2017. * Baek, H.-J., K.-P. Lee, E.-T. Cho…
* 백형진, 이민지, 최으뜸, 전용기, "병행 소프트웨어의 원자성위배를 위한 자율수리 기법에 대한 고찰", 항공우주시스템공학회 2019년도 춘계학술대회, 제주, Apr 2019. * Baek, H.-j., M.-J. Lee, E.-T. Choi, and Y.-K. Jun, …
* 백형진, 최으뜸, 이건표, 전용기, "항공기 소프트웨어의 원자성위배 자율수리 도구를 위한 안전한 인터리빙 정보를 생성하는 기법", 2019년도 한국컴퓨터정보학회 동계학술대회, 구미, Jan 2019. * Baek, H.-J., E.-T. Choi, K.-P. Lee, a…
* 백형진, 우이정, 최으뜸, 전용기, "항공기 소프트웨어에서 동시성오류 자율 수리도구를 검증하기 위한 오류패턴 모음", 한국항공우주학회 2018년도 추계학술대회, 제주, Nov 2018. * Baek, H.-J., I.-J. Woo, E.-T. Choi, and Y.-K.…
* 김혜경, 김동국, 전용기, "임의적 동기화를 가지는 단일방향 내포 병렬루프 프로그램의 수행중 이상 탐지," 한국정보과학회 병렬처리시스템 학술발표논문집, 5(2): 61-70, 한국정보과학회, 1994. 11. * Kim, Hye-Gyeong, Dong-Gook Kim, and …
* 김혜림, 김병철, 전용기, "멀티스레드 프로그램의 디버깅을 위한 부분순서 수행 그래프 시각화," 한국정보처리학회 추계학술대회 논문집, pp. 15(2): 1020-1023, 한국정보처리학회, 2008. 11. * Kim, H., B. Kim, and Y. Jun, "Visual…
* 김혜경, 김영철, 전용기, "병렬 프로그램의 접근 이상 탐지를 위한 레이블링 알고리즘", 한국정보과학회 영남지부 학술발표논문집, 2(1): 43-52, 한국정보과학회, 1995. 2. * Hye-Gyeong Kim, Young-Cheol Kim, and Yong-Kee Jun,…
* 조호기, 구인본, 김병철, 전용기, "Windows 응용프로그램의 수행을 감시하기 위한 실용적인 시스템콜 조정기법," 한국정보과학회 가을학술발표논문집A, 36(2):234-235, 한국정보과학회, 2009. 11. * Cho, H., I. Kuh, B. Kim and Y. Ju…
* 박희동, 전용기, "동기가 있는 병렬프로그램에서 수행중 최초접근이상 탐지기법 연구," 전산연구 11: 81-92, 경상대학교, 1996. 12. * Hee-Dong Park, and Yong-Kee Jun, "A Study on the On-the-fly Detection of…
* 박희동, 전용기, "순서적 동기화를 포함하는 공유메모리 병렬프로그램에서의 수행중 최초경합탐지 기법," 정보과학회논문지A, 26(8): 884-894, 한국정보과학회, 1999. 8. * Park, H., and Y. Jun, "On-the-fly Detection of the …
* 박희동, 김정시, 전용기, "결정적 공유메모리 병렬프로그램을 위한 수행중 최초경합 탐지 기법," 한국정보과학회 병렬처리시스템연구회 학술발표논문집, 9(3): 111-119, 한국정보과학회, 1998. 9. * Hee-Dong Park, Jeong-Si Kim, and Yong-…
Copyright © 2014 DSLab., Gyeongsang National University, Jinju, South Korea.