1017 search results - page 63 / 204 » On the Power of k -Consistency |
139
click to vote
ISLPED
2006
ACM
16 years 4 days ago
2006
ACM
As transistors continue to scale down into the nanometer regime, device leakage currents are becoming the dominant cause of power dissipation in nanometer caches, making it essent...
145
click to vote
ISQED
2005
IEEE
15 years 11 months ago
2005
IEEE
Limited Switch Dynamic Logic (LSDL), a high performance logic circuit, has been modified by introducing a pseudo-nMOS style load. The resultant circuit consumes less power, primar...
189
click to vote
DAGSTUHL
2001
15 years 7 months ago
2001
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
148
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we study the computation of the Nash bargaining solution for the two players, K frequency bands case, under joint FDM/TDM spectrum allocations and total power constra...
171
click to vote
EACL
2009
ACL Anthology
16 years 6 months ago
2009
ACL Anthology
We present novel parsing algorithms for several sets of mildly non-projective dependency structures. First, we define a parser for well-nested structures of gap degree at most 1, ...