Search Results - "оптимизирующие преобразования"

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Cover Image
    Academic Journal

    On the application of equivalence checking algorithms for program minimization

    V. A. Zakharov, V. V. Podymov

    Труды Института системного программирования РАН, Vol 27, Iss 4, Pp 145-174 (2018)

    Get it
  2. 2
    Cover Image
    Academic Journal

    Modeling operational semantics of machine instructions

    V. A. Padaryan, M. A. Soloviev, A. I. Kononov

    Труды Института системного программирования РАН, Vol 19, Iss 0 (2018)

    Get it

Search Tools: