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

  2. Brahma.FSharp: Power of Functional Programming to Create Portable GPGPU-Enabled .NET Applications

    Григорьев, С. В., Кутуев, В. А. & Пономарев, Н. А., 2026, Parallel Computing Technologies (PaCT 2025). Springer Nature, стр. 51-58 8 стр. ( Lecture Notes in Computer Science; том 16185).

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

  3. 2025

  4. Universal High-Performance CFL-Reachability via Matrix Multiplication

    Муравьев, И. В. & Григорьев, С. В., 13 июн 2025, SOAP '25: Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. Association for Computing Machinery, стр. 28-35 8 стр.

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

  5. PySymGym: An Infrastructure to Train AI-Powered Navigation Assistant for Symbolic Execution Engine

    Григорьев, С. В., Чистякова, А. А., Шеметова, Е. Н., Нигматулин, М. В., Парфенов, Д. И. & Ахмедов, Д. Х., 29 апр 2025, 2025 IEEE/ACM 1st International Workshop on Advancing Static Analysis for Researchers and Industry Practitioners in Software Engineering (STATIC). Institute of Electrical and Electronics Engineers Inc., стр. 13-16 4 стр.

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

  6. 2024

  7. Rational Index of Languages Defined by Grammars with Bounded Dimension of Parse Trees

    Шеметова, Е. Н., Охотин, А. С. & Григорьев, С. В., 1 июн 2024, в: Theory of Computing Systems. 68, 3, стр. 487-511 25 стр.

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

  8. 2022

  9. SPbLA: The Library of GPGPU-powered Sparse Boolean Linear Algebra Operations

    Орачев, Е. С., Карпенко, М., Алимов, П. Г. & Григорьев, С. В., 20 авг 2022, в: The Journal of Open Source Software. 7, 76, стр. 1 5 стр., 76.

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

  10. Rational Index of Languages with Bounded Dimension of Parse Trees

    Shemetova, E., Okhotin, A. & Grigorev, S., мая 2022, Developments in Language Theory - 26th International Conference, DLT 2022, Proceedings. Diekert, V. & Volkov, M. (ред.). Springer Nature, стр. 263-273 11 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 13257 LNCS).

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

  11. 2021

  12. SPbLA: The Library of GPGPU-Powered Sparse Boolean Linear Algebra Operations: The Library of GPGPU-Powered Sparse Boolean Linear Algebra Operations

    Orachev, E., Karpenko, M., Khoroshev, A. & Grigorev, S., 1 июн 2021, 2021 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2021 - In conjunction with IEEE IPDPS 2021. Los Alamitos, CA, USA: Institute of Electrical and Electronics Engineers Inc., стр. 272-275 4 стр. 9460674. (2021 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2021 - In conjunction with IEEE IPDPS 2021).

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

  13. One Algorithm to Evaluate Them All: Unified Linear Algebra Based Approach to Evaluate Both Regular and Context-Free Path Queries

    Shemetova, E., Azimov, R., Orachev, E., Epelbaum, I. & Grigorev, S., 26 мар 2021.

    Результаты исследований: Рабочие материалы › Препринт

  14. Multiple-Source Context-Free Path Querying in Terms of Linear Algebra

    Терехов, А. К., Погожельская, В. В., Абзалов, В. И., Зиннатулин, Т. Р. & Григорьев, С. В., 2021, в: OpenProceedings. стр. 487-492 6 стр.

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

  15. 2020

  16. Secondary structure prediction by combination of formal grammars and neural networks

    Grigorev, S., Kutlenkov, D. & Lunina, P., 17 дек 2020, в: BMC Bioinformatics. 21, SUPPL 20, 2 стр.

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

Назад 1 2 3 Далее

ID: 218973