科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
Ö
Ömer Şakar
University of Twente
3
H指数
7
论文数
24
被引数
0
相关解读
订阅
收录论文
1
发表时间
发表时间
IF
被引数
Preserving provability over GPU program optimizations with annotation-aware transformations
在GPU程序优化中通过标注感知转换来保持可证明性
Formal Methods in System Design
IF
0.8
2025-11-01
0
PRE
AI
Sakar, Omer; Safari, Mohsen; Huisman, Marieke; Wijs, Anton
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
M
Marieke Huisman
H 指数: 28 · 论文数: 257
A
Anton Wijs
H 指数: 21 · 论文数: 149
M
Mohsen Safari
H 指数: 9 · 论文数: 27
已加载全部