logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
P

Peter Sewell

university of cambridge

47H指数
179论文数
7.3K被引数
收录论文 3
发表时间
logo
ArchSem: Reusable Rigorous Semantics of Relaxed ArchitecturesArchSem：松弛架构的可重用严格语义
errProceedings of the ACM on Programming Languages-PACMPL
IF2.8
err2026-01-01
err1
PREAI
errPerami, Thibaut; Bauereiss, Thomas; Campbell, Brian; Liu, Zongyuan; Lauermann, Nils; Armstrong, Alasdair; Sewell, Peter
err分享
err收藏
Inside Risks Through Computer Architecture, Darkly
errCOMMUNICATIONS OF THE ACM
IF12.2
err2019-05-21
err5
errOAAI
errMarkettos, A. T.; Watson, R. N. M.; Moore, S. W.; Sewell, P.; Neumann, P. G.
err分享
err收藏
x86-TSO: A Rigorous and Usable Programmer's Model for x86 Multiprocessors
errCOMMUNICATIONS OF THE ACM
IF12.2
err2010-07-01
err280
PREAI
errSewell, Peter; Sarkar, Susmit; Owens, Scott; Nardelli, Francesco Zappa; Myreen, Magnus O.
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
P
Peter G. Neumann
H 指数: 37 · 论文数: 608
S
Simon W. Moore
H 指数: 33 · 论文数: 147
B
B. K. Campbell
H 指数: 30 · 论文数: 115
R
Robert N. M. Watson
H 指数: 30 · 论文数: 122
S
Scott Owens
H 指数: 28 · 论文数: 74
查看更多