• 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  

Year 2011
Code KaJu11
Title Efficient Verification of First Tangled Races to Occur in Programs with Nested Parallelism
Full Title M. Kang, and Y. Jun., "Efficient Verification of First Tangled Races to Occur in Programs with Nested Parallelism," In Proceedings of the ASEA 2011, CCIS 257, pp. 437–450, Springer, Heidelberg, 2011.
Publication SCOPUS


visit count: 500561 Copyright © 2014 DSLab., Gyeongsang National University, Jinju, South Korea.
All rights reserved. Terms of Use ☎ +82-55-772-1371
 <Login>