首页> 外文OA文献 >Solving Computation Slicing using Predicate Detection

【2h】

Solving Computation Slicing using Predicate Detection

机译：使用谓词检测解决计算切片

页面导航

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

著录项

作者
Neeraj Mittal et al.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Solving Computation Slicing Using Predicate Detection [J] . Mittal Neeraj, Sen Alper, Garg Vijay K. IEEE Transactions on Parallel and Distributed Systems . 2007,第12期

机译：使用谓词检测解决计算切片
2. Fast Detection of Stable and Count Predicates in Parallel Computations [J] . Himanshu Chauhan, Vijay K. Garg LIPIcs : Leibniz International Proceedings in Informatics . 2018,第23期

机译：快速检测并行计算中的稳定谓词和计数谓词
3. Predicate Detection for Parallel Computations with Locking Constraints [J] . Yen-Jung Chang, Vijay K. Garg LIPIcs : Leibniz International Proceedings in Informatics . 2017,第30期

机译：具有锁定约束的并行计算的谓词检测
4. Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing [C] . Alper Sen, Vijay K. Garg Principles of Distributed Systems . 2004

机译：使用计算切片检测分布式程序中的时间逻辑谓词
5. Outlier detection under interval uncertainty: Algorithmic solvability and computational complexity. [D] . Patangay, Praveen. 2003

机译：区间不确定性下的异常值检测：算法可解性和计算复杂性。
6. Comparison of 68Ga-HBED-CC PSMA-PET/CT and multiparametric MRI for gross tumour volume detection in patients with primary prostate cancer based on slice by slice comparison with histopathology [O] . Constantinos Zamboglou, Vanessa Drendel, Cordula A. Jilg, 2017

机译：基于切片与组织病理学比较的68Ga-HBED-CC PSMA-PET / CT和多参数MRI在原发性前列腺癌患者总肿瘤体积检测中的比较
7. Detecting temporal logic predicates in distributed programs using computation slicing [O] . Vinit A. Ogale, Vijay K. Garg 2003

机译：使用计算切片检测分布式程序中的时间逻辑谓词
8. Turbulence Measurements and Computations for the Predication of Broadband Noise in High Bypass Ratio Fans [R] . Devenport, William J., Ragab, Saad A. 2000

机译：高旁通比风扇宽带噪声预测的湍流测量与计算

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号