Parallel and Distributed Methods in Verification.

Ivana Cerná Boudewijn R. Haverkort

Published in: J. Log. Comput. (2011)

Keyphrases

cooperative
preprocessing
computationally expensive
significant improvement
benchmark datasets
computational cost
data mining techniques
empirical studies
databases
search engine
information systems
distributed systems
distributed environment
computer networks
qualitative and quantitative
distributed data