2488 search results - page 417 / 498 » An improvement in formal verification |
106
click to vote
SIGMOD
2001
ACM
16 years 1 months ago
2001
ACM
Over the last decades, improvements in CPU speed have outpaced improvements in main memory and disk access rates by orders of magnitude, enabling the use of data compression techn...
110
click to vote
IPSN
2009
Springer
15 years 8 months ago
2009
Springer
We consider the problem of monitoring spatial phenomena, such as road speeds on a highway, using wireless sensors with limited battery life. A central question is to decide where ...
115
click to vote
INFOCOM
2008
IEEE
15 years 7 months ago
2008
IEEE
—In this paper, towards improving spatial reuse in a cellular network, we consider augmenting it with wireless ad hoc connectivity. The coverage area of each base-station is redu...
119
click to vote
CASES
2004
ACM
15 years 6 months ago
2004
ACM
A coarse-grain multithreaded processor can effectively hide long memory latencies by quickly switching to an alternate task when the active task issues a memory request, improving...
133
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
We introduce a problem that is a common generalization of the uncapacitated facility location (UFL) and minimum latency (ML) problems, where facilities not only need to be opened ...