Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Peter Collingbourne
Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Automatic Portal Lock Security Using Two-Step Verification via Bluetooth and GSM
IJARCCE
Formal Semantics and Verification for Feature Modeling
Verifying GPU Kernels by Test Amplification
Inferno: Streamlining Verification With Inferred Semantics
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Electrical
Software
Computer Graphics
Computer-Aided Design
Electronic Engineering
Single Global Lock Semantics in a Weakly Atomic STM
ACM SIGPLAN Notices
Computer Science
Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Semantics of a Verification-Oriented Subset of VHDL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automata Semantics and Analysis of BPEL
Coinductive Big-Step Operational Semantics for Type Soundness of Java-Like Languages
