21 search results - page 3 / 5 » Minimum Satisfying Assignments for SMT |
ADHOCNOW
2003
Springer
13 years 10 months ago
2003
Springer
We consider topology control problems where the goal is to assign transmission powers to the nodes of an ad hoc network so as to induce graphs satisfying specific properties. The ...
EJWCN
2010
13 years 4 days ago
2010
Abstract--We consider noncooperative energy-efficient resource allocation in the interference channel. Energy-efficiency is achieved when each system pays a price proportional to i...
ICCAD
2008
IEEE
14 years 2 months ago
2008
IEEE
In double patterning lithography (DPL) layout decomposition for 45nm and below process nodes, two features must be assigned opposite colors (corresponding to different exposures)...
ESTIMEDIA
2003
Springer
13 years 10 months ago
2003
Springer
This paper presents a dynamic energy management policy for a wireless video streaming system, consisting of battery-powered client and server. The paper starts from the observatio...
DATE
2004
IEEE
13 years 9 months ago
2004
IEEE
: This paper presents a dynamic energy management policy for a wireless video streaming system, consisting of a battery-powered client and a video server. The video quality in wire...