Implementing an Efficient Path Based Equivalence Checker for Parallel Programs.

Soumyadip Bandyopadhyay Kunal Banerjee

Published in: SEM4HPC@HPDC (2016)

Keyphrases

sorting algorithms
multicore processors
parallel programming
real time
search engine
high level
database systems
query language
operating system
shared memory
parallel implementation
programming environment