The top documents tagged [data races ill effects]

1 GKLEE: Concolic Verification and Test Generation for GPUs Guodong Li 1,2, Peng Li 1, Geof Sawaya 1, Ganesh Gopalakrishnan 1, Indradeep Ghosh 2, Sreeranga.

1 GKLEE: Concolic Verification and Test Generation for GPUs Guodong Li 1,2, Peng Li 1, Geof Sawaya 1, Ganesh Gopalakrishnan 1, Indradeep Ghosh 2, Sreeranga.

214 views
GKLEE: Concolic Verification and Test Generation for GPUs

GKLEE: Concolic Verification and Test Generation for GPUs

39 views
Languages
Pages
Legal

Copyright © 2022 FDOCUMENTS