Verification for fault tolerance of the IBM system z microprocessor.
Brian W. ThomptoBodo HoppePublished in: DAC (2010)
Keyphrases
- mobile agent system
- fault tolerance
- fault tolerant
- functional verification
- instruction set
- mobile agents
- ibm zenterprise
- distributed systems
- distributed computing
- load balancing
- floating point
- group communication
- response time
- ibm power processor
- high availability
- replicated databases
- central processor
- operating system
- error detection
- peer to peer
- input output
- model checking
- fault management
- high performance computing
- database replication
- failure recovery
- data replication
- data sets
- databases