https://vital.lib.tsu.ru/vital/access/manager/Index en-us 5 Булева разность и обнаружение неисправностей задержек пути https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001139693 Wed 29 May 2024 09:36:03 KRAT ]]> Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000927131 Wed 25 Jan 2023 09:40:14 KRAT ]]> Сведение задачи поиска тестовых пар для робастно тестируемых неисправностей задержек пути к задаче выполнимости булевых формул https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000927129 Wed 25 Jan 2023 09:33:17 KRAT ]]> Построение кратчайшей установочной последовательности последовательностной схемы с использованием ROBDD https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000619236 Wed 24 Jan 2018 11:33:42 KRAT ]]> Обеспечение сокращения аппаратурных затрат в схемах логического управления со свойствами самопроверяемости, самотестируемости и отказоустойчивости : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000371402 Wed 15 Mar 2017 10:31:57 KRAT ]]> Применение 2-SAT задачи для обнаружения утечки ресурсов в списочных структурах https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000721418 Wed 01 Dec 2021 11:58:21 KRAT ]]> Минимизация монотонной системы булевых функций, представленной интервалами с максимальными характеристиками https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000617653 Tue 26 Dec 2017 10:14:44 KRAT ]]> Сокращение длины проверяющего теста на основе дерева декомпозиции https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000472838 Tue 19 Sep 2017 09:36:07 KRAT ]]> Статическое тестирование динамических структур данных https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000647952 Tue 05 Feb 2019 10:45:49 KRAT ]]> Исследование и разработка алгоритмов упрощения КНФ при решении проблемы выполнимости https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000647951 Tue 05 Feb 2019 10:45:48 KRAT ]]> Синтез синхронных последовательностных устройств, устойчивых к кратковременным и перемежающимся неисправностям https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000565126 Tue 01 Jun 2021 15:06:02 KRAT ]]> Программирование на языке C# : учебное пособие : [для бакалавров направлений подготовки "Прикладная математика и информатика", "Математика и компьютерные науки" и др.] https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000660298 Thu 22 Aug 2019 12:50:08 KRAT ]]> Маскирование неисправностей полюсов логических схем с использованием частичных функций https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000702758 Thu 09 Sep 2021 10:47:57 KRAT ]]> Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001000582 Thu 04 May 2023 16:12:13 KRAT ]]> Лабораторные работы по компьютерной графике : учебно-методическое пособие по курсу "Компьютерная графика" для студентов института прикладной математики и компьютерных наук по направлению 01.03.02 - Прикладная математика и информатика https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000659754 Thu 04 Jul 2019 10:25:14 KRAT ]]> Построение минимизированного проверяющего теста, обнаруживающего неисправности безызбыточной ДНФ https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000378822 Mon 29 May 2017 12:36:38 KRAT ]]> Сокращение ранга конъюнкции, представляющей корень логического уравнения https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000519101 Mon 28 Aug 2017 12:53:32 KRAT ]]> Обнаружение робастно тестируемых неисправностей задержек путей https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000650640 Mon 25 Mar 2019 11:07:23 KRAT ]]> Обнаружение ложных путей в последовательностных схемах https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000628328 Mon 21 Oct 2019 12:15:32 KRAT ]]> О свойствах ROBDD-графов, представляющих тестовые пары для робастно тестируемых неисправностей задержек путей https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000707329 Mon 16 Mar 2020 12:31:21 KRAT ]]> Оптимизация решения алгоритма CDCL, представленного в виде троичного вектора https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000926165 Mon 09 Jan 2023 10:46:44 KRAT ]]> Применение бинарного графа для верификации программного кода https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000926166 Mon 09 Jan 2023 10:46:41 KRAT ]]> Поиск утечек ресурсов с помощью графа состояний памяти https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000926169 Mon 09 Jan 2023 10:39:47 KRAT ]]> Сокращение ранга конъюнкции, представляющей корень логического уравнения https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000926172 Mon 09 Jan 2023 10:39:38 KRAT ]]> Построение минимизированного проверяющего теста для системы безызбыточных ДНФ, ориентированное на сокращение расстояния по Хеммингу между соседними тестовыми наборами https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000610946 Mon 05 Jul 2021 12:12:21 KRAT ]]> Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием SAT-решателей https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000610947 Mon 05 Jul 2021 12:12:13 KRAT ]]> Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием КНФ логической схемы https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000792186 Fri 29 Jan 2021 09:41:15 KRAT ]]> Логическое программирование на языке Пролог : учебно-методический комплекс https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000428817 Fri 27 Mar 2020 12:32:18 KRAT ]]> Пространственно-ориентированная оптимизация тестовых последовательностей с применением итеративного подхода по многим переменным https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000502131 Fri 25 Aug 2017 13:13:53 KRAT ]]> Использование ROBDD-графов для тестирования задержек логических схем https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000737145 Fri 16 Oct 2020 15:57:03 KRAT ]]> Пространственно-ориентированная оптимизация тестовых последовательностей с применением итеративного подхода https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000483220 Fri 09 Jun 2017 10:32:11 KRAT ]]>