•
International Papers
•
Domestic Papers
•
Domestic Patents
•
Call For Papers
•
Related SCI-Journal Lists
•
Related SCIE-Journal Lists
•
Related LNCS Lists
•
Related ACM/IEEE Conf.
•
Software Publication
•
Lab. Softwares
•
The History of GNU-OSTMs
•
The History of Projects
International Papers
Year
Code
Title
Publication
2013
KiHJ13
Verification Environment of Race Conditions for Multi-core Architectures in Avionics
SCOPUS
2013
TcHJ13
Dynamic Data Race Detection for Interrupt-Driven Programs
SCOPUS
2013
TcHJ13a
An Efficient Labeling Scheme for Data Race Detection in Interrupt-Driven Programs
SCOPUS
2013
KaHJ13
Visualization Tool for Debugging Data Races in Structured Fork-join Parallel Programs
SCOPUS
2013
ChHJ13
Configuration Tool for ARINC 653 Operating Systems
SCOPUS
visit count: 500561
Copyright © 2014 DSLab., Gyeongsang National University, Jinju, South Korea.
All rights reserved. Terms of Use ☎ +82-55-772-1371
<Login>