View of Verificação de Kernels em Programas CUDA usando Bounded Model Checking

Return to Article Details Verificação de Kernels em Programas CUDA usando Bounded Model Checking Download Download PDF