Verified Scalable Parallel Computing with Why3.
Olivia ProustFrédéric LoulerguePublished in: SEFM (2023)
Keyphrases
- parallel computing
- commodity hardware
- massively parallel
- computing systems
- high performance computing
- parallel computation
- computer architecture
- map reduce
- parallel programming
- shared memory
- parallel architectures
- processing units
- multithreading
- parallel execution
- parallel computers
- real time
- parallel machines
- computing platform
- field programmable gate array
- open source
- user interface
- graphics processing units
- databases