9716 search results - page 203 / 1944 » The Case for Energy-Proportional Computing |
162
click to vote
AMAST
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. A general parametric analysis problem which allows the use of parameter variables in both the realtime automata and the specifications is proposed and solved. The analys...
146
click to vote
TIT
1998
15 years 6 months ago
1998
—The Poisson multiple-access channel (MAC) models many-to-one optical communication through an optical fiber or in free space. For this model we compute the capacity region for ...
149
click to vote
ECCC
2002
15 years 6 months ago
2002
Would physical laws permit the construction of computing machines that are capable of solving some problems much faster than the standard computational model? Recent evidence sugge...
186
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Model-based testing as a black-box testing technique has grown in importance. The models used represent the relevant features of the system under consideration (SUC), and can also...
181
click to vote
CG
2010
Springer
15 years 4 months ago
2010
Springer
Monte-Carlo Tree Search (MCTS) is a successful algorithm used in many state of the art game engines. We propose to improve a MCTS solver when a game has more than two outcomes. It ...