•
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
2011
THKJ11l
Lightweight Labeling Scheme for On-the-fly Race Detection of Signal Handlers
SCOPUS
2011
KiHJ11
Efficiency of e-NR Labeling for On-the-fly Race Detection of Programs with Nested Parallelism
SCOPUS
2011
KiJJ11
Space-Efficient On-the-fly Race Detection Using Loop Splitting
SCOPUS
2011
THKJ11at
A Taxonomy of Concurrency Bugs in Event-Driven Programs
SCOPUS
2011
KaJu11
Efficient Verification of First Tangled Races to Occur in Programs with Nested Parallelism
SCOPUS
2011
LKPY11
Program Conversion for Detecting Data Races in Concurrent Interrupt Handlers
SCOPUS
2011
HaJu11e
Efficient Thread Labeling for On-the-fly Race Detection of Programs with Nested Parallelism
SCOPUS
visit count: 500561
Copyright © 2014 DSLab., Gyeongsang National University, Jinju, South Korea.
All rights reserved. Terms of Use ☎ +82-55-772-1371
<Login>