9716 search results - page 331 / 1944 » The Case for Energy-Proportional Computing |
212
click to vote
LATIN
2010
Springer
15 years 5 months ago
2010
Springer
A predicate P : {−1, 1}k → {0, 1} can be associated with a constraint satisfaction problem Max CSP(P). P is called “approximation resistant” if Max CSP(P) cannot be approxi...
145
click to vote
DCC
2007
IEEE
16 years 6 months ago
2007
IEEE
We explore the Full Compressed Delta Encoding problem in compressed texts, defined as the problem of constructing a delta file directly from the two given compressed files, withou...
144
click to vote
DCC
2006
IEEE
16 years 6 months ago
2006
IEEE
Joseph Yucas and Gary Mullen conjectured that there is no self-reciprocal irreducible pentanomial of degree n over F2 if n is divisible by 6. In this note we prove this conjecture ...
194
click to vote
BIRTHDAY
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...
171
click to vote
CW
2002
IEEE
15 years 11 months ago
2002
IEEE
A number of interesting phenomena can be observed when lifelong processes of object-oriented software are analyzed from the viewpoint of software evolution. This paper proposes a ...