Login / Signup
Performance Modeling of Concurrent Live Migration Operations in Cloud Computing Systems Using PRISM Probabilistic Model Checker.
Shinji Kikuchi
Yasuhide Matsumoto
Published in:
IEEE CLOUD (2011)
Keyphrases
</>
computing systems
model checker
model checking
computing platform
computer systems
parallel computing
temporal logic
formal methods
autonomic computing
cloud computing
formal verification
artificial intelligence
formal specification
test suite
databases
high level