SMT-Based Planning Synthesis for Distributed System Reconfigurations.
Simon RobillardHélène CoullonPublished in: FASE (2022)
Keyphrases
- distributed systems
- fault tolerant
- load balancing
- geographically distributed
- fault tolerance
- distributed environment
- mechanical devices
- message passing
- planning problems
- operating system
- data replication
- distributed database systems
- security policies
- software architecture
- mobile computing
- concurrent systems
- mobile agents
- loosely coupled
- statistical machine translation
- distributed computing
- heuristic search
- data availability
- replicated data