Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids.
Hubert GaravelRadu MateescuWendelin SerwePublished in: Electron. Notes Theor. Comput. Sci. (2013)
Keyphrases
- distributed systems
- clustering algorithm
- model checking
- data clustering
- multi agent
- cooperative
- high scalability
- real world
- hierarchical clustering
- distributed environment
- data intensive
- small scale
- computing environments
- fuzzy clustering
- lightweight
- data sets
- database
- cluster analysis
- mobile agents
- distributed computing
- subspace clustering
- databases
- geographically distributed
- asynchronous circuits