ScholarWorks@Gyeongsang National University

Browsing by Ha, O.-K.Author

All A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
전체 가 나 다 라 마 바 사 아 자 차 카 타 파 하

Showing results 1 to 11 of 11

SCOPUS
AR653: Dynamic detection tool for atomicity races in ARINC 653 applications

Choi, E.-T.; Ha, O.-K.; Jun, Y.-K.

ArticleIssue Date2016CitationInternational Journal of Software Engineering and its Applications, v.10, no.1, pp 201 - 212PublisherScience and Engineering Research Support Society
SCOPUS
Case study on message races in data distribution service programs

Kim, H.-J.; Ha, O.-K.; Jun, Y.-K.; Park, H.-D.

ArticleIssue Date2016CitationInternational Journal of Software Engineering and its Applications, v.10, no.3, pp 95 - 106PublisherScience and Engineering Research Support Society
SCOPUS
Configuration tool for ARINC 653 operating systems

Choi, E.-T.; Ha, O.-K.; Jun, Y.-K.

ArticleIssue Date2014CitationInternational Journal of Multimedia and Ubiquitous Engineering, v.9, no.4, pp 73 - 84PublisherScience and Engineering Research Support Society
SCOPUS
ConpathView: A visualization tool for debugging race conditions in event synchronization of ARINC 653 applications

Kang, M.-S.; Kang, M.-H.; Ha, O.-K.; Jun, Y.-K.

ArticleIssue Date2016CitationInternational Journal of Software Engineering and its Applications, v.10, no.2, pp 65 - 76PublisherScience and Engineering Research Support Society
SCOPUS
Dynamic instrumentation for determining logical concurrency between threads of OpenMP Programs

Meng, Y.; Kuh, I.-B.; Ha, O.-K.; Jun, Y.-K.

ArticleIssue Date2014CitationInformation (Japan), v.17, no.10A, pp 4857 - 4862PublisherInternational Information Institute Ltd.
SCOPUS
Dynamic instrumentation for nested fork-join parallelism in OpenMP programs

Meng, Y.; Ha, O.-K.; Jun, Y.-K.

ArticleIssue Date2012CitationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v.7709 LNCS, pp 154 - 158
SCOPUS
Effective monitoring memory operations for dynamic race detection through hierarchical filtering methodopen access

Ha, O.-K.; Jun, Y.-K.

ArticleIssue Date2014CitationInternational Journal of Multimedia and Ubiquitous Engineering, v.9, no.4, pp 199 - 208PublisherScience and Engineering Research Support Society
SCIESCOPUS
Efficient thread labeling for on-the-fly detection of races in OpenMP programs

Ha, O.-K.; Jun, Y.-K.

ArticleIssue Date2013CitationInformation (Japan), v.16, no.12:00 AM, pp 8541 - 8548PublisherInternational Information Institute Ltd.
SCOPUS
Lightweight Method for On-the-fly Detection of Multivariable Atomicity Violations

Bae, Chang-Hui; Choi, Euteum; Jun, Yong-Kee; Ha, O.-K.

ArticleIssue Date2023CitationIEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW, pp 165 - 171PublisherInstitute of Electrical and Electronics Engineers Inc.
SCOPUS
On-the-fly healing of race conditions in ARINC-653 flight software

Ha, O.-K.; Tchamgoue, G.M.; Suh, J.-B.; Jun, Y.-K.

ArticleIssue Date2010CitationAIAA/IEEE Digital Avionics Systems Conference - Proceedings, pp 5.A.61 - 5.A.611
SCOPUS
Visualization tool for debugging data races in structured fork-join parallel programs

Kang, M.-S.; Ha, O.-K.; Jun, Y.-K.

ArticleIssue Date2014CitationInternational Journal of Software Engineering and its Applications, v.8, no.4, pp 157 - 168PublisherScience and Engineering Research Support Society
1

RSS_1.0 RSS_2.0 ATOM_1.0

Gyeongsang National University Central Library, 501, Jinju-daero, Jinju-si, Gyeongsangnam-do, 52828, Republic of Korea+82-55-772-0532

COPYRIGHT 2022 GYEONGSANG NATIONAL UNIVERSITY LIBRARY. ALL RIGHTS RESERVED.

Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.

BROWSE

한국어