Distributed synthesis for well-connected architectures.
Paul GastinNathalie SznajderMarc ZeitounPublished in: Formal Methods Syst. Des. (2009)
Keyphrases
- distributed systems
- cooperative
- fault tolerant
- distributed environment
- heterogeneous environments
- learning algorithm
- peer to peer
- lightweight
- program synthesis
- communication overhead
- distributed computing
- connected components
- mobile agents
- data sets
- evolutionary algorithm
- database systems
- case study
- computer networks
- clustering algorithm
- search engine
- distributed data
- peer to peer networks
- artificial intelligence
- distributed processing
- genetic algorithm
- neural network