Leto: verifying application-specific hardware fault tolerance with programmable execution models.
Brett BostonZoe GongMichael CarbinPublished in: Proc. ACM Program. Lang. (2018)
Keyphrases
- fault tolerance
- application specific
- fault tolerant
- general purpose
- low cost
- failure recovery
- load balancing
- response time
- error detection
- distributed computing
- computation intensive
- databases
- replicated databases
- group communication
- mobile agents
- peer to peer
- high bandwidth
- data model
- multi agent
- database replication
- database systems