位置：成果数据库 > 期刊 > 期刊详情页
Formal Verification of Temporal Properties for Reduced Overhead in Grid Scientific Workflows
  • 期刊名称：Computer Science and Technology
  • 时间：0
  • 页码：1017-1030
  • 语言：英文
  • 相关项目：动态时变约束下的赛百平台资源优化理论与算法研究
作者： Lian-Chen Liu|Jun-Wei Cao|Ke Xu|Cheng Wu|Fan Zhang|
同期刊论文项目
动态时变约束下的赛百平台资源优化理论与算法研究
期刊论文 13 会议论文 11 专利 1 著作 2
同项目期刊论文
VOMES: a Virtual Organization Membership Evaluation System
Concurrent and storage-aware data streaming for data processing workflows in grid environments
Grid Resource Management and Scheduling for Data Streaming Applications
Performance improvement of distributed systems by autotuning of the configuration parameters
Redundant virtual machines management in virtualized cloud platform
Provisioning Virtual Resources Adaptively in Elastic Compute Cloud Platforms
联合更换策略的机会性Lagrangian松弛方法
Performance Improvement of Distributed Systems by Autotuning of the Configuration Parameters
Concurrent and Storage-Aware Data Streaming for Data Processing Workflows in Grid Environments
Fuzzy Allocation of Fine-grained Compute Resources for Grid Data Streaming Applications
Cost estimation of advance reservations over queued jobs: A quantitative study
Dynamic Control of Data Streaming and Processing in a Virtualized Environment