1. 2021
  2. Efficient Parallel Algorithms for String Comparison

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

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  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 авг 2021, в: International Journal of Circuits, Systems and Signal Processing. 15, стр. 836-846 11 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

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

    Granichin, O., Erofeeva, V., Ivanskiy, Y. & Jiang, Y., авг 2021, в: IEEE Transactions on Automatic Control. 66, 8, стр. 3710-3717 8 стр., 9198090.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  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 июл 2021, в: IFAC-PapersOnLine. 54, 7, стр. 126-131 6 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатья в журнале по материалам конференцииРецензирование

  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 июн 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 стр.

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

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

    Kostyukov, Y., Mordvinov, D. & Fedyukovich, G., 18 июн 2021, PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Freund, S. N. & Yahav, E. (ред.). Association for Computing Machinery, стр. 451-465 15 стр. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

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

    Amelin, K., Granichin, O., Sergeenko, A. & Volkovich, Z. V., 8 июн 2021, в: Mathematics. 9, 12, 15 стр., 1314.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

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

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

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  10. S3M: Siamese Stack (Trace) Similarity Measure

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

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  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 мар 2021, SIGCSE 2021 - Proceedings of the 52nd ACM Technical Symposium on Computer Science Education. Association for Computing Machinery, стр. 495-501 7 стр.

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  12. Multi-threshold token-based code clone detection

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

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  13. Efficient fair conjunction for structurally-recursive relations

    Lozov, P. & Boulytchev, D., 17 янв 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. (ред.). Association for Computing Machinery, стр. 58-73 16 стр. (Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  14. Cluster flows and multiagent technology

    Granichin, O., Uzhva, D. & Volkovich, Z., 1 янв 2021, в: Mathematics. 9, 1, стр. 1-14 14 стр., 22.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

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

    Kanashin, D. A., Kulikov, E. K. & Makarov, A. A., 2021, стр. 524-525. 2 стр.

    Результаты исследований: Материалы конференцийматериалы

  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., стр. 3774-3779 6 стр. (Proceedings of the IEEE Conference on Decision and Control; том 2021-December).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

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

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

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  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. (ред.). (CEUR Workshop Proceedings; том 2953).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

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

    Kulikov, E. K. & Makarov, A. A., 2021, в: Differencialnie Uravnenia i Protsesy Upravlenia. 2021, 4, стр. 211-223 13 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  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. (ред.). Springer Nature, стр. 189-203 15 стр. (Communications in Computer and Information Science; том 1481 CCIS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  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. (ред.). Springer Nature, стр. 204-216 13 стр. (Communications in Computer and Information Science; том 1481 CCIS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

ID: 30196