21 - 30 из 63Размер страницы: 10
Сортировать по:: Год публикации
  1. 2020

  2. Evaluation of thread-local garbage collection

    Filatov, A. & Mikheev, V., сент. 2020, Proceedings - 2020 Ivannikov Memorial Workshop, IVMEM 2020. Prokhorov, S. (ред.). Institute of Electrical and Electronics Engineers Inc., стр. 15-21 7 стр. 9356994. (Proceedings - 2020 Ivannikov Memorial Workshop, IVMEM 2020).

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

  3. The complexity of AND—decomposition of Boolean functions

    Emelyanov, P. & Ponomaryov, D., 15 июн. 2020, в: Discrete Applied Mathematics. 280, стр. 113-132 20 стр.

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

  4. Automatic text summarization based on syntactic links

    Yerimbetova, A. S., Batura, T. V., Murzin, F. A. & Sagnayeva, S. K., 1 янв. 2020, в: CEUR Workshop Proceedings. 2570

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

  5. Matching of authors and publications in multilingual bibliographic knowledge bases

    Apanovich, Z., 1 янв. 2020, в: CEUR Workshop Proceedings. 2543, стр. 26-37 12 стр.

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

  6. Method of paradigmatic analysis of programming languages and systems

    Gorodnyaya, L., 1 янв. 2020, в: CEUR Workshop Proceedings. 2543, стр. 149-158 10 стр.

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

  7. On termination of transactions over semantic document models

    Mantsivoda, A. V. & Ponomaryov, D. K., 1 янв. 2020, в: Bulletin of Irkutsk State University, Series Mathematics. 31, стр. 111-131 21 стр.

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

  8. The expressiveness of looping terms in the semantic programming

    Goncharov, S., Ospichev, S., Ponomaryov, D. & Sviridenko, D., 2020, в: Сибирские электронные математические известия. 17, стр. 380-394 15 стр., 024.

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

  9. Программные средства поддержки дистанционного обучения функциональному программированию

    Касьянов, В. Н. & Малышев, А. А., 2020, Система облачного параллельного программирования CPPS: визуализация и верификация Cloud Sisal программ. Касьянов, В. Н. (ред.). Новосибирск: ИПЦ НГУ, стр. 1-9 9 стр.

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

  10. 2019

  11. Parallel Factorization of Boolean Polynomials

    Kulkarni, V., Emelyanov, P., Ponomaryov, D., Krishna, M., Raha, S. & Nandy, S. K., 16 дек. 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).

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

  12. Academician Andrei Ershov and Graphs in Programming

    Kasyanov, V., авг. 2019, 2019 15th International Asian School-Seminar Optimization Problems of Complex Systems, OPCS 2019. Institute of Electrical and Electronics Engineers Inc., стр. 73-77 5 стр. 8880185. (2019 15th International Asian School-Seminar Optimization Problems of Complex Systems, OPCS 2019).

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

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

ID: 3089109