首页> 外文OA文献 >Predicate-Based Dynamic Slicing of Message Passing Programs

【2h】

Predicate-Based Dynamic Slicing of Message Passing Programs

机译：基于谓词的消息传递程序动态切片

页面导航

著录项
相似文献
相关主题

著录项

作者
Juergen Rilling; Hon F. Li;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Parallel Brownian dynamics simulations with the message-passing and PGAS programming models [J] . Teijeiro C., Sutmann G., Taboada G.L., Computer physics communications . 2013,第4期

机译：带有消息传递和PGAS编程模型的并行布朗动力学仿真
2. HYBRID MESSAGE-PASSING AND SHARED-MEMORY PROGRAMMING IN A MOLECULAR DYNAMICS APPLICATION ON MULTICORE CLUSTERS [J] . Martin J. Choi-ley, Martyn F. Guest, David W. Walker International Journal of High Performance Computing Applications . 2009,第3期

机译：混合动态消息传递和共享内存编程在多族群中的分子动力学应用
3. Granularity-Driven Dynamic Predicate Slicing Algorithms for Message Passing Systems [J] . HON F. LI, JUERGEN RILLING, DHRUBAJYOTI GOSWAMI Automated software engineering . 2004,第1期

机译：消息传递系统的粒度驱动动态谓词切片算法
4. Predicate-based dynamic slicing of message passing programs [C] . Rilling, J., Li, . 2002

机译：基于谓词的消息传递程序的动态切片
5. Heuristics for efficient dynamic verification of message passing interface and thread programs. [D] . Chiang, Wei-Fan. 2011

机译：用于消息传递接口和线程程序的有效动态验证的启发式方法。
6. Message Passing and Metabolism [O] . Thomas Parr 2021

机译：消息通过和新陈代谢
7. HYBRID MESSAGE-PASSING AND SHARED-MEMORY PROGRAMMING IN A MOLECULAR DYNAMICS APPLICATION ON MULTICORE CLUSTERS [O] . Martin J. Chorley, David W. Walker, Martyn F. Guest 2014

机译：多核集群中分子动力学中的混合消息传递和共享存储器编程
8. Program Flow Graph Construction for Static Analysis of Explicitly Parallel Message-Passing Programs [R] . Shires, D. R. , Pollock, L. 2000

机译：显式并行消息传递程序静态分析的程序流程图构造

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号