7840 search results - page 609 / 1568 » On generalized Ramsey numbers |
265
click to vote
SIGMOD
2012
ACM
13 years 10 months ago
2012
ACM
Cloud enabled systems have become a crucial component to efficiently process and analyze massive amounts of data. One of the key data processing and analysis operations is the Sim...
230
click to vote
PLDI
2012
ACM
13 years 10 months ago
2012
ACM
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...
225
click to vote
INFOCOM
2012
IEEE
13 years 10 months ago
2012
IEEE
—In this paper, we tackle the spectrum allocation problem in cognitive radio (CR) networks with time-frequency flexibility consideration using combinatorial auction. Different f...
218
click to vote
CRYPTO
2012
Springer
13 years 10 months ago
2012
Springer
We propose a general multiparty computation protocol secure against an active adversary corrupting up to n−1 of the n players. The protocol may be used to compute securely arithm...
263
click to vote
ISSTA
2012
ACM
13 years 10 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...