Table of Contents

Yong-Kee Jun (전용기)

Name(Korean) 전용기 Yong-Kee Jun
Name(English) Yong-Kee Jun
Email jun@gnu.ac.kr
Tel +82-55-772-1371
Position Professor (supervisor)
Address Dept. of informatics,
GyeongSang Nati. Univ., Jinju, South Korea
SNS Homepage / linkedIn / ResearchGate

Prof. Yong-Kee Jun established his doctorate under the powerful supervision of the late Prof. Kern Koh, Dept. of Computer Engineering, Seoul National University. He performed post-doctoral research in data race detection at University of California at Santa Cruz under the supervision of Prof. Charles E. McDowell who is one of the authorities in the field. And, he was a research associate in Electronics and Telecommunications Research Institute, Korea.

Prof. Jun is a full professor teaching courses on computer operating systems and airborne software engineering in Department of Informatics that he founded and Department of Aerospace and Software Engineering. In GNU, he served as the vice-dean of Academic Affairs in 2003-2005, the first director of Research Institute of Computer and Information Communication in 2001-2003, the first operating director of Virtual College in 2008-2001, the founding director of a national Information Technology Research Center titled Embedded Software Center for Avionics in 2009-2013, and the director of Center of Information Services in 2013-2015.

Professionally, Prof. Jun has been a professional member of ACM since 1994. He edited some special issues of international journals and refereed/chaired for scores of international conferences. Domestically, he served as a chair of the academic committee of Korean Institute of Information Scientists and Engineers, a vice president of Korea Information Processing Society, and the 8-th president of the Institute of Embedded Engineering of Korea.


Printable version

International Publication

SCI/SCIE Journal

* B.-J. Bae, Y.-J. Kim, Y.-K. Kim, O.-K. Ha, and Y.-K. Jun, “An Intrusive Analyzer for Hadoop Systems Based on Wireless Sensor Networks,” International Journal…
* Eu-teum Choi, Tae-hyung Kim, Yong-Kee Jun, Seong-Jin Lee, and Min-gyun Han, "On-the-Fly Repairing of Atomicity Violations in ARINC 653 Software", Applied…
* O.-K. Ha and Y.-K. Jun, "An Efficient Algorithm for On-the-Fly Data Race Detection Using an Epoch-Based Technique", Scientific Programming, Vol. 2015, Arti…
* TSogbayar Jargalsaikhan, Keon-Pyo Lee, Yong-Kee Jun, and Seong-Jin Lee, "Architectural Process for Flight Control Software of Unmanned Aerial Vehicle with M…
* Sang-yun Kim, Eu-teum Choi, Yong-Kee Jun, and Seong-Jin Lee, "Student Dropout Prediction for University with High Precision and Recall", Applied Sciences,…
* Y.-J. Kim, S. Song, and Y.-K. Jun, "VORD: A Versatile On-the-fly Race Detection Tool in OpenMP Programs", International Journal of Parallel Programming, 1-31…
* K. H. Kim, Guy Martin Tchamgoue, Yong-Kee Jun, and W.Y. Lee, "An Optimal Resource Sharing in Hierarchical Virtual Organizations in the Grid", IEICE Transacti…
* M.-C. Park, O.-K. Ha, S.-W. Ha, and Y.-K. Jun, “Real-Time 3D Simulation for the Trawl Fishing Gear Based on Parallel Processing of Sonar Sensor Data,” Intern…
* Guy Martin Tchamgoue, K.H. Kim, and Yong-Kee Jun, "Efficient Detection of Data Races in Concurrent Signal Handlers", Information - An International Interdisc…
* G. M. Tchamgoue, K. H. Kim, and Y.-K. Jun, "Verification of Data Races in Concurrent Interrupt Handlers", International Journal of Distributed Sensor Netwo…
* Guy Martin Tchamgoue, K.H. Kim, and Yong-Kee Jun, "EventHealer: Bypassing data races in event-driven programs,", Journal of Systems and Software, vol. 118, p…
* G. M. Tchamgoue, K. H. Kim, Y.-K. Jun, and W.-Y. Lee, "Compositional Real-Time Scheduling Framework for Periodic Reward-Based Task Model", Journal of Syste…

