Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance.
Linda HerrmannChristel BaierChristof FetzerSascha KlüppelholzMarkus NapierkowskiPublished in: EPEW (2018)
Keyphrases
- fault tolerance
- fault tolerant
- load balancing
- distributed computing
- response time
- distributed systems
- peer to peer
- high availability
- sensor nodes
- single point of failure
- database replication
- failure recovery
- energy consumption
- mobile agents
- sensor networks
- window size
- optimal parameters
- error detection
- data replication
- group communication
- fault management
- high performance computing
- expert systems
- replicated databases
- artificial intelligence
- databases
- database