Strategy 3: Parallel Batch subdivides batch work into subjobs to be sent to grid nodes and afterwards aggregates the partial results.
策略 3:并行批处理将批处理任务划分为子任务发送到各个网格节点上,然后再聚合各个部分的结果。
2
The enterprise may use this template as a part of a larger strategy to move to the enterprise partial or enterprise full templates.
企业可能将该模板用作较大策略的一部分,从而转到企业局部或企业完整模板。
3
SPIN adopts the partial order reduction strategy to reduce the number of system states that needs to be visited and stored in the state space to solve the model checking problem.