3955 search results - page 183 / 791 » Comparing the Power of Robots |
118
click to vote
ICTAC
2007
Springer
15 years 10 months ago
2007
Springer
LTL cannot express the whole class of ω-regular languages and several extensions have been proposed. Among them, Quantified propositional Linear Temporal Logic (QLTL), proposed b...
108
click to vote
ISCA
2006
IEEE
15 years 10 months ago
2006
IEEE
One of the key challenges for high-density servers (e.g., blades) is the increased costs in addressing the power and heat density associated with compaction. Prior approaches have...
112
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
Extensive research has proposed the use of multiple on-die power supplies (VDD) for reducing power consumption in CMOS circuits. We present a detailed study and design techniques ...
181
click to vote
CODES
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we describe a new methodology based on game theory for minimizing the average power of a circuit during scheduling in behavioral synthesis. The problem of schedulin...
139
click to vote
ICNP
2003
IEEE
15 years 9 months ago
2003
IEEE
Network wide broadcasting is an energy intensive function. In this paper we propose a new method that performs transmission power adaptations based on information available locall...