SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
LENT-SSE: Leveraging Executed and Near Transactions for Speculative Symbolic Execution of Smart Contracts
计算机科学
象征性执行
推测性多线程
数据库事务
投机性执行
操作系统
程序设计语言
并行计算
嵌入式系统
计算机安全
分布式计算
软件
多线程
线程（计算）
作者
Peilin Zheng,
Bowei Su,
Xiapu Luo,
Ting Chen,
Neng Zhang,
Zibin Zheng
标识
DOI：10.1145/3650212.3680303
求助该文献
最长约 10秒，即可获得该文献文件
相关文献
科研通AI机器人已完成分析
对不起，本页面需要您登录以后才可查看
进入登录/注册页面
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
更新
⚡
2026年影响因子、分区
已更新！
(2026-6-17)
更新
📰 新增『新锐期刊分区』
(2026-3-24)
更新
💬 新增更精细的自定义提醒设置
(2026-1-4)
新增
🕒 每天60秒读懂世界·精选全球要闻
(2026-1-2)
新增
PDF的下载单位、IP信息已删除
(2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
一只东北鸟
完成签到
，获得积分
10
刚刚
蛋壳儿
完成签到，获得积分
10
刚刚
哈利波特
完成签到，获得积分
0
刚刚
大个
上传了
应助文件
1秒前
lucklywangli
完成签到，获得积分
10
1秒前
火星种芹菜
完成签到
，获得积分
10
1秒前
苻静竹
完成签到，获得积分
10
1秒前
雨点
完成签到，获得积分
10
1秒前
明年
发布了新的
文献求助
10
2秒前
学霸业
的
应助
被
zzz
采纳，获得
20
2秒前
思源
上传了
应助文件
2秒前
务实的笑阳
完成签到，获得积分
10
2秒前
Linda琳
完成签到，获得积分
10
3秒前
白色的风车
完成签到，获得积分
10
3秒前
林狗
的
应助
被
小遇
采纳，获得
10
3秒前
小HO
完成签到
，获得积分
10
3秒前
珍惜眼前人
完成签到，获得积分
10
3秒前
愤怒的文轩
完成签到
，获得积分
10
4秒前
高高的起眸
完成签到，获得积分
10
4秒前
wellforever
完成签到
，获得积分
10
4秒前
Rhea
完成签到，获得积分
10
5秒前
江你一军
完成签到，获得积分
10
5秒前
呆呆
完成签到
，获得积分
10
6秒前
这一天
完成签到，获得积分
10
6秒前
自由浩宇
发布了新的
文献求助
10
6秒前
超帅的妙菱
完成签到，获得积分
10
6秒前
椰与兮
发布了新的
文献求助
10
6秒前
温柔梦松
完成签到
，获得积分
10
7秒前
公西翠萱
完成签到，获得积分
10
7秒前
XX
完成签到
，获得积分
10
7秒前
脑洞疼
的
应助
被
Olsters
采纳，获得
10
7秒前
bingyu508
完成签到，获得积分
10
7秒前
安详雅绿
发布了新的
文献求助
10
8秒前
严雨乐
完成签到
，获得积分
10
8秒前
lxl
完成签到
，获得积分
10
8秒前
LarryC
完成签到，获得积分
10
9秒前
HCLonely
完成签到，获得积分
0
10秒前
淡淡乌冬面
完成签到，获得积分
10
10秒前
美丽的依琴
完成签到，获得积分
10
10秒前
keyIncy
完成签到，获得积分
10
10秒前
高分求助中
(应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】
10000
Aspects of Post-SPE Phonology
2000
Performance standards for antimicrobial disk and dilution susceptibility tests for bacteria isolated from animals
888
Rosenblum, Global Change Biology
800
Holistic Discourse Analysis, Second Edition by Robert E. Longacre (2012-09-10)
666
Final Report for the 2-D Test of Model 901 Rotor and Wing Airfoils (BSWT 592)
528
Berberine regulates the TLR4 signaling pathway to suppress hypoxia-induced proliferation and migration of pulmonary arterial smooth muscle cells
520
热门求助领域
（近24小时）
化学
材料科学
医学
生物
计算机科学
工程类
纳米技术
物理
有机化学
化学工程
内科学
生物化学
复合材料
催化作用
心理学
细胞生物学
无机化学
电极
光电子学
人工智能
热门帖子
关注
科研通微信公众号，转发送积分
7879905
求助须知：如何正确求助？哪些是违规求助？
9394206
关于积分的说明
20801844
捐赠科研通
7482360
什么是DOI，文献DOI怎么找？
3354394
关于科研通互助平台的介绍
2494103
邀请新用户注册赠送积分活动
2381528
今日热心研友
牧青
32
2560
学霸业
49
800
林狗
26
1000
v0id
67
510
OK
960
GingerF
16
750
嘻嘻哈哈
28
580
刻苦若之
65
110
愉快的真
7
600
璐璐
25
420
极限001
640
我爱小高
5
510
SIyuan
510
Wu
37
90
学术文献互助
390
渡人舟
6
280
谢雷XIELei
24
90
谢大喵
5
240
HJJHJH
7
210
sanvva
260
注：热心度 = 本日应助数 + 本日被采纳获取积分÷10
PDF的下载单位、IP信息已删除
(2025-6-4)
牧青
学霸业
林狗
v0id
OK
GingerF
嘻嘻哈哈
刻苦若之
愉快的真
璐璐
极限001
我爱小高
SIyuan
Wu
学术文献互助
渡人舟
谢雷XIELei
谢大喵
HJJHJH
sanvva
皖公网安备34019202002308
