• 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 2013
Code TcKJ13
Title Verification of Data Races in Concurrent Interrupt Handlers
Full Title G. M. Tchamgoue, K. H. Kim, and Y.-K. Jun, "Verification of Data Races in Concurrent Interrupt Handlers", International Journal of Distributed Sensor Networks, vol. 2013, Article ID 953593, DOI, 14 pages, 2013, Hindawi.
Publication SCI(E)


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