2414 search results - page 146 / 483 » Server-Level Power Control |
110
click to vote
HPCA
2009
IEEE
16 years 3 months ago
2009
IEEE
Fine-grained dynamic voltage/frequency scaling (DVFS) is an important tool in managing the balance between power and performance in chip-multiprocessors. Although manufacturing pr...
151
Voted
ITNG
2007
IEEE
15 years 8 months ago
2007
IEEE
In wireless sensor networks, the data transmitted from the sensor nodes are vulnerable to corruption by errors induced by noisy channels and other factors. Hence it is necessary t...
162
click to vote
SIMPAR
2010
15 years 26 days ago
2010
From exploring planets to cleaning homes, the reach and versatility of robotics is vast. The integration of actuation, sensing and control makes robotics systems powerful, but comp...
126
Voted
SPIN
2010
Springer
15 years 25 days ago
2010
Springer
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
214
Voted
FROCOS
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...