The Design and Implementation of a Verification Technique for GPU Kernels.
Adam BettsNathan ChongAlastair F. DonaldsonJeroen KetemaShaz QadeerPaul ThomsonJohn WickersonPublished in: ACM Trans. Program. Lang. Syst. (2015)
Keyphrases
- implementation issues
- parallel distributed
- design methodology
- architectural design
- efficient implementation
- model checking
- computation intensive
- parallel implementation
- graphics processors
- current status
- design considerations
- circuit design
- cluster of workstations
- real time
- modular design
- hardware design
- computer architecture
- face verification
- parallel computing
- design decisions
- design process
- information systems