Static detection of uncoalesced accesses in GPU programs.

Rajeev Alur Joseph Devietti Omar S. Navarro Leija Nimit Singhania

Published in: Formal Methods Syst. Des. (2022)

Keyphrases

detection algorithm
detection method
real time
object detection
event detection
automatic detection
detection accuracy
detection scheme
false positives
detection rate
image segmentation
data access
answer sets
parallel implementation
computer programs
gpu accelerated