* 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 … | |
* 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, B., Y. Jun, "Program Visualization for Debugging Deadlocks in Multithreaded Programs," In Proceedings of the Advanced Software Engineering & Its Applica… | |
* 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… | |
Year 2010 Title ARINC-653 기반 항공기용 컴퓨터 시스템에서 멀티 스레드 프로그램의 경합 치유 방법 및 시스템 Applicant 경상대학교 산학협력단 Inventor 전용기, 하옥균, 기마틴 Nationality Korea Status P… | |
Participant Jun, Yong-Kee Sponsor National Research Foundation of Korea Period 2010.09.01 ~ Subject 멀티코어 소프트웨어의 병행 오류 디버깅을 위한 연구 Status Comp… | |
* 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… |