1795 search results - page 252 / 359 » On the Complexity of Circuit Satisfiability |
SARA
2007
Springer
15 years 6 months 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...
109
Voted
ETS
2006
IEEE
15 years 6 months 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...
111
Voted
ICCAD
2006
IEEE
15 years 6 months 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...
102
click to vote
IPPS
2006
IEEE
15 years 6 months 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...
100
Voted
ISMAR
2006
IEEE
15 years 6 months 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 ...