Verified Scalable Parallel Computing with Why3.

Olivia Proust Frédéric Loulergue

Published 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