9716 search results - page 118 / 1944 » The Case for Energy-Proportional Computing |
172
click to vote
CCGRID
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper describes the integration of the grid topic within a Computer Architecture engineering course. Students are engaged in a project of design and evaluation of computing s...
168
click to vote
STOC
2001
ACM
16 years 6 months ago
2001
ACM
We show that for every fixed ? there is a quadratic time algorithm that decides whether a given graph has crossing number at most and, if this is the case, computes a drawing of t...
152
click to vote
MOC
2010
15 years 1 months ago
2010
Let G be a ...nite group and be a faithful irreducible character for G. Earlier papers by the ...rst author describe techniques for computing a matrix representation for G which a
160
click to vote
ESOP
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. We describe a new technique for computing procedure summaries for performing an interprocedural analysis on programs. Procedure summaries are computed by performing a bac...
157
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...