Synthesizing Cluster Management Code for Distributed Systems.
Lalith SureshJoão LoffNina NarodytskaLeonid RyzhykMooly SagivBrian OkiPublished in: HotOS (2019)
Keyphrases
- distributed systems
- fault tolerant
- network monitoring
- distributed environment
- load balancing
- distributed computing
- high assurance
- geographically distributed
- fault tolerance
- clustering algorithm
- message passing
- distributed database systems
- concurrent systems
- security policies
- operating system
- management system
- information management
- directory service
- deadlock detection
- mobile agents
- network management
- source code
- knowledge management
- agent technology
- distributed databases
- loosely coupled
- real time systems
- data replication
- replicated data