Multi-Scale Verification of Distributed Synchronisation.
Paul GainerSven LinkerClare DixonUllrich HustadtMichael FisherPublished in: CoRR (2018)
Keyphrases
- multiscale
- cooperative
- distributed environment
- model checking
- peer to peer
- distributed systems
- verification method
- fault tolerant
- natural images
- real world
- data streams
- edge detection
- multi agent
- case study
- decision trees
- website
- information retrieval
- computer networks
- local binary pattern
- distributed processing
- distributed learning
- databases