A Scheduling Strategy for Parallel Proof Checking and Verification.

Pei He Lishan Kang Zengliang Xiao Zhuoyu Xiao

Published in: ICNSC (2008)

Keyphrases

scheduling strategy
scheduling algorithm
round robin
verification method
model checking
grid computing
query scheduling
database
theorem proving
response time
quality of service
theorem prover
fault tolerant
distributed environment
multi dimensional
multi agent
real time