Search Results - "parallel program"

Suggested Topics within your search.
Refine Results
  1. 21
    Loop-invariant Optimization in the Pifagor Language

    Loop-invariant Optimization in the Pifagor Language by Vladimir S. Vasilev, Alexander I. Legalov

    Published 2018-08-01
    Subjects: “…data driven functional parallel programming…”
    Get full text
    Article

    Save to List
    Saved in:
  2. 22
    Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System

    Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System by Dmitry A. Kondratyev

    Published 2021-12-01
    Subjects:
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: