2) checkpointing algorithm
检查点算法
1.
A non-close,non-block and low-overhead checkpointing algorithm is proposed for computational grid service system which provides computation function for mobile agents.
一个具有非封闭、非阻塞、低开销等优势的新检查点算法被提出,且该算法的同步垃圾收集过程可以避免不同进程间在确立新检查点、抛弃旧检查点时的不同步造成的不一致状态。
3) conflict checking algorithm
冲突检查算法
1.
In the solving process,the temporal feasible initial schedule is constructed firstly by using variable selection and value selection heuristic,then the resource conflicts are checked by conflict checking algorithm and are re.
在求解过程中,首先用变量选择和值选择启发式方法构造时间可行的初始调度,然后应用冲突检查算法检测资源冲突,基于回跳的后向修剪组合算法修复冲突,直至得到一个一致性的最终解。
4) intervisibility testing algorithm
通视性检查算法
1.
The intervisibility testing algorithm in the virtual environment that based on the LOS (line of sight) is researched on.
对虚拟环境中点到点的通视性检查算法进行了研究。
5) proof checking algorithm
证明检查算法
1.
For example,the decision procedures for Pointer Logic,the decision procedures for linear integer arithmetic,the proof checking algorithm and s
此外,本文还介绍了APL自动定理证明器的详细设计和实现,描述了一些关键算法,比如指针逻辑决策过程,整型线性算术决策过程,证明检查算法等等。
6) postmortem
[英]['pəust'mɔ:tem] [美][,post'mɔrtəm]
算后检查
补充资料：检查
检查
医务人员运用五官和手及各种医疗设备对人体所进行的各种检查、观察。如体格检查、心电图检查、X线检查等。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条