3059 search results - page 341 / 612 » with Wide Functional Units |
159
click to vote
MICAI
2007
Springer
16 years 24 days ago
2007
Springer
A successful interpretation of data goes through discovering crucial relationships between variables. Such a task can be accomplished by a Bayesian network. The dark side is that, ...
175
click to vote
SAT
2007
Springer
16 years 23 days ago
2007
Springer
In this paper we introduce MINIMAXSAT, a new Max-SAT solver that incorporates the best SAT and Max-SAT techniques. It can handle hard clauses (clauses of mandatory satisfaction as ...
197
click to vote
AUIC
2006
IEEE
16 years 22 days ago
2006
IEEE
Mobile display devices such as phones and PDAs have become very widely available and used. However, most content on these devices is limited to text, static images and motion vide...
153
click to vote
DATE
2006
IEEE
16 years 21 days ago
2006
IEEE
The impact of test conditions on the detectability of open defects is investigated. We performed an inductive fault analysis on representative standard gates. The simulation resul...
160
click to vote
GLVLSI
2006
IEEE
16 years 21 days ago
2006
IEEE
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...