1795 search results - page 252 / 359 » On the Complexity of Circuit Satisfiability |
154
click to vote
SARA
2007
Springer
16 years 16 days ago
2007
Springer
Most algorithms for computing diagnoses within a modelbased diagnosis framework are deterministic. Such algorithms guarantee soundness and completeness, but are NPhard. To overcom...
168
click to vote
ETS
2006
IEEE
16 years 14 days ago
2006
IEEE
BIST is an attractive approach to detect delay faults due to its inherent support for at-speed test. Deterministic logic BIST (DLBIST) is a technique which was successfully applie...
181
click to vote
ICCAD
2006
IEEE
16 years 14 days ago
2006
IEEE
Decap (decoupling capacitor) is an effective technique for suppressing power supply noise. Nevertheless, over-usage of decap usually causes excessive power dissipation. Therefore...
154
click to vote
IPPS
2006
IEEE
16 years 13 days ago
2006
IEEE
The development of Field Programmable Gate Arrays (FPGAs) had tremendous improvements in the last few years. They were extended from simple logic circuits to complex Systems-on-Ch...
164
click to vote
ISMAR
2006
IEEE
16 years 13 days ago
2006
IEEE
This paper describes the design of hand-worn gloves for interacting with mobile outdoor augmented reality systems. Most existing systems rely on more traditional 2D input devices ...