1 - 6 out of 6Page size: 10
  1. 2025

  2. The PYSATL Experiment Framework

    Гориховский, В. И., Миронов, А. В. & Голофастов, Л. Д., 2025, 2025 37th Conference of Open Innovations Association (FRUCT). Institute of Electrical and Electronics Engineers Inc., p. 192-202

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

  3. 2023

  4. Framework for Machine Instruction Usage Analysis

    Печенев, Д. Е., Кириленко, Я. А. & Афонина, О. А., 30 Oct 2023, Spring/Summer Young Researchers' Colloquium on Software Engineering 2023. p. 163-170 8 p.

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

  5. Solving Data Quality Problems with Desbordante: a Demo

    Фирсов, М. А., Чернышев, Г. А., Полынцов, М. А., Чижов, А. И., Смирнов, К. К., Ступаков, К. В., Баруткин, И. Д., Щека, Д. В., Щукин, И. В., Рахмукова, А. И., Струтовский, М. А., Шлёнских, А. А., Мананников, С. Д., Бобров, Н. В., Гончаров, Д. Ю., Шальнев, В. А., Муравьев, К. И., Черников, А. А., Выродов, М. В., Курбатов, Я. А. & 6 others, Фофанов, М. А., Белоконный, С. А., Аносов, П. И., Салью, А. К., Гайсин, Э. Р. & Смирнов, А. Л., 27 Jul 2023.

    Research output: Working paper › Preprint

  6. Фреймворк для сбора и анализа данных об использовании машинных инструкций

    Печенев, Д. Е. & Кириленко, Я. А., 27 Apr 2023, Современные технологии в теории и практике программирования: Сборник материалов научно-практической конференции студентов, аспирантов и молодых ученых. Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 217-219

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

  7. Desbordante: from benchmarking suite to high-performance science-intensive data profiler (preprint)

    Фирсов, М. А., Чернышев, Г. А., Полынцов, М. А., Чижов, А. И., Ступаков, К. В., Щукин, И. Е., Смирнов, А. Л., Струтовский, М. А., Шлёнских, А. А., Мананников, С. Д., Бобров, Н. В., Гончаров, Д. Ю., Баруткин, И. Д., Шальнев, В. А., Муравьев, К. И., Рахмукова, А. И., Щека, Д. В., Черников, А. А., Мандельштам, Д. К., Выродов, М. В. & 3 others, Салью, А. К., Гайсин, Э. Р. & Смирнов, К. К., 14 Jan 2023.

    Research output: Working paper › Preprint

  8. 2022

  9. SAT-Based Circuit Local Improvement

    Куликов, А. С., Печенев, Д. Е. & Слезкин, Н. Е., 1 Aug 2022, 47th International Symposium on Mathematical Foundations of Computer Science, MFCS 2022. Szeider, S., Ganian, R. & Silva, A. (eds.). Dagstuhl, Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 15 p. 68. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 241).

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

ID: 84700031