Compiler Optimizations for Fault Tolerance Software Checking.
Jing YuMaría Jesús GarzaránPublished in: PACT (2007)
Keyphrases
- fault tolerance
- fault tolerant
- software systems
- distributed computing
- distributed systems
- load balancing
- response time
- peer to peer
- high availability
- replicated databases
- database replication
- group communication
- software development
- mobile agents
- software components
- fault management
- programming language
- failure recovery
- source code
- high performance computing
- artificial intelligence
- computer systems
- modeling language
- software engineering
- databases
- database