61 - 70 out of 458Page size: 10
  1. 2021

  2. Efficient fair conjunction for structurally-recursive relations

    Lozov, P. & Boulytchev, D., 17 Jan 2021, PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021. Lindley, S. & Mogensen, T. (eds.). Association for Computing Machinery, p. 58-73 16 p. (Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  3. Cluster flows and multiagent technology

    Granichin, O., Uzhva, D. & Volkovich, Z., 1 Jan 2021, In: Mathematics. 9, 1, p. 1-14 14 p., 22.

    Research output: Contribution to journal › Article › peer-review

  4. ADAPTATION OF MESHES FOR APPROXIMATION OF FUNCTIONS WITH BOUNDARY LAYER COMPONENT

    Kanashin, D. A., Kulikov, E. K. & Makarov, A. A., 2021, p. 524-525. 2 p.

    Research output: Contribution to conference › Paper

  5. Dynamic Voltage-Frequency Optimization using Simultaneous Perturbation Stochastic Approximation

    Bogdanov, E., Bozhnyuk, A., Bykov, D., Sartasov, S., Sergeenko, A. & Granichin, O., 2021, 60th IEEE Conference on Decision and Control, CDC 2021. Institute of Electrical and Electronics Engineers Inc., p. 3774-3779 6 p. (Proceedings of the IEEE Conference on Decision and Control; vol. 2021-December).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  6. MECHANIZED THEORY OF EVENT STRUCTURES: A CASE OF PARALLEL REGISTER MACHINE

    Гладштейн, В. П., Михайловский, Д. В., Моисеенко, Е. А. & Трунов, А., 2021, In: Труды института системного программирования РАН. 33, 3, p. 143-154

    Research output: Contribution to journal › Article › peer-review

  7. Navitas Framework: A Novel Tool for Android Applications Energy Profiling

    Сартасов, С. Ю., Мясников, В. Н., Шапошников, А. И., Гордиенко, Е. А., Афонина, О. А. & Гамаонов, А. Б., 2021, SEIM 2021 Software Engineering and Information Management: Proceedings of the Sixth Conference on Software Engineering and Information Management. Trifonov, P. & Podkopaev, A. (eds.). (CEUR Workshop Proceedings; vol. 2953).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  8. On modi ed spline collocations method for solving the Fredholm integral equation

    Kulikov, E. K. & Makarov, A. A., 2021, In: Differencialnie Uravnenia i Protsesy Upravlenia. 2021, 4, p. 211-223 13 p.

    Research output: Contribution to journal › Article › peer-review

  9. Static Checking Consistency of Temporal Requirements for Control Software

    Garanina, N. & Koznov, D., 2021, Advances in Model and Data Engineering in the Digitalization Era - MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Proceedings. Bellatreche, L., Chernishev, G., Corral, A., Ouchani, S. & Vain, J. (eds.). Springer Nature, p. 189-203 15 p. (Communications in Computer and Information Science; vol. 1481 CCIS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  10. Visual Language for Device Management in Telecommunication Product Line

    Semenov, E., Kai, S., Gen, C., Luciv, D. & Koznov, D., 2021, Advances in Model and Data Engineering in the Digitalization Era - MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Proceedings. Bellatreche, L., Chernishev, G., Corral, A., Ouchani, S. & Vain, J. (eds.). Springer Nature, p. 204-216 13 p. (Communications in Computer and Information Science; vol. 1481 CCIS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  11. Weighted SPSA-based Consensus Algorithm for Distributed Cooperative Target Tracking

    Erofeeva, V., Granichin, O., Granichina, O., Proskurnikov, A. & Sergeenko, A., 2021, 2021 European Control Conference, ECC 2021. Institute of Electrical and Electronics Engineers Inc., p. 1074-1079 6 p. (2021 European Control Conference, ECC 2021).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

Previous 1...3 4 5 6 7 8 9 10 ...46 Next

ID: 30196