Optimizing Network Deployment of Formally-Specified Distributed Systems.
Carleton CoffrinLaurent D. MichelAlexander A. ShvartsmanElaine L. SondereggerPascal Van HentenryckPublished in: SEDE (2009)
Keyphrases
- distributed systems
- data availability
- distributed computing
- fault tolerance
- fault tolerant
- load balancing
- geographically distributed
- message passing
- mobile agents
- computer networks
- operating system
- deadlock detection
- distributed environment
- concurrent systems
- data replication
- real time systems
- replicated data
- mobile computing
- distributed database systems
- network structure
- peer to peer
- wireless sensor networks
- high assurance
- communication networks
- database
- multi agent systems