По вашему запросу найдено документов: 980144
Страница 4 из 98015
BDD and DNF based algorithms for constructing all testability functions of combinational circuit (CNF) and obtaining testability functions using a SAT solver are proposed. Methods and algorithms
Компактный транслятор алгоритмов в булевы формулы для применения в криптоанализе шифра или хэш-функции, поиск APN-функций) в КНФ. В дальнейшем SAT-решатель устанавливает истинность
Three-value simulation of combinational and sequential circuits and its applications ROBDDs and SAT solvers. The usage of binary and three-value simulation to reduce computations is also
О скрытых упрощающих структурах в комбинаторных задачах и их вероятностных обобщениях комбинаторных задач из семейств SAT (проблема булевой выполнимости) и 0-1-ILP (0-1-целочисленное линейное
Закон Амдала и границы параллельных вычислений параллельных вычислительных системах задачи булевой выполнимости (SAT).
Построение с использованием SAT-решателей схем, маскирующих логические неисправности и вредоносные подсхемы управляющих компонент сложных физических систем. Построение частичных функций выполняется с использованием SAT-решателей. По полученной системе частичных
Поиск установочной последовательности для последовательностной схемы с использованием SAT-решателей: магистерская диссертация по направлению подготовки: 01.04.02 - Прикладная математика и информатикаПоиск установочной последовательности для последовательностной схемы с использованием SAT
Обнаружение утечки памяти в списочных структурах с применением SAT-подхода: магистерская диссертация по направлению подготовки: 01.04.02 - Прикладная математика и информатикаОбнаружение утечки памяти в списочных структурах с применением SAT-подхода: магистерская
Поиск утечек памяти в динамических структурах списочного типа путем применения 2SAT-задачи: магистерская диссертация по направлению подготовки: 01.04.02 - Прикладная математика и информатикаПоиск утечек памяти в динамических структурах списочного типа путем применения 2SAT
Построение тестов для обнаружения вредоносных схем с применением SAT-решателей: дипломная работа (проект) специалиста по направлению подготовки: 10.05.01 - Компьютерная безопасностьПостроение тестов для обнаружения вредоносных схем с применением SAT-решателей: дипломная работа
Страница 4 из 98015
Фасеты
Новости проекта
Новости
-
2021-09-22, 21:09Cambridge University Press и Университет Вайоминга заключили соглашение об открытом доступе
-
2021-09-20, 21:07Журнал ION NAVIGATION переходит на открытый доступ с 1 января
-
2021-09-17, 11:39Журналы AAS полностью перейдут на модель открытого доступа
-
2021-09-15, 00:38Для перехода на зеленую энергию необходимо больше научной коммуникации
-
2021-09-12, 10:08Австралия отказалась от идеи запретить препринты
Партнеры
Индексация
