The High Performance Computing on the Crash-Safety Analysis.
Lei HouHaiyan DingHanling LiLin QiuPublished in: HPCA (China) (2009)
Keyphrases
- high performance computing
- safety analysis
- safety critical
- scientific computing
- nuclear power plant
- control system
- symbolic model checking
- massively parallel
- fault model
- formal methods
- computational science
- fault tolerance
- parallel computing
- computing systems
- grid computing
- computing resources
- fault tolerant
- computing environments
- energy efficiency
- partial observability
- model checking
- real time
- embedded systems
- condition monitoring
- distributed environment
- distributed systems
- digital libraries
- multi agent systems
- information systems
- artificial intelligence