View in EDS HTML Full Text PDF Full Text

K-DT: a formal system for the evaluation of linear data dependence testing techniques.

Saved in:
Bibliographic Details
Title: K-DT: a formal system for the evaluation of linear data dependence testing techniques.
Authors: Zhao, Jie1, zjbc2005@163.com, Zhao, Rongcai1,2
Source: Journal of Supercomputing; Apr2018, Vol. 74 Issue 4, p1655-1675, 21p
Database: Applied Science & Technology Source
Full text is not displayed to guests.
Description
ISSN:09208542
DOI:10.1007/s11227-017-2187-3