Shared-Memory Multiprocessing for Interactive Theorem Proving.
Makarius WenzelPublished in: ITP (2013)
Keyphrases
- shared memory
- interactive theorem proving
- parallel execution
- message passing
- parallel algorithm
- parallel computing
- multi processor
- distributed memory
- parallel programming
- address space
- parallel computation
- parallel machines
- parallel architecture
- parallel architectures
- parallel computers
- heterogeneous platforms
- high quality
- processing units
- parallel processing
- shared memory multiprocessor
- shared memory multiprocessors
- markov random field