3172 search results - page 432 / 635 » New developments of the Z-EDM algorithm |
137
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...
196
click to vote
CRYPTO
2012
Springer
13 years 8 months ago
2012
Springer
We give the first proof of security for an identity-based encryption scheme in the quantum random oracle model. This is the first proof of security for any scheme in this model ...
205
Voted
SIGIR
2012
ACM
13 years 8 months ago
2012
ACM
Many techniques for improving search result quality have been proposed. Typically, these techniques increase average effectiveness by devising advanced ranking features and/or by...
161
click to vote
HPDC
2010
IEEE
15 years 7 months ago
2010
IEEE
Clusters are mostly used through Resources Management Systems (RMS) with a static allocation of resources for a bounded amount of time. Those approaches are known to be insufficie...
169
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
Because of the high volume and unpredictable arrival rate, stream processing systems may not always be able to keep up with the input data streams-- resulting in buffer overflow a...