256 search results - page 44 / 52 » Games are up for DVFS |
113
click to vote
CORR
2011
Springer
14 years 1 months ago
2011
Springer
Computation plays a major role in decision making. Even if an agent is willing to ascribe a probability to all states and a utility to all outcomes, and maximize expected utility,...
HICSS
2011
IEEE
14 years 1 months ago
2011
IEEE
The role of managers in a Scrum organization is a topic of high interest with almost no research. Changes in management roles and behaviors were evaluated in a rapidly growing, so...
CAV
2009
Springer
15 years 10 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
148
click to vote
SIGMOD
2009
ACM
15 years 9 months ago
2009
ACM
Testing and debugging database system applications is often challenging and time consuming. A database tester (or DB tester for short) has to detect a problem, determine why it ha...
123
click to vote
ALT
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We analyze the expected cost of a greedy active learning algorithm. Our analysis extends previous work to a more general setting in which different queries have differe...