期刊文献+

分布式动态异构网格中间件比较研究 被引量:1

下载PDF
导出
摘要 随着信息产业的飞速发展,云计算越来越在企业中得到应用,作为云计算的一个重要方面,分布式网格计算系统已经被科研机构和企业界广泛接受,并得到大量应用,符合开放式网格论坛组织和开放式网格体系结构的产品越来越多,这些组织已经设计了大量的网格中间件产品,用于帮助企业进行网格计算,这些产品的优劣各不同,本文对这些产品进行了概述,并在此基础上对其优化方法加以探讨。
作者 王燕
出处 《计算机光盘软件与应用》 2012年第13期108-109,共2页 Computer CD Software and Application
关键词 分布式 网格 异构
  • 相关文献

参考文献2

二级参考文献29

  • 1[1]Modeled Computation LLC. Executable specifications: creating testable,enforceable designs[ Z]. USA:Microsoft Press,2001. 被引量:1
  • 2[2]Abstract State Machines, the website[DB/OL].http://www.eecs. umich. edu/gasm. 被引量:1
  • 3[3]AsmL, the website [ DB/OL]. http://research. microsoft. com/fse/asml. 被引量:1
  • 4[4]Zsolt Nemeth, V aidy Sunderam. Characterizing grids: attributes, definitions and formalisms[J]. Journal of Grid Computing, 2003, 1 ( 1 ): 9 -23. 被引量:1
  • 5[5]Egon Borger. The origins and development of the ASM method for high level system design and analysis[J]. Journal of Universal Computer Science,2002,8(1) :2 - 74. 被引量:1
  • 6[6]Yuri Gurevich. Evolving algebras 1993:Lipari guide[ A]. Egon Borger,ed. Specification and validation methods [ C]. BR: Oxford University Press, 1995.9 - 36. 被引量:1
  • 7[7]Yuri Gurevich. May 1997 draft on the ASM guide[EB/OL].http://www. eecs. umich. edu/gasm/papers/guide97. html. 1997. 被引量:1
  • 8[8]Yuri Gurevich. Sequential abstract state machines capture sequential algorithms[ J ]. ACM Transactions on Computational Logic, 2000,1 ( 1 ):77-111. 被引量:1
  • 9[9]Mike Barnett, Wolfram Schulte. Runtime verification of. NET contracts[J]. Journal of Systems and Software,2003,65(3): 199 - 208. 被引量:1
  • 10[10]Mike Barnett, Wolfram Schulte. The ABCs of specification: AsmL, behavior and components [ J ]. Informatica, 2001,25 ( 4 ): 517 - 526. 被引量:1

共引文献15

同被引文献10

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部