Open AccessA Fault Repair Method for Workstation Cluster Based on Probabilistic Model Checking
Author(s) -
Xi Wang,
Ting Chen,
Cheng Ouyang
Publication year - 2019
Publication title -
journal of physics. conference series
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.21
H-Index - 85
eISSN - 1742-6596
pISSN - 1742-6588
DOI - 10.1088/1742-6596/1187/4/042110
Subject(s) - workstation , computer science , component (thermodynamics) , probabilistic logic , queue , reliability engineering , markov chain , process (computing) , cluster (spacecraft) , fault (geology) , distributed computing , operating system , engineering , programming language , physics , artificial intelligence , machine learning , seismology , thermodynamics , geology