Practical Verification of an Embedded Beowulf Architecture Using Standard Cluster Benchmarks.

Matthew Robert Fowler Elias Stipidis Falah H. Ali

Published in: ICSEA (2008)

Keyphrases

clustering algorithm
data clustering
real world
management system
hierarchical clustering
model checking
peer to peer
embedded systems
face verification
formal methods