An MPI Extension for Verified Numerical Computations in Parallel Environments.
Markus GrimmerWalter KrämerPublished in: CSC (2007)
Keyphrases
- shared memory
- parallel implementation
- parallel programming
- message passing interface
- parallelization strategy
- parallel computing
- distributed memory
- message passing
- parallel processing
- parallel computation
- parallel algorithm
- high performance computing
- general purpose
- massively parallel
- parallel computers
- dynamic environments
- computer architecture
- parallel architectures
- multi core processors
- artificial intelligence
- data sets
- parallel machines
- social networks
- parallel hardware