Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Term rewriting on GPUs - MaRDI portal

Term rewriting on GPUs (Q2145278)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Term rewriting on GPUs
scientific article

    Statements

    title
    Term rewriting on GPUs (English)
    0 references
    author
    Johri van Eerd
    0 references
    Jan Friso Groote
    0 references
    Pieter Hijma
    0 references
    Jan Martens
    0 references
    Anton Wijs
    0 references
    publication date
    17 June 2022
    0 references
    zbMATH Keywords
    term rewriting
    0 references
    GPU
    0 references
    programming
    0 references
    parallel computing
    0 references
    describes a project that uses
    textX
    0 references
    mCRL2
    0 references
    CUDA
    0 references
    GPU-PRISM
    0 references

    Identifiers

    zbMATH DE Number
    7543877
    0 references
    OpenAlex ID
    W3210166429
    0 references
    arXiv ID
    2009.07174
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2145278&oldid=36818547"
    Powered by MediaWiki