OVERHEAD

作品数：139被引量：115H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：白光润温景林史志远蔡新乐王正杰更多>>
相关机构：清华大学东北师范大学南京大学北京理工大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家社会科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Formal Verification of Temporal Properties for Reduced Overhead in Grid Scientific Workflows被引量：2
《Journal of Computer Science & Technology》2011年第6期1017-1030,共14页曹军威 张帆 许可 刘连臣 吴澄 
supported by the National Basic Research 973 Program of China under Grant Nos.2011CB302805,2011CB302505;the National High Technology Research and Development 863 Program of China under Grant No.2011AA040501;the National Natural Science Foundation of China under Grant No.60803017;Fan Zhang is supported by IBM 2011-2012 Ph.D. Fellowship
With quick development of grid techniques and growing complexity of grid applications, it is becoming critical for reasoning temporal properties of grid workflows to probe potential pitfalls and errors, in order to en...
关键词：grid computing workflow management formal verification state Pi calculus 
Clustering Approaches for Overhead Reduction over Coordinated Multiple Points Network-MIMO Downlink Systems
《China Communications》2010年第5期103-111,共9页Xiao Shanghui Zhang Zhongpei Shi Zhiping 
Owing to the potential for intercell cochannel interference mitigation and significant spectral efficiency improvement, coordinating transmission techniques by multiple radio access points have recently attracted a lo...
关键词：overhead reduction clustering approa-ches SUPERCELL MIMO ss STEMS cooperative com-munication 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部