ACM/IEEE Conf.

* Chang-Hui Bae, Eu-Teum Choi, Yong-Kee Jun, Ok-Kyoon Ha, "Lightweight Method for On-the fly Detection of Multivariable Atomicity Violations", 7th Internatio…
* Choi, Eu-Teum, Se-Won Park, Ok-Kyoon Ha and Yong-Kee Jun, "Detecting Atomicity Races in ARINC 653 Applications,", In Proceedings of International Conference …
* Eu-Teum Choi, Young-Hun Yun, Simjae Ko, Byoung Soo Kim, Yong-Kee Jun, "Tracing Threads of Safety-Critical Functions for Certifying Airworthiness of Military…
* Ha, O.-K., I.-B. Kuh, G. M. Tchamgoue, Y.-K. Jun, "On-the-fly Detection of Data Races in OpenMP Programs," In Proceedings of the 10th Workshop on Paralle…
* Jun, Y., and K. Koh, " On-the-fly Detection of Access Anomalies in Nested Parallel Loops," Proc. of the 3rd ACM/ONR Workshop on Parallel and Distributed Debu…
* Kang, Myeong-Sin, Ok-Kyoon Ha and Yong-Kee Jun, "Visualizing Event Synchronization of ARINC 653 Applications for Debugging Race Conditions,", In Proceedings …
* Hyun-Ji Kim, Ok-Kyoon Ha, Yong-Kee Jun and H.-D. Park, "Message Races in Data Distribution Service Programs,", In Proceedings of International Conference on …
* Kim. Y., D. Kim, and Y. Jun, “An Empirical Analysis of Intel Thread Checker for Detecting Races in OpenMP Programs,” Proc. of IEEE Int’l Conf. on Computer an…
* Kim, Y., S. Song, and Y. Jun, "ADAT: An Adaptable Dynamic Analysis Tool for Race Detection in OpenMP Programs," 9th International Symposium on Parallel and…
* Se-Won Park, Ok-Kyoon Ha and Yong-Kee Jun, "A Loop Filtering Technique for Reducing Time Overhead of Dynamic Data Race Detection,", In Proceedings of Interna…
* Bong-Jun Paeng, Ok-Kyoon Ha and Yong-Kee Jun, "Software Tool for Integrating Configuration Data of ARINC 653 Operating Systems,", In Proceedings of Internati…
* Park, H., and Y. Jun, "Two-Pass On-the-fly Detection of the First Races in Shared-Memory Parallel Programs," Proc. of the 2nd Symp. on Parallel and Distrib…
* Park, M., N. C. T. Hai, Y. Jun, and H. Park, , "Visualization of Message Races in MPI Parallel Programs," IEEE 7th International Conference on Computer and I…
* Guy Martin Tchamgoue, K.-H. Kim, and Yong-Kee Jun, "A New Compositional Scheduling Framework for Power-Aware Real-Time Systems", In Proceedings of the 18th I…
* Guy Martin Tchamgoue, K. H. Kim, and Yong-Kee Jun, "Dynamic Voltage Scaling for Power-Aware Hierarchical Real-Time Scheduling Framework", In Proceedings of t…
* Guy Martin Tchamgoue, Lin Gan, Ok-Kyoon Ha, S.-W. Yang, and Yong-Kee Jun, "Visualizing Concurrency Faults in ARINC-653 Real-Time Applications", In Proceeding…
* G. M. Tchamgoue, K.-H. Kim, Y.-K. Jun, and W.-Y. Lee, "Hierarchical Real-Time Scheduling Framework for Imprecise Computations", In Proceedings of the 8th IEE…
* Guy Martin Tchamgoue, Jun-Ho Seo, Jongsoo Hyun, Kyong Hoon Kim, Yong-Kee Jun, "Supporting Fault-Tolerance in a Compositional Real-Time Scheduling Framework",…

SCOPUS Journal

