袁武雷 勇斗 雷国0029 徐金波 周杰0007 亚卓洞 李洪健 IEEE-754四精度基本函数的VLIW协处理器。 12:1-12:22 2013 10 ACM变速器。阿基特。代码优化。 三 https://doi.org/10.1145/2512430 db/journals/taco/taco10.html#LeiDGXZDL13