Dependable Software Lab.

Site Tools

Sidebar

pub:kaju11

KaJu11

  • 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. 451–460, Springer, Heidelberg, 2011.
, , , , ,
Copyright © 2014 DSLab., Gyeongsang National University, Jinju, South Korea.
pub/kaju11.txt · Last modified: 2020-09-17 14:46 by I-Jeong Woo

Page Tools