171 search results - page 2 / 35 » Exploring Very Low-Energy Logic: A Case Study |
CODES
2006
IEEE
15 years 3 months ago
2006
IEEE
Process variability has a detrimental impact on the performance of memories and other system components, which can lead to parametric yield loss at the system level due to timing ...
75
Voted
ICFP
2003
ACM
15 years 9 months ago
2003
ACM
Under the widely believed conjecture P=NP, NP-complete problems cannot be solved exactly using efficient polynomial time algorithms. Furthermore, any instance of a NP-complete pro...
EDBT
2002
ACM
15 years 9 months ago
2002
ACM
One of the major challenges facing scientists dealing with gene expression data is how to integrate, explore and analyze vast quantities of related data, often residing in multiple...
SIGMETRICS
1999
ACM
15 years 1 months ago
1999
ACM
Data analysis in very large databases requires innovative techniques. In an exploration and discovery scenario, the performance of standard SQL techniques can be unacceptable. Thi...
101
click to vote
TPCD
1994
14 years 10 months ago
1994
Theorem proving techniques are particularly well suited for reasoning about arithmetic above the bit level and for relating di erent f abstraction. In this paper we show how a non-...