A Graph Transformation-Based Approach for the Validation of Checkpointing Algorithms in Distributed Systems.
Houda KhlifHatem Hadj KacemSaúl E. Pomares HernándezCédric EichlerAhmed Hadj KacemAlberto Calixto SimonPublished in: WETICE (2014)
Keyphrases
- distributed systems
- fault tolerance
- fault tolerant
- load balancing
- deadlock detection
- distributed database systems
- distributed environment
- learning algorithm
- mobile agents
- graph transformation
- message passing
- loosely coupled
- operating system
- data structure
- distributed computing
- geographically distributed
- data replication
- real time
- software development environments
- databases