Execution-grounded synthesis and repair of translation rules for embedded ISAs

待确认

文献求助详情

标题	[高分] Execution-grounded synthesis and repair of translation rules for embedded ISAs
网址	http://dx.doi.org/10.1016/j.sysarc.2026.103870
DOI	10.1016/j.sysarc.2026.103870 doi
其它	期刊：Journal of Systems Architecture 作者：Guohao Wu; Huaijin Li; Mingyu Li; Hongliang Liang 出版日期：2026-08-01
求助人	蓝天在 2026-10-21 15:12:23 发布自中国，悬赏 50 积分
下载

上个求助

下个求助

提交工单

求助 / 应助时间线

请等待求助人确认

已经有人上传了文献，该状态下其他人无法上传，请等待求助人确认该文件是否是他需要的。
如果求助人在 48 小时内还未确认，系统默认应助成功，本求助将自动关闭。
1小时前

oxy Lv64 上传了文件

待审核 1-s2.0-S1383762126001888-main.pdf (1.63 MB)

温馨提示：本文件中的下载单位、IP等隐私信息已被删除。如有遗漏，请提交工单反馈。
1小时前

科研通AI2.0 机器人未找到该文献，机器人已退出，请等待人工下载

15:12:29 未找到该文献，机器人已退出，请等待人工下载

15:12:26 科研通AI机器人（日本东京）收到请求，开始寻找文献

15:12:24 已向机器人发送请求
1小时前

蓝天 Lv7 求助人发起了本次求助

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

⚡ 2026年影响因子、分区 已更新！ (2026-6-17)

更新

📰 新增『新锐期刊分区』 (2026-3-24)

更新

💬 新增更精细的自定义提醒设置 (2026-1-4)

新增

🕒 每天60秒读懂世界·精选全球要闻 (2026-1-2)

新增

PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: sx完成签到，获得积分20

刚刚; 思源上传了应助文件

刚刚; 勤恳的洋葱完成签到，获得积分10

刚刚; 顾矜上传了应助文件

1秒前; 刘威发布了新的文献求助10

1秒前; zzzz发布了新的文献求助10

1秒前; Hideare发布了新的文献求助10

1秒前; 干净的琦上传了应助文件

1秒前; 李辉发布了新的文献求助30

1秒前; 优美初曼完成签到，获得积分10

1秒前; CodeCraft的应助被孙彦琪采纳，获得10

1秒前; 共享精神的应助被重要的黎昕采纳，获得10

2秒前; CC完成签到，获得积分10

2秒前; cc的应助被蜀道难采纳，获得20

3秒前; yl完成签到，获得积分10

3秒前; 我要积分发布了新的文献求助10

3秒前; hmm发布了新的文献求助10

3秒前; 一学僧完成签到，获得积分10

3秒前; 结实树叶发布了新的文献求助10

3秒前; 虚幻的若雁完成签到，获得积分10

4秒前; fifteen的应助被JXY189采纳，获得10

4秒前; 哭哭小喵发布了新的文献求助10

4秒前; 小马甲的应助被大呲花采纳，获得10

4秒前; 搜集达人上传了应助文件

4秒前; 优美的书易发布了新的文献求助10

5秒前; 华仔的应助被XM采纳，获得10

5秒前; Hello上传了应助文件

5秒前; 一条奔跑的小鱼完成签到，获得积分10

6秒前; 蒋j完成签到，获得积分20

6秒前; 2266完成签到，获得积分10

6秒前; 万能图书馆上传了应助文件

7秒前; ssw完成签到，获得积分10

7秒前; 葡萄爱吃荔枝完成签到，获得积分20

7秒前; SciGPT的应助被盒子采纳，获得10

7秒前; 见月明上传了应助文件

7秒前; 朗道二级相变完成签到，获得积分10

8秒前; 千千发布了新的文献求助10

8秒前; 顺心的妙晴完成签到，获得积分10

8秒前; 胖凡发布了新的文献求助10

8秒前; Sledge的应助被yl采纳，获得10

8秒前