SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
Precise exceptions in relaxed architectures
计算机科学
程序设计语言
并行计算
作者
Ben Simner,
Alasdair Armstrong,
Thomas Bauereiß,
B. K. Campbell,
Ohad Kammar,
Jean Pichon-Pharabod,
Peter Sewell
标识
DOI:10.1145/3695053.3731102
求助该文献
最长约 10秒,即可获得该文献文件
相关文献
科研通AI机器人已完成分析
对不起,本页面需要您登录以后才可查看
进入登录/注册页面
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
更新
📰 新增『新锐期刊分区』
(2026-3-24)
更新
💬 新增更精细的自定义提醒设置
(2026-1-4)
新增
🕒 每天60秒读懂世界·精选全球要闻
(2026-1-2)
新增
PDF的下载单位、IP信息已删除
(2025-6-4)
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
ren
完成签到,获得积分
10
刚刚
浩天
完成签到,获得积分
10
刚刚
tiptip
的
应助
被
fhl
采纳,获得
10
1秒前
魔法翼龙
完成签到,获得积分
10
1秒前
卞卞
发布了新的
文献求助
10
3秒前
MQ&FF
完成签到,获得积分
10
3秒前
squid
上传了
应助文件
4秒前
JasonSun
完成签到,获得积分
10
5秒前
Cinderella
完成签到,获得积分
10
6秒前
怡然的铅笔
完成签到
,获得积分
10
6秒前
nadeem
发布了新的
文献求助
10
6秒前
yeSui3yi
完成签到,获得积分
0
7秒前
英俊亦巧
完成签到,获得积分
10
7秒前
好运爆彭
完成签到,获得积分
10
8秒前
笨笨小天鹅
完成签到,获得积分
10
10秒前
研友_nPb9e8
完成签到,获得积分
10
10秒前
拓跋傲薇
完成签到,获得积分
10
10秒前
calico
完成签到,获得积分
10
11秒前
Goomo
完成签到
,获得积分
10
12秒前
王鑫
完成签到,获得积分
10
12秒前
liuchang
完成签到
,获得积分
10
13秒前
laville
完成签到,获得积分
10
13秒前
哇owao
上传了
应助文件
14秒前
侧耳倾听
完成签到,获得积分
10
14秒前
鲤鱼青雪
完成签到,获得积分
10
14秒前
略略略
完成签到,获得积分
10
14秒前
田二亩
完成签到,获得积分
10
15秒前
yjq
完成签到,获得积分
10
15秒前
MuMu
完成签到,获得积分
10
16秒前
跳跃的千凡
完成签到
,获得积分
10
17秒前
健壮代玉好好好
完成签到,获得积分
10
17秒前
华仔
上传了
应助文件
17秒前
坦率的觅风
完成签到,获得积分
10
19秒前
小绵羊
发布了新的
文献求助
10
21秒前
qhuzhl
完成签到,获得积分
10
21秒前
KX2024
完成签到,获得积分
10
21秒前
JamesPei
的
应助
被
Arthur
采纳,获得
10
21秒前
烂漫伯云
完成签到
,获得积分
10
21秒前
暴躁咩
完成签到,获得积分
10
22秒前
小太阳
完成签到,获得积分
10
22秒前
高分求助中
(应助此贴封号)【重要!!请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】
10000
Salmon nasal cartilage-derived proteoglycan complexes influence the gut microbiota and bacterial metabolites in mice
2000
The Composition and Relative Chronology of Dynasties 16 and 17 in Egypt
1500
Picture this! Including first nations fiction picture books in school library collections
1500
ON THE THEORY OF BIRATIONAL BLOWING-UP
666
Signals, Systems, and Signal Processing
610
Learning manta ray foraging optimisation based on external force for parameters identification of photovoltaic cell and module
500
热门求助领域
(近24小时)
化学
材料科学
医学
生物
纳米技术
工程类
有机化学
化学工程
生物化学
计算机科学
物理
内科学
复合材料
催化作用
物理化学
光电子学
电极
细胞生物学
基因
无机化学
热门帖子
关注
科研通微信公众号,转发送积分
6376478
求助须知:如何正确求助?哪些是违规求助?
8189769
关于积分的说明
17295386
捐赠科研通
5430374
什么是DOI,文献DOI怎么找?
2872912
邀请新用户注册赠送积分活动
1849536
关于科研通互助平台的介绍
1695040
今日热心研友
GingerF
25
880
可耐的豪英
54
110
Baimei
410
嘻嘻哈哈
380
风清扬
29
90
Criminology34
320
SimpleKwee
18
120
无极微光
8
220
欢呼洋葱
260
molihuakai
7
170
披着羊皮的狼
10
120
殷勤的紫槐
200
可期
18
愔愔
160
张欢馨
160
xzy998
7
80
笔记本
150
竹青
15
蛇從革
150
不能玩一下午吗
12
注:热心度 = 本日应助数 + 本日被采纳获取积分÷10