* Eu-Teum Choi, O.-K, Ha, and Y.-K. Jun "Configuration Tool for ARINC 653 Operating Systems" ", ICCA 2013, Jeju, Korea, November 27-29, 2013 * SCOPUS pub…
* E.-T. Choi, O.-K. Ha, and Y.-K. Jun, “Configuration Tool for ARINC 653 Operating Systems”, International Journa of Multimedia and Ubiquitous Engineering (IJM…
* Choi, Eu-Teum, Ok-Kyoon Ha, and Yong-Kee Jun, “AR653: Dynamic Detection Tool for Atomicity Races in ARINC 653 Applications,” International Journal of Softwar…
* S. Dorankula, G. M. Tchamgoue, Y.-K. Jun, "Efficient Detection of First Races in Concurrent Signal Handlers", In proceedings of the International Conference …
* O.-K. Ha, E.-T. Choi, and Y.-K. Jun, “Design and Implementation of Software Configuration Tool for Integrated Modular Avionics,” Applied Mechanics and Materi…
* Ha, O.-K., and Y. Jun, "Efficient Thread Labeling for On-the-fly Race Detection of Programs with Nested Parallelism" In Proceedings of the International Conf…
* Ok-Kyoon Ha, and Yong-Kee Jun, “Efficient Thread Labeling for On-the-fly Detection of Races in OpenMP programs”, Information, International Information Insti…
* Ha, O.-K. and Y.-K. Jun, “Effective Monitoring Memory Operations for Dynamic Race Detection through Hierarchical Filtering Method”, International Journa of M…
* Ha, O., S. Kim, Y. Jun, "Efficient Thread Labeling for Monitoring Programs with Nested Parallelism," In Proceedings of the International Conference on Future…
* O. Ha, G. M. Tchamgoue, J. Suh, and Y. Jun, "On-the-fly Healing of Race Conditions in ARINC-653 Flight Software," In proceedings of Digital Avionics Systems …
* Jun, Y., and C. E. McDowell, "Scalable Monitoring Technique for Detecting Races in Parallel Programs," Proc. of the 5th IEEE Int'l Workshop on High-Level Par…
* Myeong-Sin Kang , Ok-Kyoon Ha, and Yong-Kee Jun, "Visualization Tool for Debugging Data Races in Structured Fork-join Parallel Programs", ICCA 2013, Jeju, Ko…
* M.-S. Kang, O.-K. Ha, and Y.-K. Jun, “Visualization Tool for Debugging Data Races in Structured Fork-join Parallel Programs”, International Journal of Softwa…
* 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…
* Hyun-Ji Kim, Ok-Kyoon Ha, Yong-Kee Jun, and Hee-Dong Park, “Case Study on Message Races in Data Distribution Service Programs,” IInternational Journal of Sof…
* S. Kim, O. Ha, and Y. Jun, "Efficiency of e-NR Labeling for On-the-fly Race Detection of Programs with Nested Parallelism", In Proceedings of the 2nd Interna…
* Kim, S.-S, O.-K, Ha, and Y.-K. Jun, "Verification Environment of Race Conditions for Multi-core Architectures in Avionics", The 1st International Conferen…
* Y.-C. Kim, S.-S. Jun, Y.-K. Jun, "Space-Efficient On-the-fly Race Detection Using Loop Splitting", In Proceedings of the 2nd International Conference on Ubi…
* Kim, B., Y. Jun, "Program Visualization for Debugging Deadlocks in Multithreaded Programs," In Proceedings of the Advanced Software Engineering & Its Applica…
* Kim, J., and Y. Jun, "Scalable On-the-fly Detection of the First Races in Parallel Programs," Proc. of the 12nd Int'l Conf. on Supercomputing (ICS), pp. 345-…
* Kim, Y., and Y. Jun, "Restructuring Parallel Programs for On-the-fly Race Detection," Proc. of the 5th Int'l Conf. on Parallel Computing Technologies (PaCT),…
* Kim, Y., J. Lim, and Y. Jun, "Scalable Thread Visualization for Debugging Data Races in OpenMP Programs," Proc. of the 2nd Int'l Conf. on Grid and Pervasive …
* 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 …
* Kim, Y., M. Park, S. Park, and Y. Jun, "A Practical Tool for Detecting Races in OpenMP Programs," Proc. of 8th Int'l Conf. on Parallel Computing Technologies…
* K.-H. Kim, G. M. Tchamgoue, Y.-K. Jun, and K.-Y. Bang, "A Flexible Resource Sharing Framework for Integrating Hierarchical Components", In Proceedings of the…
* Li, K., and Y. Jun, "Foreword from Guest Editors," The Journal of Supercomputing, Special Issue on Technology Deployments in Grid Computing, 42(3): 251-252, …
* 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…
* Y. Meng, O.-K. Ha, Y.-K. Jun, "Dynamic Instrumentation for Nested Fork-join Parallelism in OpenMP Programs", In proceedings of the International Conference o…
* Y. Meng, I.-K. Kuh, O.-K. Ha, and Y.-K. Jun, “Dynamic Instrumentation for Determining Logical Concurrency Between Threads of OpenMP Programs,”Information, In…
* Park, M., and Y. Jun, "Detecting Unaffected Race Conditions in Message-Passing Programs," Proc. of the 11th European PVM/MPI User's Group Meeting (EuroPVM/MP…
* H.-D. Park and Y.-K. Jun, "Detecting First Races in Shared-Memory Parallel Programs with Random Synchronization", In proceedings of the International Confere…
* Park, H., and Y. Jun, "Detecting the First Races in Parallel Programs with Ordered Synchronization," Proc. of the 6th Int'l Conf. on Parallel and Distributed…
* Park, S., M. Park, and Y. Jun, "A Comparison of Scalable Labeling Schemes for Detecting Races in OpenMP Programs," Proc. of the Int'l Workshop on OpenMP Appl…
* Park, M., Y. Kim, I. Chun, S. Ha, and Y. Jun, "A GDB-Based Real-Time Tracing Tool for Remote Debugging of Soc Programs," Lectrue Notes in Computer Science (L…
* Park, M., S. Shim, Y. Jun, and H. Park, "MPIRace-Check: Detection of Message Races in MPI Programs," Proc. of the 2nd Int'l Conf. on Grid and Pervasive Compu…
* G. M. Tchamgoue, O.-K, Ha, and Y.-K. Jun "Dynamic Data Race Detection for Interrupt-Driven Programs", In Proceedings of the 1st International Conference …
* G. M. Tchamgoue, O.-K, Ha, and Y.-K. Jun, "An Efficient Labeling Scheme for Data Race Detection in Interrupt-Driven Programs", In Proceedings of the 1st …
* G. M. Tchamgoue, K.-H. Kim, and Y.-K. Jun, "Compositional Scheduling Framework for Imprecise Computation Model," Work-in-Progress Proceedings of the 16th IE…
* G. M. Tchamgoue, K. H. Kim, Y.-K. Jun, "Dynamic Race Detection Techniques for Interrupt-Driven Programs", In proceedings of the International Conference on G…
* Guy Martin Tchamgoue, Kyong-Hoon Kim, and Yong-Kee Jun, "Power-Aware Scheduling of Compositional Real-Time Frameworks", Journal of Systems and Software, Volu…
* Tchamgoue, G.M., Ha, O.-K., Kim, K.-H., Jun, Y.-K.: A Taxonomy of Concurrency Bugs in Event-Driven Programs. In Proceedings of the ASEA 2011, CCIS 257, pp. 4…
* G. M. Tchamgoue, O.-K. Ha, K.-H. Kim, and Y.-K. Jun, "Lightweight Labeling Scheme for On-the-fly Race Detection of Signal Handlers", In Proceedings of the Wo…
* G. M. Tchamgoue, I.-B. Kuh, O.-K. Ha, K.-H. Kim, and Y.-K. Jun, "A Race Healing Framework in Simulated ARINC-653", Proceedings of the Int'l Conference on Fut…
* G. M. Tchamgoue, K.-H. Kim, Y.-K. Jun, and W.-Y. Lee, "Hierarchical Real-Time Scheduling Framework for Imprecise Computations", In Proceedings of the 8th IEE…

Others Publication

* Eu-Teum Choi, Kun-Su Yoon, Ok-Kyoon Ha and Yong-Kee Jun, "Development of Technique for Healing Data Races based on Software Transactional Memory,", Advanced …
* Choi, Eu-Teum, Se-Won Park, Ok-Kyoon Ha, and Yong-Kee Jun, “Design of Dynamic Detector for Atomicity Races in ARINC-653 Applications,” In Proceedings of Inte…
* Gan, Lin, Guy Martin Tchamgoue, and Yong-Kee Jun, "Visualizing Data Races in Concurrent Signal Handlers," In Proceedings of the 1st International Conference …
* Ha, O., Y. Jun, "Monitoring of Programs with Nested Parallelism using Efficient Thread Labeling," International Journal fo u- and e- Service, Science and Tec…
* Ha, Ok-Kyoon, and Yong-Kee Jun, "Efficient Data Race Detection for Structured Fork-join Parallelism," In Proceedings of the 1st International Conference on S…
* Ha, K., Y. Jun, and K. Yoo, "Efficient On-the-fly Detection of First Races in Nested Parallel Programs," Proc. of Workshop on State-of-the-Art in Scientific …
* Hyang-Yeon Bae, Ok-Kyoon Ha and Yong-Kee Jun, "Development of Dynamic Profiler for Monitoring Functions in Embedded Applications,", Advanced Science and Tech…
* Jun, Y., and K. Koh, "Monitoring Parallel Programs for Detecting Access Anomalies Occurred First," Proc. of the 2nd Int'l Conf. on Software for Multiprocesso…
* Jun, Y., and C. E. McDowell, "On-the-fly Detection of the First Races in Programs with Nested Parallelism," Proc. of the 2nd Int'l Conf. on Parallel and Dist…
* Kim, S., O. Ha, and Y. Jun, "Parallel Programming for Multi-core Avionics" In Proceedings of the 2010 International Conference on Advanced Aircraft Techno…
* Kim, Y., and Y. Jun, "An Optimal Tool for Verifying Races in OpenMP Programs," 06 Int'l Conference on Hybrid Information Technology, SERC, Cheju Island, Kore…
* Kim, D., and Y. Jun, "An Effective Tool for Debugging Races in Parallel Programs," Proc. of the 3rd Int'l Conf. on Parallel and Distributed Processing Techn…
* Kim, D., and Y. Jun, "Space-efficient On-the-fly Race Detection for Programs with Nested Parallelism," Proc. of the 1st Int'l Conf. on Parallel and Distribut…
* Kim, J., D. Kim, and Y. Jun, "Scalable Visualization for Debugging Races in OpenMP Programs," Proc. of the 3rd Int'l Conf. on Communications in Computing (CI…
* Kim, S., Y. Kim, S. Park, and Y. Jun "A Virtual Laboratory for Parallel Programming," Proc. of the 1-st Int'l Conf. on East-Asian Language Processing and Int…
* Hyun-Ji Kim, Byoung-Kwi Lee, Ok-Kyoon Ha, and Yong-Kee Jun, “Dynamic Monitoring Tool based on Vector Clocks for Multithread Programs,” In Proceedings of Inte…
* Myeong-Sin Kang, Bong-Jun Paeng, Ok-Kyoon Ha, and Yong-Kee Jun, “Design of Visualizing Event Synchronization for Race Conditions in ARINC-653 Applications,” …
* Kim, Y., M. Park, S. Lee, and Y. Jun, "Visual Race Detection for OpenMP Programs," Proc. of Int'l Conf. on Asian Language Processing and Information Technolo…
* Kuh, In-Bon, Ok-Kyoon Ha, and Yong-Kee Jun, "Tracing Logical Concurrency for Dynamic Race Detection in OpenMP Programs," In Proceedings of the 1st Interna…
* Lee, S., and Y. Jun, "A Virtual Tool for Debugging OpenMP Programs," Proc. of the 2nd Int'l Conf. on East-Asian Language Processing and Internet Information …
* Park, M., Y. Kim, I. Chun, S. Ha, and Y. Jun, "A GDB-Based Real-Time Tracing Tool for Remote Debugging of Soc Programs," 06 Int'l Conference on Hybrid Inform…
* 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…
* Park, M., S. Park, S. Bae, and Y. Jun, "Scalable Race Visualization for Debugging Message-Passing Programs," Proc. of Workshop on State-of-the-Art in Scienti…
* G. M. Tchamgoue, K.-H. Kim, and Y.-K. Jun, "Testing and Debugging Concurrency Bugs in Event-Driven Programs", International Journal of Advanced Science and T…
* G. M. Tchamgoue, O.-K. Ha, K.-H. Kim, and Y.-K. Jun, "A Framework for On-the-fly Race Healing in ARINC-653 Applications", International Journal of Hybrid Inf…

Domestic Publication

* 이건표, 송근영, 최으뜸, 전용기, "항공기 소프트웨어에 적용하기 위한 GPGPU 프로그램의 자료경합 탐지 기법", 한국항공우주학회 2018년도 추계학술대회, 제주, Nov 2018. * Lee, K.-P., G.-Y. Song, E.-T. Choi, and Y.-K. …
* 이건표, 한민균, 최으뜸, 전용기, "항공기 소프트웨어의 건전성 관리를 위한 수행 플랫폼 의존성 분석", 2020년도 임베디드공학회 추계학술대회, 제주, Nov 2020. * Lee, K.-P., M.-K. Han, E.-T. Choi and Y.-K. Jun, “An…
* 이건표, 이성진, 전용기, "A Tool for On-the-fly Repairing of Atomicity Violation in GPU Program Execution", 한국컴퓨터정보학회논문지, vol. 26 No. 9, pp. 1-12, September 2021. * …
* 이건표, 하옥균, 전용기, "소나 영상 시뮬레이션 위한 병렬처리 기술 분석", 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…
* 강문혜, 김영주, 전용기, "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, “…
* 한민균, 최으뜸, 전용기, "병렬 프로그램을 UML Sequence 다이어그램으로 변환하는 도구", 2021년도 항공우주시스템공학회 춘계학술대회, 제주, Jul 2021. * M.-G. Han, E.-T. Choi, and Y.-K. Jun, “A Tool for Con…
* 한민균, 최으뜸, 전용기, 이성진, "항공기 소프트웨어의 교착상태 실시간 자율 수리를 위한 건전성 관리시스템", 한국항공우주학회지, vol.51, no.11, Nov 2023. * M.-G. Han, E.-T. Choi, Y.-K. Jun and S.-J. Lee, “He…
* 강민우, 김정민, 하옥균, 강문혜, 전용기, "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…
* 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…
* 임산하, 이선아, 전용기, "항공기 시스템의 치명적인 공통 요인을 식별하기 위한 고장-안전 요구분석 절차 제안", 한국항공우주학회지, 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 …
* 배상현, 전용기, 배종민, "동기화명령을 가지는 내포병렬루프 프로그램의 수행중 접근이상 탐지를 위한 레이블링," 전산연구, 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.…
* 김성준, 김경훈, 전용기, "항공전자 시스템을 위한 PCI-Express 버스의 결함감내 구조", 한국항공우주학회지, vol.48, no.12, Dec 2020. * S.-J. Kim, K.-H. Kim and Y.-K. Jun, “A Fault-Tolerant Archite…
* 김성대, 김영주, 박미영, 이승렬, 박소희, 전용기, "공유메모리 병렬프로그래밍을 위한 가상실험실," 한국정보과학회 병렬처리시스템 학술발표회 논문집, 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.,…
* 박소희, 임경도, 전용기, "내포 병렬 프로그램의 경합 탐지를 위한 레이블링 기법의 비교 분석," 한국정보과학회 컴퓨터시스템연구회 추계학술발표회 논문집, 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…
* 이승은, 이건표, 최으뜸, 전용기, "병행 프로그램 설계를 위한 Data Race 탐지기법 분석", 2020년도 임베디드공학회 추계학술대회, 제주, Nov 2020. * S.-E. Lee, Lee, K.-P, E.-T. Choi and Y.-K. Jun, “An Ana…
* 이승렬, 박소희, 김영주, 박미영, 전용기, "다중스레드 자바 프로그램을 위한 경합탐지 도구의 분석," 경상대학교 전산연구, 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 디렉티브 프로그램을 위한 최적의 경합검증 도구," 한국정보과학회 추계학술발표 논문집, 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…
* 최으뜸, 이동수, 전용기, 이성진, "항공기 건전성 관리시스템용 원자성 위배 자율 수리 소프트웨어 기법", 한국항공우주학회지, vol.48, no.7, July 2020. * E.-T. Choi, D.-S. Lee and Y.-K. Jun, “On-the-fly Atomici…
* 최으뜸, 박세원, 하옥균, 전용기, "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, 271-276, 한국정보기술학회, 2009. 6. * Jun, J., O. Ha, K. Kim…
* 김정시, 전용기, "요약 보고방식에 의한 최초경합의 수행중 탐지," 한국정보과학회 영남지부 학술발표논문집, 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…
* 이준호, 한민균, 최으뜸, 전용기, "병렬 소프트웨어 설계의 연구 동향", 2022년도 항공우주시스템공학회 춘계학술대회, 제주, May 2022. * J.-H. Lee, M.-G. Han, E.-T. Choi, and Y.-K. Jun, “A Study on the R…
* 정지원, 정재욱, 최으뜸, 전용기, "항공기 건전성 관리 시스템의 기술 동향", 2022년도 항공우주시스템공학회 춘계학술대회, 제주, May 2022. * J.-W. Jeong, J.-W. Jung, E.-T. Choi, and Y.-K. Jun, “Technology…
* 이진숙, 김동국, 전용기, "병렬프로그램의 수행중 접근이상 탐지를 위한 효과적인 탐지 프로토콜,"한국정보과학회 학술발표논문집, 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, …
* 박진석, 배창희, 최으뜸, 전용기, "오픈 항공기 소프트웨어 기반의 접근 결함 벤치마크", 2022년도 항공우주시스템공학회 춘계학술대회, 제주, May 2022. * J.-S. Park, C.-H. Bae, E.-T. Choi, and Y.-K. Jun, “An Acc…
* 배창희, 최으뜸, 이성진, 전용기, "동시성 오류 자율 수리의 범위 확장을 위한 다중 변수에 의한 동시성 오류 패턴 연구", 2021년도 항공우주시스템공학회 춘계학술대회, 제주, Jul 2021. * C.-H. Bae, E.-T. Choi, S.-J. Lee, and Y…
* 처그바야르 자르갈사이항, 이건표, 최으뜸, 전용기, "UAV 비행제어 소프트웨어의 원자성 위배 연구", 2020년도 임베디드공학회 추계학술대회, 제주, Nov 2020. * Jargalsaikhan, T., Lee, K.-P, E.-T. Choi and Y.-K. J…
* 처그바야르 자르갈사이항, 이건표, 최으뜸, 전용기, "A Comparision of Health Management Systems for UAV Software", 2021년도 항공우주시스템공학회 춘계학술대회, 제주, Jul 2021. * Jargalsaikhan, T…
* 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…
* 김태형, 최으뜸, 전용기, "항공기 소프트웨어의 건전성 관리를 위해서 순서 위배 오류를 자율 수리하는 효율적인 시스템", 한국항공우주학회지, vol.48, no.10, Oct 2020. * T.-H. Kim, E.-T. Choi and Y.-K. Jun, “An Efficie…
* 배향연, 하옥균, 강문혜, 전용기 "임베디드 어플리케이션을 위한 수행시간 분석 도구의 개발", 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-…
,