原创力文档formal verification of temporal properties for reduced overhead in grid scientific workflows-在网格科学工作流中减少开销的时间属性的正式验证.pdfVIP
- 1
- 0
- 约 14页
- 2017-10-15 发布于上海
- 举报
formal verification of temporal properties for reduced overhead in grid scientific workflows-在网格科学工作流中减少开销的时间属性的正式验证
overheadin scientificworkflows．
of forreduced
Cao Keta1．Formalverification grid
JW，ZhangF，Xu temporalproperties
Nov．2011．DOI
OFCOMPUTERSCIENCEANDTECHNOLOGY 10．1007／s11390-011—
JOURNAL 26(6)：1017—1030
1198-4
in
of forReducedOverhead
Form
您可能关注的文档
- “面向对象技术与uml”课程教学探索.pdf
- development of pc-based electronic teaching and learning materials for de-scriptive geometry (attempt to make the most use of animation creator flash and 3d-cad solidworks)-开发基于pc的电子教学和学习材料的反转录几何(试图充分利用动画创作者的flash和三维cad的solid.pdf
- dft宽带波束形成器简化权系数法性能分析 performance analaysis of dft wideband beamforming using simplified weight coefficient distribution method.pdf
- direct model reference adaptive control using kp =ldu factorization for multivariable discrete-time plants-利用kp = ldu因子对多变量离散时间植物的直接模型参考自适应控制.pdf
- distributed adaptive fault-tolerant control against actuator faults and lossy interconnection links-分布式自适应容错控制对执行器故障和有损的互连链路.pdf
- differential evolution with adaptive mutation and parameter control using lévy probability distribution.pdf
- distributed coordinator election scheme for qos support and seamless connectivity in wpans-分布式协调器选举方案，支持在w平移中实现qos支持和无缝连接。.pdf
- directx 10图形应用程序截获技术的研究.pdf
- distributed environment representation and object localization system in intelligent space-在智能空间中分布式环境表示和对象定位系统.pdf
- diversity of pareto front a multiobjective genetic algorithm based on dominating information-基于控制信息的多目标遗传算法的多样性.pdf
- frequency-domain l2-stability conditions for time-varying linear and nonlinear mimo systems-频率域l2-稳定性条件，用于时变线性和非线性mimo系统.pdf
- f-t合成中脱氧反应的monte carlo模拟研究 monte carlo simulation of oxygen removal in ft synthesis.pdf
- g.726语音压缩算法在低码率下的改进与实现 implementation of a improved g. 726 speech compression algorithm in low bit rate.pdf
- gait planning and intelligent control for a quadruped robot-步态规划和智能控制的四足机器人.pdf
- g(o)del语言控制机制的研究与实现 research and implementation of the control facility of g(o)del language.pdf
- generalized control of quantum systems in the frame of vector treatment-量子系统在向量处理框架中的广义控制.pdf
- global exponential stability analysis of cellular neural networks with multiple time delays-多时滞细胞神经网络的全局指数稳定性分析.pdf
- fuzzy-based dynamic distributed queue scheduling for packet switched networks-基于模糊的分组交换网络的动态分布式队列调度.pdf
- giopims在炼油厂重质油加工流程选择中的应用 giopims application in heavy oil process selection for newly built refineries.pdf
- global disturbance rejection of a class of nonlinear systems with unknown exosystems-一种具有未知外系统的非线性系统的全球干扰抑制.pdf
文档评论（0）