. . . . . “Zirui-Neil Zhao等人:推测不变性(InvasSpec):通过程序分析加快安全执行。(2020)”。 . . _:ID_0a810471154b24085bbe191181a45e09。_:ID_0a810471154b24085bbe191181a45e09 ._:ID_0a810471154b24085bbe191181a45e09 ._:ID_0a810471154b24085bbe191181a45e09“conf/micro/ZhaoJYYF0MT20”。 _:ID_39ae6ff0c0498485435614695fccd164。_:ID_39ae6ff0c0498485435614695fccd164 ._:ID_39ae6ff0c0498485435614695fccd164 ._:ID_39ae6ff0c0498485435614695fccd164“10.1109/MICRO50266.2020.00094”。 “推测不变性(InvarSpec):通过程序分析更快地安全执行。”。 . . . . . . . . . "8"^^. _:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_1。_:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_1 ._:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_1“赵子瑞”。_:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_1 ._:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_1"1"^^._:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_1 . _:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_2。_:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_2 ._:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_2《后巷记》。_:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_2 ._:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_2 ._:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_2"2"^^._:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_2 . _:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_3。_:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_3 ._:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_3“蒙加言0001”。_:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_3 ._:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_3 ._:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_3"3"^^._:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_3 . _:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_4。_:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_4 ._:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_4“姬咏玉”。_:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_4 ._:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_4 ._:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_4"4"^^._:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_4 . _:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_5。_:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_5 ._:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_5“克里斯托弗·弗莱彻”。_:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_5 ._:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_5"5"^^._:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_5 . _:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_6。_:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_6 ._:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_6“Adam Morrison 0001”。_:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_6 ._:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_6"6"^^._:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_6 . _:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_7。_:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_7 ._:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_7“达科·马里诺夫”。_:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_7 ._:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_7"7"^^._:信号_cdd9a42f70d4834c1f16b8cfdd2dbd4d_7 . _:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_8。_:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_8 ._:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_8“乔塞普·托雷拉斯”。_:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_8 ._:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_8"8"^^._:Sig_cdd9a42f70d4834c1f16b8cfdd2dbd4d_8 . . . . "1138-1152" . “微型”。 “微型”。 "2020"^^. "2020"^^. . “dblp记录‘conf/micro/ZhaoJYYF0MT20’的RDF数据的来源信息”。 . . . “2023-09-30T09:52:56+0200”。