GRID_COMPUTING

作品数：51被引量：75H指数：5
导出分析报告
相关作者：徐世杰梁钢王汝传庄艳艳刘业更多>>
相关机构：清华大学北京华胜天成科技股份有限公司东南大学湖南大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划福建省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=Journal of Computer Science & Technologyx
共 条 记 录，以下是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 
Usability Issues of Grid System Software
《Journal of Computer Science & Technology》2006年第5期641-647,共7页徐志伟 周浩杰 李国杰 
TMs work is supported in part by the National Natural Science Foundation of China （Grant Nos. 60573102, 90412010） and the National Grand Fundamental Research 973 Program of China （Grant Nos. 2003CB317000, 2005CB321800）.
This paper addresses the problem why grid technology has not spread as fast as the Web technology of the 1990＇s. In the past 10 years, considerable efforts have been put into grid computing. Much progress has been ma...
关键词：grid computing system software USABILITY distributed system architecture 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部