Partial Strategy Maps 部分的策略地图
Strategy 3: Parallel Batch subdivides batch work into subjobs to be sent to grid nodes and afterwards aggregates the partial results.
策略 3:并行批处理将批处理任务划分为子任务发送到各个网格节点上,然后再聚合各个部分的结果。
The enterprise may use this template as a part of a larger strategy to move to the enterprise partial or enterprise full templates.
企业可能将该模板用作较大策略的一部分,从而转到企业局部或企业完整模板。
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.
SPIN在应用过程中同样面临状态空间爆炸问题,它采用偏序归约策略来减少状态空间中需要遍历及存储的状态数目。
应用推荐