41 - 50 из 72Размер страницы: 10
Сортировать по:: Год публикации
  1. 2019

  2. Quantitative Evaluation of Thread-Local Garbage Collection Efficiency for Java

    Filatov, A. Y. & Mikheev, V. V., 1 янв. 2019, в: Programming and Computer Software. 45, 1, стр. 1-11 11 стр.

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

  3. Towards semantic document modelling of business processes

    Mantsivoda, A. V. & Ponomaryov, D. K., 1 янв. 2019, в: Bulletin of Irkutsk State University, Series Mathematics. 29, стр. 52-67 16 стр.

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

  4. Two-Step Deductive Verification of Control Software Using Reflex

    Anureev, I., Garanina, N., Liakh, T., Rozov, A., Zyubin, V. & Gorlatch, S., 1 янв. 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (ред.). Springer International Publishing AG, стр. 50-63 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11964 LNCS).

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

  5. Parallel Factorization of Boolean Polynomials

    Kulkarni, V., Emelyanov, P., Ponomaryov, D., Krishna, M., Raha, S. & Nandy, S. K., 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (ред.). Springer International Publishing AG, стр. 80-94 15 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11964 LNCS).

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

  6. 2018

  7. Visualization of graph presentations of data-flow programs

    Kasyanov, V. N. & Zolotuhin, T. A., 1 дек. 2018, стр. 138-141. 4 стр.

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

  8. Creation of tools and algorithms for assessing the relevance of documents

    Yerimbetova, A. S., Sagnayeva, S. K., Murzin, F. A. & Tussupov, J. A., 4 окт. 2018, RPC 2018 - Proceedings of the 3rd Russian-Pacific Conference on Computer Technology and Applications. Institute of Electrical and Electronics Engineers Inc., 8482202. (RPC 2018 - Proceedings of the 3rd Russian-Pacific Conference on Computer Technology and Applications).

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

  9. Agents as a Tool for the Formation of Algorithmic Thinking of Schoolchildren

    Tikhonova, T., 28 июн. 2018, Selected Papers - 2017 4th International Conference "Computer Technology in Russia and in the Former Soviet Union", SoRuCom 2017. Krayneva & Tomilin, A. (ред.). Institute of Electrical and Electronics Engineers Inc., стр. 147-149 3 стр. (Selected Papers - 2017 4th International Conference "Computer Technology in Russia and in the Former Soviet Union", SoRuCom 2017).

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

  10. A system for visualization of big attributed hierarchical graphs

    Kasyanov, V. N. & Zolotuhin, T. A., 1 мар. 2018, в: International Journal of Computer Networks and Communications. 10, 2, стр. 55-67 13 стр.

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

  11. Analysis and visualization algorithm for cross-language author names disambiguation

    Apanovich, Z. & Isachenko, V., 1 янв. 2018, в: CEUR Workshop Proceedings. 2277, стр. 193-199 7 стр.

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

  12. Defind: a protege plugin for computing concept definitions in εL Ontologies

    Ponomaryov, D. & Яковенко, С. Н., 1 янв. 2018, Semantic Technology - 8th Joint International Conference, JIST 2018, Proceedings. Springer, стр. 235-243 9 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11341 LNCS).

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

Назад 1 2 3 4 5 6 7 8 Далее

ID: 3089109