首页> 外文OA文献 >Path-sensitive dataflow analysis with iterative refinement

【2h】

Path-sensitive dataflow analysis with iterative refinement

机译：具有迭代细化的路径敏感数据流分析

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Dinakar Dhurjati; Manuvir Das; Yue Yang;
展开▼
作者单位

展开▼
年度 2006
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Scalable and precise refinement of cache timing analysis via path-sensitive verification [J] . Sudipta Chattopadhyay, Abhik Roychoudhury Real-time systems . 2013,第4期

机译：通过路径敏感验证可扩展和精确地优化缓存时序分析
2. Bebop: A Path-sensitive Interprocedural Dataflow Engine [J] . Thomas Ball, Sriram K. Rajamani ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2001,第Suppla期

机译：Bebop：路径敏感的过程间数据流引擎
3. Hot spots profiling and dataflow analysis in custom dataflow computing SoftProcessors [J] . Chao Wang, Xi Li, Huizhen Zhang, The Journal of Systems and Software . 2017,第Mara期

机译：定制数据流计算SoftProcessor中的热点分析和数据流分析
4. Path-Sensitive Dataflow Analysis with Iterative Refinement [C] . Dinakar Dhurjati, Manuvir Das, Yue Yang International Symposium on Static Analysis(SAS 2006); 20060829-31; Seoul(KR) . 2006

机译：迭代优化的路径敏感数据流分析
5. Neural Structured Prediction Using Iterative Refinement with Applications to Text and Molecule Generation [D] . Mansimov, Elman. 2021

机译：使用迭代细化与文本和分子生成的神经结构预测
6. Iterative-build OMIT maps: map improvement by iterative model building and refinement without model bias [O] . Thomas C. Terwilliger, Ralf W. Grosse-Kunstleve, Pavel V. Afonine, -1

机译：迭代构建的OMIT地图：通过迭代模型构建和完善而不会引起模型偏差的地图改进
7. Comprehensive path-sensitive dataflow analysis [O] . Aditya Thakur, R. Govindarajan 2008

机译：全面的路径敏感数据流分析

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号