1795 search results - page 150 / 359 » On the Complexity of Circuit Satisfiability |
IANDC
2008
13 years 9 months ago
2008
In the area of Description Logic (DL), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problem...
Book
"This book is mainly about the development of our ideas on how the brain
handles visual information; it covers roughly the period between 1950 and
1980. Intuition tells us t...
ICCD
2001
IEEE
14 years 5 months ago
2001
IEEE
Clock distribution has traditionally been a circuit design problem with negligible micro-architectural impact. However, for clock distribution networks using multiple phase-locked...
DATE
2008
IEEE
14 years 3 months ago
2008
IEEE
As levels of parallelism are becoming increasingly complex in multiprocessor architectures, GALS, and asynchronous circuits, methodologies and software tools are needed to verify ...
ISCAS
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— This paper describes the first VLSI implementation of lattice reduction (LR) aided multi-antenna broadcast precoding with vector perturbation. The considered LR scheme...