Parallel programming with Coq: map and reduce skeletons on trees.
Jolan PhilippeFrédéric LoulerguePublished in: SAC (2019)
Keyphrases
- parallel programming
- parallel algorithm
- parallel computing
- parallel processing
- multi core processors
- cloud computing
- shared memory
- massively parallel
- parallel computation
- programming environment
- tree structure
- processing units
- programming paradigms
- parallel architectures
- computing systems
- graphics processing units
- high performance computing
- formal methods
- scheduling problem
- database systems
- artificial intelligence
- database