TY - 计算机与现代化 A1 - 胡 磊,江国华 T1 - 一种基于预测的运行时验证开销控制方法 Y1 - 2018-09-30 11:51:00.097 JF - 计算机与现代化 JO - 计算机与现代化 SP - 94 EP - 99 VL - 0 IS - 4 UR - {http://www.c-a-m.org.cn/CN/10.3969/j.issn.1006-2475.2016.04.019} N1 - 10.3969/j.issn.1006-2475.2016.04.019 ER -