Search Results - A. I. Legalov

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Automation of Formal Verification of Programs in the Pifagor Language

    Automation of Formal Verification of Programs in the Pifagor Language by M. S. Ushakova, A. I. Legalov

    Published 2015-08-01
    Get full text
    Article

    Save to List
    Saved in:
  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

    Save to List
    Saved in:
  3. 3
    Application of Numerical Optimization Methods to Perform Molecular Docking on Graphics Processing Units

    Application of Numerical Optimization Methods to Perform Molecular Docking on Graphics Processing Units by M. A. Farkov, A. I. Legalov

    Published 2014-10-01
    Get full text
    Article

    Save to List
    Saved in:
  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 2015-02-01
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: