3212 search results - page 325 / 643 » Faster Concept Analysis |
142
click to vote
ISCA
1997
IEEE
15 years 11 months ago
1997
IEEE
The performance tradeoff between hardware complexity and clock speed is studied. First, a generic superscalar pipeline is defined. Then the specific areas of register renaming, ...
168
click to vote
CIKM
1997
Springer
15 years 11 months ago
1997
Springer
Although the issue of approximate text retrieval is gaining importance in the last years, it is currently addressed by only a few indexing schemes. To reduce space requirements, t...
201
click to vote
ICRE
1996
IEEE
15 years 11 months ago
1996
IEEE
Conceptual design involves requirements analysis, functional specification, and architectural design. It remains informal and poorly understood. We studied the conceptual design a...
183
click to vote
CAV
2009
Springer
15 years 10 months ago
2009
Springer
We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisf...
170
click to vote
CODES
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we propose an effective automatic generation approach for a Cycle-Count Accurate Memory Model (CCAMM) from the Clocked Finite State Machine (CFSM) of the Cycle Accu...