3082 search results - page 404 / 617 » its 2004 |
154
click to vote
FMCAD
2004
Springer
16 years 7 days ago
2004
Springer
This paper describes a new method that is useful in combinational equivalence checking with very challenging industrial designs. The method does not build a miter; instead it build...
215
click to vote
FOIKS
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We give a general framework for approximate query processing in semistructured databases. We focus on regular path queries, which are the integral part of most of the que...
171
Voted
FOSSACS
2004
Springer
16 years 7 days ago
2004
Springer
More than a decade ago, Moller and Tofts published their seminal work on relating processes that are annotated with lower time bounds, with respect to speed. Their paper has left o...
151
click to vote
FPGA
2004
ACM
16 years 7 days ago
2004
ACM
Traditional metrics used to compare hardware designs include area, performance, and power. However, these metrics do not form a complete evaluation of reconfigurable hardware. For...
160
click to vote
FPGA
2004
ACM
16 years 6 days ago
2004
ACM
We present the design of a high-performance, highly pipelined asynchronous FPGA. We describe a very fine-grain pipelined logic block and routing interconnect architecture, and sh...