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
Quantifier elimination in automatic loop parallelization - MaRDI portal

Quantifier elimination in automatic loop parallelization (Q2457396)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Quantifier elimination in automatic loop parallelization
scientific article

    Statements

    title
    Quantifier elimination in automatic loop parallelization (English)
    0 references
    author
    Armin Größlinger
    0 references
    M. Griebl
    0 references
    Christian Lengauer
    0 references
    publication date
    23 October 2007
    0 references
    zbMATH Keywords
    Loop parallelization
    0 references
    quantifier elimination
    0 references
    describes a project that uses
    PipLib
    0 references
    REDLOG
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q10
    0 references
    68N20
    0 references
    68W10
    0 references
    03C10
    0 references
    zbMATH DE Number
    5203501
    0 references
    OpenAlex ID
    W2080706210
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2457396&oldid=35013939"
    Powered by MediaWiki