Поиск утечек памяти в динамических структурах списочного типа путем применения 2SAT-задачи

Поиск утечек памяти в динамических структурах списочного типа путем применения 2SAT-задачи

Библиографическая информация
Опубликовано в: :	Материалы XI-й Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-27 мая 2024 г. С. 154-171
Главный автор:	Сафонов, Данил Дмитриевич
Другие авторы:	Андреева, Валентина Валерьевна
Формат:	Статья в сборнике
Язык:	Russian
Предметы:	поиск утечек памяти SAT-решатели динамические структуры списочного типа статьи в сборниках
Online-ссылка:	https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001151894 Перейти в каталог НБ ТГУ

Похожие документы

Применение 2-SAT задачи для обнаружения утечки ресурсов в списочных структурах
по: Серебренникова, Кристина Андреевна

Поиск утечек ресурсов с помощью графа состояний памяти
по: Сафонов, Данил Дмитриевич

Masking internal node logical faults and trojan circuits injections with using SAT solvers
по: Matrosova, Anzhela Yu

Применение SAT-решателей для построения булевых функций с заданными криптографическими свойствами
по: Доронин, Артемий Евгеньевич

Экспериментальное исследование решателя MiniSat
по: Кидярова, Галина Владимировна

Троичное моделирование комбинационных схем с использованием SAT-решателей и его применение при верификации
по: Голубева, Ольга Ивановна

SAT solvers application of deriving all test pairs detecting robust testable PDFs
по: Matrosova, Anzhela Yu

Синтез вентильных схем, маскирующих неисправности, с использованием SAT-решателей
по: Провкин, Виктор Алексеевич

Обнаружение утечек ресурсов в списочных структурах произвольной вложенности и связности
по: Бизяев, Дмитрий Константинович

Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием SAT-решателей
по: Тычинский, Вячеслав Зиновьевич

Masking circuit faults and Trojan circuit injections using sat solvers

Построение с использованием SAT-решателей схем, маскирующих логические неисправности и вредоносные подсхемы управляющих компонент сложных физических систем

Оптимизация решения алгоритма CDCL, представленного в виде троичного вектора
по: Иванкин, Дмитрий Ильич

Нахождение прообразов неполнораундовой функции сжатия криптографической хеш-функции Skein512-256 при помощи SAT-решателя
по: Заикин, Олег Сергеевич

Обнаружение неисправности частично построенной схемы путем вычисления частичных функций ее нереализованных фрагментов
по: Головин, Артем Витальевич

Минимизация корня логического уравнения КНФ = 1
по: Бирюков, Марк Олегович

Алгебраические атаки на некоторые низкоресурсные шифры на основе функций с малым числом выходных бит

BDD and DNF based algorithms for constructing all testability functions of combinational circuit
по: Golubeva, Olga

DPLL-подобный решатель задачи выполнимости над системой уравнений в АНФ
по: Ткачев, Александр Витальевич

Метод исключения переменной из КНФ Цейтина
по: Тычинский, Вячеслав Зиновьевич

Построение множества всех достижимых реакций комбинационных схем
по: Провкин, Виктор Алексеевич

Алгебраический криптоанализ 9 раундов низкоресурсного блочного шифра Simon32/64
по: Маро, Екатерина Александровна

Параллельная технология решения SAT-задач и ее реализация в виде пакета прикладных программ диссертация на соискание ученой степени кандидата технических наук : 05.13.01 - системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации)
по: Заикин, Олег Сергеевич
Публикация: (2009)

Система датчиков-газоанализаторов на основе mesh-сети для контроля утечек газа в помещениях
по: Киреев, Александр Сергеевич

Параллельная технология решения SAT-задач с применением пакета прикладных программ D-SAT

Обнаружение утечек памяти в списочных структурах путем моделирования кучи
по: Голомазова, Анастасия Евгеньевна

Параметрический генератор света на базе нелинейного кристалла ZnGeP2 для дистанционного обнаружения утечек метана

Cracking the SAT
по: Robinson, Adam
Публикация: (2009)

McGraw-Hill's SAT 5 practice tests
Публикация: (2008)

Cracking the SAT literature : subject test
по: Amend, Allison
Публикация: (2009)

Cracking the SAT physics : subject test
по: Leduc, Steven A.
Публикация: (2009)

Cracking the SAT chemistry : subject test
по: Silver, Theodore
Публикация: (2009)

12 practise tests for the SAT
Публикация: (2011)

Cracking the SAT math 1 & 2 : subject test
по: Spaihts, Jonathan
Публикация: (2008)

Cracking the SAT biology E/M : subject test
по: Wright, Judene
Публикация: (2009)

Порождение дополнительных ограничений в задачах алгебраического криптоанализа при помощи SAT-оракулов
по: Семенов, Александр Анатольевич

Совершенный алгоритм алгоритмы для NP-трудных затрат
по: Рафгарден, Тим
Публикация: (2021)

Гибридный (SAT+ROBDD) логический вывод в задачах обращения дискретных функций
по: Семенов, Александр Анатольевич

Психометрическая адаптация методики SAT-M на российской выборке старшеклассников с разной успешностью обучения математике

Оценка структуры мезомасштабных конвективных систем над югом Западной Сибири по данным спутника CloudSat