Formal Derivation of Distributed MapReduce.
Inna PereverzevaMichael J. ButlerAsieh Salehi FathabadiLinas LaibinisElena TroubitsynaPublished in: ABZ (2014)
Keyphrases
- distributed processing
- distributed systems
- distributed computing
- data intensive
- cooperative
- multi agent
- peer to peer
- distributed network
- parallel processing
- distributed environment
- formal model
- cloud computing
- formal language
- map reduce
- mathematical theory
- distributed data mining
- formal specification
- distributed architecture
- communication overhead
- loosely coupled
- distributed data
- information retrieval
- description logics
- social networks