共 42 条
[21]
Hu X., DAC 1999, P414
[22]
Hulens D., 2015, P VISAPP 2015, P1
[23]
Kang E, 2011, LECT NOTES COMPUT SC, V6662, P33
[24]
Kelly P. H. J., 2016, IEEE INT S MOD AN SI
[25]
Khan S., PACT, P327
[26]
Lee BC, 2006, ACM SIGPLAN NOTICES, V41, P185, DOI [10.1145/1168919.1168881, 10.1145/1168917.1168881]
[27]
Moll Simon, 2011, THESIS
[28]
Nardi L., 2009, COMPUTATIONAL SCI IT
[29]
Nardi L., 2012, 4EEE INT C HIGH PERF
[30]
Neema S, 2003, LECT NOTES COMPUT SC, V2855, P290