1) Data-Race algorithm
Data-Race算法
1.
The Data-Race algorithm is applied to record warnings which guide JPF to check deadlock related threads.
用Data-Race算法收集警告信息,引导程序模型检测工具只对死锁相关线程进行模型检测,避免了状态空间爆炸,实现了对大规模并行程序部分线程死锁问题的模型检测。
2) RACE algorithm
RACE算法
3) DES(data encryption standard)
DES(data encryption standard)算法
5) computation of data cube
Data Cube计算
6) 5-RACE and 3-RACE
5'-RACE与3'-RACE方法
补充资料:analytical chemistry data base
分子式:
CAS号:
性质:分析化学类数据库存储的是与分析化学领域有关的各类信息。如关于分析化学的文摘的文献库ANABSTR,关于分析和生化试剂的数据库Fisher等。
CAS号:
性质:分析化学类数据库存储的是与分析化学领域有关的各类信息。如关于分析化学的文摘的文献库ANABSTR,关于分析和生化试剂的数据库Fisher等。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条