Site Tools


pub:lkpy11

LKPY11

  • B. Lee, M. Kang, K. C. Park. J. S. Yi, S. W. Yang, and Y. Jun., "Program Conversion for Detecting Data Races in Concurrent Interrupt Handlers," In Proceedings of the ASEA 2011, CCIS 257, pp. 407–415, Springer, Heidelberg, 2011.
Copyright © 2014 DSLab., Gyeongsang National University, Jinju, South Korea.
pub/lkpy11.txt · Last modified: 2017-03-16 15:32 by Ju-Hyoek Park