Xin Lai 0004 Cong Liu 0009 Zhiying Wang 0003 Quanyou Feng Analytical Models for Data Dependence Violation Checking in TLS. 1433-1437 2011 CIS https://doi.org/10.1109/CIS.2011.320 https://doi.ieeecomputersociety.org/10.1109/CIS.2011.320 conf/cis/2011 db/conf/cis/cis2011.html#LaiLWF11