МЕТОД ОБНАРУЖЕНИЯ НЕДЕКЛАРИРОВАННЫХ ВОЗМОЖНОСТЕЙ И ЗНАЧЕНИЙ DON’T CARE ВЫЧИСЛИТЕЛЬНОГО ПРОЦЕССА
Аннотация:
Рассматриваются вопросы верификации вычислительных процессов по графо- аналитическим моделям, управляемых частично-определенными булевыми функциями. Исследуются задачи поиска по булеву графу управления и кубиче- ским покрытиям недекларированных возможностей и мертвого кода как след- ствия значения don’t care. Приведены примеры построения покрытий для буле- ва графа и верификации значений don’t care в виде покрытия конъюнкции от- ношений-неравенств, тождественно равных нулю.
Ключевые слова:
Постоянный URL
Статьи в номере
- ПРОБЛЕМА ОПРЕДЕЛЕНИЯ КОЛИЧЕСТВА КЛАСТЕРОВ ПРИ ИСПОЛЬЗОВАНИИ МЕТОДОВ РАЗБИЕНИЯ
- ФОРМИРОВАНИЕ ОБЩЕГО ИНФОРМАЦИОННОГО РЕСУРСА В КОРПОРАТИВНОЙ СЕТИ СОЦИАЛЬНОЙ ОРГАНИЗАЦИОННО-ТЕХНИЧЕСКОЙ СИСТЕМЕ
- МЕДИЦИНСКАЯ ИНФОРМАЦИОННО-ИЗМЕРИТЕЛЬНАЯ СИСТЕМА ФУНКЦИОНАЛЬНОЙ ДИАГНОСТИКИ
- ОПРЕДЕЛЕНИЕ ДОПУСКОВ НА ЭЛЕМЕНТЫ САУ ПРИ ТЕХНИЧЕСКОЙ РЕАЛИЗАЦИИ ЗАКОНОВ УПРАВЛЕНИЯ
- ОПТИМИЗАЦИЯ ДИНАМИКИ ЛЕТАТЕЛЬНОГО АППАРАТА ПО РАЗЛИЧНЫМ КРИТЕРИЯМ
- МЕТОДЫ ПОИСКА ИНФОРМАЦИИ С ИСПОЛЬЗОВАНИЕМ ИНТЕЛЛЕКТУАЛЬНОГО АГЕНТА
- ПОМЕХОЗАЩИЩЕННЫЕ АЛГОРИТМЫ ПАРАМЕТРИЧЕСКОЙ ИДЕНТИФИКАЦИИ ЭЛЕКТРОМЕХАНИЧЕСКИХ СИСТЕМ
- СПОСОБ ИЗМЕРЕНИЯ ПОСТОЯННОЙ ВРЕМЕНИ ЭЛЕКТРОПРИВОДА
- КОЛЬЦЕВЫЕ ГЕНЕРАТОРЫ ИМПУЛЬСОВ НА ПЛИС
- ПАРАМЕТРЫ СФЕРОКОНЦЕНТРИЧЕСКОГО РАСПРЕДЕЛЕНИЯ ПОКАЗАТЕЛЯ ПРЕЛОМЛЕНИЯ В СФЕРИЧЕСКОЙ И ПРЯМОУГОЛЬНОЙ СИСТЕМАХ КООРДИНАТ
- ПРИМЕНЕНИЕ КОМПЛЕКСНЫХ КРИТЕРИЕВ ЭФФЕКТИВНОСТИ ПРИ РАЗРАБОТКЕ И ЭКСПЛУАТАЦИИ ЛАЗЕРОВ
- ЭЛЕКТРООПТИЧЕСКИЙ МОДУЛЯТОР ДЛЯ ВОЛОКОННО-ОПТИЧЕСКИХ ЛИНИЙ СВЯЗИ