| Document Date: 2013-01-16 02:13:39
Open Document File Size: 318,80 KBShare Result on Facebook
City Beijing / / Company Barrier Interval Timestamps / NVIDIA / GPU / / Country China / / Currency USD / / / Event Product Issues / Product Recall / / Facility Sorin Lerner University of California / CUDA library / / IndustryTerm dot products / exhaustive path search / partial dot products / partial product / worklist algorithm / given algorithm / dot-product / parallel dot product / sequential algorithm / machinery / dot product / online manner / partial dot-products / parallel algorithm / finance / scientific computing / partial products / / Organization National Science Foundation / University of California / San Diego / / Person Rajesh Gupta Ranjit Jhala / Alan Leung Manish Gupta Yuvraj / / Position work representative / fact representative for all the possible executions / CUDA Driver / scheduler / Program analysis General / programmer / / Product Example / scalarProd / / ProgrammingLanguage C / K / C++ / / Technology sequential algorithm / CUDA algorithms / sorting algorithm / given algorithm / parallel algorithm / shared memory / worklist algorithm / /
SocialTag |
Verifying GPU Kernels by Test Amplification Alan Leung Manish Gupta Yuvraj Agarwal