Tight Bounds For Distributed MST Verification.
Liah KorAmos KormanDavid PelegPublished in: STACS (2011)
Keyphrases
- tight bounds
- upper bound
- distributed systems
- communication cost
- information retrieval
- model checking
- fault tolerant
- real time
- lightweight
- cooperative
- neural network
- databases
- formal verification
- communication overhead
- heterogeneous environments
- face verification
- distributed network
- mobile agents
- computing environments
- computer networks
- distributed environment
- peer to peer
- multi agent
- decision trees
- search engine
- data sets