Synchronization Validation for Cross-Thread Dependences in Parallel Programs.

Sudakshina Dutta Dipankar Sarkar Arvind Rawat

Published in: Int. J. Parallel Program. (2017)

Keyphrases

high level programming language
runtime environment
parallel implementation
real time
answer sets
parallel computing
parallel programming
concurrent programs
parallel processing
computer programs
multi threaded