Symbolic synthesis of masking fault-tolerant distributed programs.
Borzoo BonakdarpourSandeep S. KulkarniFuad AbujaradPublished in: Distributed Comput. (2012)
Keyphrases
- fault tolerant
- distributed systems
- fault tolerance
- load balancing
- functional programs
- high availability
- interconnection networks
- fine grained
- databases
- message passing
- distributed computing
- intermediate level
- program synthesis
- state machine
- image quality
- distributed environment
- human visual system
- data management
- data replication
- safety critical
- database