Showing 1 - 4 results of 4 for search 'M. S. Kropacheva', query time: 0.02s Refine Results
  1. 1
    Formal Verification of Programs in Functional Dataflow Parallel Language

    Formal Verification of Programs in Functional Dataflow Parallel Language by M. S. Kropacheva, A. I. Legalov

    Published 2012-01-01
    Get full text
    Article
  2. 2
    Formal Verification of Programs in Functional Dataflow Parallel Language

    Formal Verification of Programs in Functional Dataflow Parallel Language by M. S. Kropacheva, A. I. Legalov

    Published 2015-03-01
    Get full text
    Article
  3. 3
    Tail Recursion Transformation in Functional Dataflow Parallel Programs

    Tail Recursion Transformation in Functional Dataflow Parallel Programs by A. I. Legalov, O. V. Nepomnyaschy, I. V. Matkovsky, M. S. Kropacheva

    Published 2015-02-01
    Get full text
    Article
  4. 4
    Tail Recursion Transformation in Functional Dataflow Parallel Programs

    Tail Recursion Transformation in Functional Dataflow Parallel Programs by A. I. Legalov, O. V. Nepomnyaschy, I. V. Matkovsky, M. S. Kropacheva

    Published 2012-01-01
    Get full text
    Article

Search Tools: