Formally analyzing fault tolerance in datapath designs using equivalence checking.
Payman BehnamBijan AlizadehSajjad TaheriMasahiro FujitaPublished in: ASP-DAC (2016)
Keyphrases
- fault tolerance
- fault tolerant
- load balancing
- distributed systems
- distributed computing
- response time
- distributed query processing
- mobile agents
- high availability
- database replication
- peer to peer
- group communication
- fault management
- high scalability
- replicated databases
- grid computing
- data replication
- failure recovery
- artificial intelligence
- single point of failure
- component failures
- high performance computing
- wireless sensor
- error detection
- data sets
- end to end
- databases