TY - 通信学报 A1 - 王舜,杜晔,韩臻,刘吉强 T1 - 基于程序局部性引导的有界模型检测优化方法 Y1 - 2018-03-01 JF - 通信学报 JO - 通信学报 SP - 181 EP - 190 VL - 39 IS - 3 UR - https://www.infocomm-journal.com/txxb N1 - 10.11959/j.issn.1000-436x.2018050 ER -