Login / Signup
Modeling and Verifying HDFS Using CSP.
Wanling Xie
Huibiao Zhu
Xi Wu
Shuangqing Xiang
Jian Guo
Published in:
COMPSAC (2016)
Keyphrases
</>
constraint satisfaction
databases
constraint satisfaction problems
modeling method
real time
neural network
data mining
machine learning
modeling framework