7112 search results - page 244 / 1423 » Power in normative systems |
153
click to vote
IJCAI
2003
15 years 8 months ago
2003
Efficient implementations of DPLL with the addition of clause learning are the fastest complete satisfiability solvers and can handle many significant real-world problems, such as...
187
click to vote
IANDC
2008
15 years 6 months ago
2008
Timed Petri nets and timed automata are two standard models for the analysis of real-time systems. In this paper, we prove that they are incomparable for the timed language equival...
145
click to vote
TWC
2008
15 years 6 months ago
2008
Expressions relating spectral efficiency, power, and Doppler spectrum, are derived for Rayleigh-faded wireless channels with Gaussian signal transmission. No side information on th...
169
click to vote
NOMS
2010
IEEE
15 years 5 months ago
2010
IEEE
—We investigate optimal resource allocation and power management in virtualized data centers with time-varying workloads and heterogeneous applications. Prior work in this area u...
181
click to vote
TWC
2008
15 years 6 months ago
2008
We consider allocating the transmit powers for a wireless multi-link (N-link) system, in order to maximize the total system throughput under interference and noise impairments, and...