Поиск

Материалов:
1 005 012

Репозиториев:
30

Авторов:
761 409

Автор

Ключевое слово

Тип статьи

DOI

ORCID

Дополнительно:

Период публикации

Репозиторий

По вашему запросу найдено документов: 80972

Страница 10 из 8098

О свойствах ROBDD-графов, представляющих тестовые пары для робастно тестируемых неисправностей задержек путей

Тычинский, Вячеслав Зиновьевич, Андреева, Валентина Валерьевна

ROBDD-графы

Поиск ложных путей в последовательностных схемах с использованием ROBDD

Чернышов, Семен Владимирович, Матросова, Анжела Юрьевна

ROBDD-графы

ROBDD based path delay fault testable combinational circuit synthesis

Shah, Toral, Singh, Virendra, Matrosova, Anjela Yu.

ROBDD-графы

ROBDDS application for finding the shortest transfer sequence of sequential circuit or only revealing existence of this sequence without deriving the sequence itself

Matrosova, Anjela Yu., Andreeva, V., Melnikov, A. V.

ROBDD-графы

Графовая структура связанных модулей при проектировании модели пользовательского интерфейса обучающей среды

Пупыкина А. А.

графы

Finding false paths for sequential circuits using operations on ROBDDs

Matrosova, Anjela Yu., Ostanin, Sergey A., Chernyshov, Semen V.

ROBDD-графы

О нахождении клики в связном графе

Кудрин, Сергей Викторович

графы связные

Колебательность концентраций и циклы на кинетических графах химических реакций

Александрова, Светлана Яковлевна

графы химических реакций

Построение множества всех достижимых реакций комбинационных схем

Провкин, Виктор Алексеевич

ROBDD-графы

Асимптотика числа помеченных планарных тетрациклических и пентациклических графов

Воблый, Виталий Антониевич

графы

Страница 10 из 8098