4117 search results - page 280 / 824 » On the Satisfiability of Complex Constraints |
185
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
- Power gating is an efficient technique for reducing leakage power in electronic devices by disconnecting blocks idle for long periods of time from the power supply. Disconnecting...
149
click to vote
EDBT
2009
ACM
16 years 1 months ago
2009
ACM
Networks of sensors are used in many different fields, from industrial applications to surveillance applications. A common feature of these applications is the necessity of a mo...
182
click to vote
ESTIMEDIA
2009
Springer
16 years 1 months ago
2009
Springer
—Multimedia applications are often characterised by implicit temporal constraints but, in many cases, they are not programmed using any specialised real-time API. These “Legacy...
167
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper focuses on the assignment of discrete points to two robots, in the presence of geometric and kinematic constraints between the robots. The individual points have dif...
147
Voted
CP
2007
Springer
16 years 28 days ago
2007
Springer
Salinity is the relative concentration of salts in water. In a city of southern China, the local water supply company pumps water from a nearby river for potable use. During the wi...