9716 search results - page 147 / 1944 » The Case for Energy-Proportional Computing |
173
click to vote
WICSA
2004
15 years 7 months ago
2004
COMMUNITY is a formal approach to software architecture. Its main characteristics are: a precise, yet intuitive mathematical semantics based on categorical diagrams; a clear separ...
190
click to vote
WCET
2003
15 years 7 months ago
2003
Worst-Case Execution Time (WCET) analysis means to compute a safe upper bound to the execution time of a piece of code. Parametric WCET analysis yields symbolic upper bounds: expr...
187
click to vote
KI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. There is a growing research interest in the design of competitive and adaptive Game AI for complex computer strategy games. In this paper, we present a novel approach for...
146
click to vote
CCA
2009
Springer
16 years 1 months ago
2009
Springer
It is folklore particularly in numerical and computer sciences that, instead of solving some general problem f : A → B, additional structural information about the input x ∈ A ...
165
click to vote
IPL
2000
15 years 6 months ago
2000
We examine the computational problem of generating all maximal models of a Boolean expression in CNF. We give a resolution-like method that reduces the unnegated variables of an e...