Global-Time-Offsets Based Checkpoint Selection for Dynamic Verification of Fixed-Time Constraints in Grid Workflows.
Hongda WangWei SongJianchun XingQiliang YangPublished in: APSCC (2011)
Keyphrases
- dynamically select
- fault tolerant
- fault tolerance
- fixed number
- grid computing
- database systems
- dynamic environments
- data processing
- linear constraints
- business process
- constraint programming
- data sets
- constrained optimization
- evolutionary algorithm
- virtual organization
- formal verification
- dynamic constraints
- case study