Normal view
MARC view
Применение 2-SAT задачи для обнаружения утечки ресурсов в списочных структурах К. А. Серебренникова, В. В. Андреева
Material type: ArticleContent type: Текст Media type: электронный Subject(s): подход статистического анализа | программное обеспечение | SAT-решатели | динамические структуры списочного типа | поиск утечек памятиGenre/Form: статьи в сборниках Online resources: Click here to access online In: Материалы VIII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-30 мая 2021 г С. 214-218No physical items for this record
Библиогр.: 5 назв.
There are no comments on this title.
Log in to your account to post a comment.