C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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