7195 search results - page 364 / 1439 » On Computing Power |
152
click to vote
SAC
2006
ACM
15 years 11 months ago
2006
ACM
We report a comprehensive evaluation of the topological structure of protein-protein interaction (PPI) networks by mining and analyzing graphs constructed from the publicly availa...
154
click to vote
RTA
2004
Springer
15 years 10 months ago
2004
Springer
We describe the system AProVE, an automated prover to verify (innermost) termination of term rewrite systems (TRSs). For this system, we have developed and implemented efficient al...
158
click to vote
CCECE
2006
IEEE
15 years 11 months ago
2006
IEEE
The application of bit-interleaved coded modulation with iterative decoding (BICM-ID) was recently considered to improve both the spectral efficiency and error performance in Cla...
161
Voted
WIOPT
2010
IEEE
15 years 2 months ago
2010
IEEE
By analogy with an approach widely used in physics, we consider a discrete set of base stations (BS) as a continuum of transmitters. This model allows us to establish a simple clos...
118
click to vote
STACS
2009
Springer
15 years 12 months ago
2009
Springer
We study online nonclairvoyant speed scaling to minimize total flow time plus energy. We first consider the traditional model where the power function is P(s) = sα . We give a ...