提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/micro/ZhaoJYYF0MT20AU-Zhao、Zirui NeilAU-Ji，侯翔AU-Yan、MengjiaAU-Yu、Jiyong澳大利亚-弗莱彻，克里斯托弗·W。澳大利亚——亚当·莫里森澳大利亚-马里诺夫，达科澳大利亚-托雷拉斯，约塞普TI-推测不变性（InvasSpec）：通过程序分析更快地安全执行。BT-第53届IEEE/ACM国际微体系结构年会，MICRO 2020，希腊雅典，2020年10月17-21日SP-1138型EP-11522020年上半年//DO-10.109/MICRO50266.2020.00094（完成）UR-（欧元）https://doi.org/10.109/MICRO50266.2020.00094急诊室-