6111 search results - page 728 / 1223 » Time, Hardware, and Uniformity |
176
click to vote
SAT
2004
Springer
16 years 16 days ago
2004
Springer
The finite model generation problem in the first-order logic is a generalization of the propositional satisfiability (SAT) problem. An essential algorithm for solving the proble...
166
click to vote
SAT
2004
Springer
16 years 16 days ago
2004
Springer
Despite the widespread use and study of Boolean satisfiability for a diverse range of problem domains, encoding of problems is usually given to general propositional logic with li...
180
click to vote
EUROMICRO
2003
IEEE
16 years 14 days ago
2003
IEEE
Accurate and timely information is a key motivator in the widespread adoption of CBSE technology in Europe. Although there are overlaps and informal communications between researc...
166
click to vote
ISCAS
2003
IEEE
16 years 14 days ago
2003
IEEE
In this paper, we introduce a tile-graph-based approach to power planning. For a given flooplan solution, the power inputs are modeled into a tile graph, the minimum capacity of e...
155
click to vote
ISCAS
2003
IEEE
16 years 13 days ago
2003
IEEE
ABSTRACT: An active leakage-injection scheme (ALIS) for lowvoltage (LV) high-density (HD) SRAMs is presented. By means of a feedback loop comprising a servo-amplifier and a commond...