The semantics of multicopy atomic ARMv8 and RISC-V
The semantics of multicopy atomic ARMv8 and RISC-V
复制标题
多拷贝原子 ARMv8 和 RISC-V 的语义
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Christopher Pulte
中科院分区：
文献类型：
--
作者：
Christopher Pulte
这项工作是由计算机实验室和高通高级奖学金，EPSRC和Arm有限公司资助的。工业个案奖学金(资助编号：EP/L505389/1)，以及EPSRC计划资助“REMS：主流系统的严格工程”(资助号：EP / K008528/1)。
This work was funded by a Computer Laboratory and Qualcomm Premium Studentship, an EPSRC and Arm Ltd. Industrial CASE Studentship (grant no. EP/L505389/1), and the EPSRC Programme Grant “REMS: Rigorous Engineering for Mainstream Systems” (grant no. EP/K008528/1).
登录
查看更多内容
DOI：
10.1145/2837614.2837615
发表时间：
2016-01
期刊：
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
影响因子：
--
作者：
Shaked Flur;Kathryn E. Gray;Christopher Pulte;Susmit Sarkar;A. Sezgin;Luc Maranget;Will Deacon;Peter Sewell
通讯作者：
Shaked Flur;Kathryn E. Gray;Christopher Pulte;Susmit Sarkar;A. Sezgin;Luc Maranget;Will Deacon;Peter Sewell
影响因子：
1.8
作者：
Armstrong, Alasdair;Bauereiss, Thomas;Sewell, Peter
通讯作者：
Sewell, Peter
同步 C/C 和 POWER
DOI：
10.1145/2254064.2254102
发表时间：
2012
期刊：
--
影响因子：
--
作者：
Sarkar S
通讯作者：
Sarkar S
DOI：
10.1145/3009837.3009838
发表时间：
2017
期刊：
--
影响因子：
--
作者：
Wickerson J
通讯作者：
Wickerson J
混合大小并发：ARM、POWER、C/C 11 和 SC
DOI：
10.1145/3009837.3009839
发表时间：
2017
期刊：
--
影响因子：
--
作者：
Flur S
通讯作者：
Flur S