Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alan Leung
Verifying GPU Kernels by Test Amplification
Related publications
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
