Allon Adir等人：验证POWER8中的事务内存。(2014) conf/dac/AdirGHHHKKLMNPSOTTZ14 10.1145/2593069.2593241 POWER8中事务性内存的验证。 17 阿隆·阿迪尔 1 戴夫·古德曼 2 丹尼尔·赫什科维奇 三 奥兹·赫什科维茨 4 布莱恩·希克森 5 凯伦·霍尔茨 6 维萨姆·卡德里 7 安纳托利·科伊夫曼 8 约翰·卢登 9 查尔斯·迈斯纳 10 阿米尔·纳希尔 11 兰德尔·R·普拉特 12 迈克·希夫利 13 布雷特·圣昂热 14 布莱恩·汤普托 15 埃琳娜·赞科 16 阿维·齐夫 17 58:1-58:6 数模转换器 数模转换器 2014 2014 dblp记录“conf/dac/AdirGHHHKKLMNPSOTTZ14”的RDF数据的来源信息 2018年11月6日16:58:17+0100