Amanote Research
Register
Sign In
Verifying GPU Kernels by Test Amplification
doi 10.1145/2254064.2254110
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2012
Authors
Alan Leung
Manish Gupta
Yuvraj Agarwal
Rajesh Gupta
Ranjit Jhala
Sorin Lerner
Publisher
ACM Press
Related search
Verifying Stink Bug and Coreid Bug Injury to Pecan Kernels by Examining Pecan Shells
Hortscience: A Publication of the American Society for Hortcultural Science
Horticulture
Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Hybrid Simulation Test Platform for Verifying the Protection Settings of SPS
Energy and Power Engineering
Electrical Test Structures for Verifying Continuity of Ultra-Thin Insulating and Conducting Films
Verifying Liveness by Multiple Experts in Face Biometrics
Learning and Verifying Quantified Boolean Queries by Example
Construction of Test-Bed With RTDS for Verifying Coordination Algorithm for Loop Distribution System
Journal of International Council on Electrical Engineering
People Re-Identification by Graph Kernels Methods
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verifying Big Data Topologies By-Design: A Semi-Automated Approach
Journal of Big Data
Information Systems
Computer Networks
Hardware
Communications
Management
Architecture
