4767 search results - page 879 / 954 » Moving between Contexts |
153
click to vote
KBSE
2007
IEEE
16 years 6 days ago
2007
IEEE
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...
164
click to vote
MICRO
2007
IEEE
16 years 6 days ago
2007
IEEE
Process variations will greatly impact the stability, leakage power consumption, and performance of future microprocessors. These variations are especially detrimental to 6T SRAM ...
158
click to vote
P2P
2007
IEEE
16 years 6 days ago
2007
IEEE
Structured overlay networks form a major class of peerto-peer systems, which are touted for their abilities to scale, tolerate failures, and self-manage. Any long-lived Internet-s...
158
click to vote
ADC
2007
Springer
16 years 3 days ago
2007
Springer
Recently, privacy issues have become important in clustering analysis, especially when data is horizontally partitioned over several parties. Associative queries are the core retr...
166
click to vote
ADHOCNOW
2007
Springer
16 years 3 days ago
2007
Springer
We present a distributed topology control protocol that runs on a d-QUDG for d ≥ 1/ √ 2, and computes a sparse, constant-spanner, both in Euclidean distance and in hop distance...