A Hybrid Approach to Verifying Liveness in a Symmetric Multi-Processor.

Albert John Camilleri

Published in: TPHOLs (1997)

Keyphrases

multi processor
hash join
program execution
single processor
shared memory
multi core processors
distributed memory
parallel processors
dynamic programming
parallel algorithm
parallel programming