Site Tools


tag:2019

TAG: 2019

* 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…
* 이건표, 최으뜸, 전용기, "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 …
* TSogbayr Jargalsaikhan, 최으뜸, 전용기, "ARINC-653 환경에서 UAV 비행제어 소프트웨어의 건전성관리 시스템", 항공우주시스템공학회 2019년도 춘계학술대회, 제주, Apr 2019. * Jargalsaikhan, T., E.-T. Choi, a…
* 김태형, 최으뜸, 전용기, "항공기 소프트웨어에서 동시성 오류를 자율적으로 수리하기 위한 함수 호출 기반 기법", 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…
* 백형진, 이민지, 최으뜸, 전용기, "병행 소프트웨어의 원자성위배를 위한 자율수리 기법에 대한 고찰", 항공우주시스템공학회 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…
Copyright © 2014 DSLab., Gyeongsang National University, Jinju, South Korea.