Formal Verification for Scientific Computing: Trends and Progress.
Stephen F. SiegelPublished in: PVM/MPI (2009)
Keyphrases
- formal verification
- scientific computing
- model checking
- high performance computing
- file system
- workflow management
- massively parallel
- data processing
- computer systems
- distributed memory
- parallel computing
- computing systems
- statistical analysis and data mining
- database systems
- knowledge based systems
- data management
- response time
- multi agent systems