Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels (Q5326291)

From MaRDI portal
scientific article; zbMATH DE number 6194799
Language Label Description Also known as
English
Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels
scientific article; zbMATH DE number 6194799

    Statements

    Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    5 August 2013
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers