2414 search results - page 239 / 483 » Server-Level Power Control |
160
click to vote
FLOPS
2010
Springer
16 years 1 months ago
2010
Springer
A succinct SAT solver is presented that exploits the control provided by delay declarations to implement watched literals and unit propagation. Despite its brevity the solver is su...
171
click to vote
ASYNC
2002
IEEE
15 years 11 months ago
2002
IEEE
In a circuit environment that is becoming increasingly sensitive to dynamic power dissipation and noise, and where cycle time available for control decisions continues to decrease...
145
click to vote
HT
1999
ACM
15 years 11 months ago
1999
ACM
We propose a structure analysis and proof framework for hypertext with conditional linkage. This framework can provide hypertext systems with a powerful and simple tool to help th...
154
click to vote
ACL
2006
15 years 8 months ago
2006
This paper proposes a generic mathematical formalism for the combination of various structures: strings, trees, dags, graphs and products of them. The polarization of the objects ...
153
click to vote
KDD
2006
ACM
16 years 7 months ago
2006
ACM
In many applications, association rules will only be interesting if they represent non-trivial correlations between all constituent items. Numerous techniques have been developed ...