Verified Scalable Parallel Computing with Why3.
Olivia ProustFrédéric LoulerguePublished in: CoRR (2023)
Keyphrases
- parallel computing
- commodity hardware
- massively parallel
- parallel computation
- computing systems
- high performance computing
- map reduce
- computer architecture
- shared memory
- processing units
- parallel execution
- multithreading
- computing platform
- parallel computers
- information systems
- parallel machines
- parallel programming
- parallel architectures