61 - 80 out of 475Page size: 20
  1. 2021

  2. Efficient Parallel Algorithms for String Comparison

    Mishin, N., Berezun, D. & Tiskin, A., 9 Aug 2021, 50th International Conference on Parallel Processing, ICPP 2021 - Main Conference Proceedings. Association for Computing Machinery, 10 p. 50. (ACM International Conference Proceeding Series).

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

  3. Image compression and enlargement algorithms

    Burova, I. G., Dem’yanovich, Y. K., Terekhov, A. N., Altynova, A. Y., Satanovskiy, A. D. & Babushkin, A. A., 5 Aug 2021, In: International Journal of Circuits, Systems and Signal Processing. 15, p. 836-846 11 p.

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

  4. Simultaneous Perturbation Stochastic Approximation-Based Consensus for Tracking Under Unknown-But-Bounded Disturbances

    Granichin, O., Erofeeva, V., Ivanskiy, Y. & Jiang, Y., Aug 2021, In: IEEE Transactions on Automatic Control. 66, 8, p. 3710-3717 8 p., 9198090.

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

  5. Convergence analysis of weighted SPSA-based consensus algorithm in distributed parameter estimation problem

    Sergeenko, A., Erofeeva, V., Granichin, O., Granichina, O. & Proskurnikov, A., 1 Jul 2021, In: IFAC-PapersOnLine. 54, 7, p. 126-131 6 p.

    Research output: Contribution to journal › Conference article › peer-review

  6. On Application of Simultaneous Perturbation Stochastic Approximation for Dynamic Voltage-Frequency Scaling in Android OS

    Bogdanov, E., Bozhnyuk, A., Sartasov, S. & Granichin, O., 22 Jun 2021, EBCCSP 2021 - Proceedings: 2021 7th International Conference on Event-Based Control, Communication and Signal Processing: 2021 7th International Conference on Event-Based Control, Communication and Signal Processing. Institute of Electrical and Electronics Engineers Inc., 7 p.

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

  7. Beyond the elementary representations of program invariants over algebraic data types

    Kostyukov, Y., Mordvinov, D. & Fedyukovich, G., 18 Jun 2021, PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Freund, S. N. & Yahav, E. (eds.). Association for Computing Machinery, p. 451-465 15 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

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

  8. Emergent Intelligence via Self-Organization in a Group of Robotic Devices

    Amelin, K., Granichin, O., Sergeenko, A. & Volkovich, Z. V., 8 Jun 2021, In: Mathematics. 9, 12, 15 p., 1314.

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

  9. PSIMiner: A tool for mining rich abstract syntax trees from code

    Spirin, E., Bogomolov, E., Kovalenko, V. & Bryksin, T., 1 May 2021, 2021 IEEE/ACM 18TH INTERNATIONAL CONFERENCE ON MINING SOFTWARE REPOSITORIES (MSR 2021). Institute of Electrical and Electronics Engineers Inc., p. 13-17 5 p. 9463105. (IEEE International Working Conference on Mining Software Repositories).

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

  10. S3M: Siamese Stack (Trace) Similarity Measure

    Khvorov, A., Vasiliev, R., Chernishev, G., Rodrigues, I. M., Koznov, D. & Povarov, N., May 2021, 2021 IEEE/ACM 18th International Conference on Mining Software Repositories, MSR 2021: Proceedings . Institute of Electrical and Electronics Engineers Inc., p. 266-270 5 p. 9463141. (IEEE International Working Conference on Mining Software Repositories).

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

  11. TaskTracker-tool: A Toolkit for Tracking of Code Snapshots and Activity Data during Solution of Programming Tasks

    Lyulina, E., Birillo, A., Kovalenko, V. & Bryksin, T., 3 Mar 2021, SIGCSE 2021 - Proceedings of the 52nd ACM Technical Symposium on Computer Science Education. Association for Computing Machinery, p. 495-501 7 p.

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

  12. Multi-threshold token-based code clone detection

    Golubev, Y., Poletansky, V., Povarov, N. & Bryksin, T., Mar 2021, Proceedings - 2021 IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2021. Institute of Electrical and Electronics Engineers Inc., p. 496-500 5 p. 9426013

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

  13. 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

  14. 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

  15. 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

  16. 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

  17. 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

  18. 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

  19. 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

  20. 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

  21. 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

Previous 1 2 3 4 5 6 7 8 ...24 Next

ID: 30196