21324 search results - page 65 / 4265 » Making the case for computing |
FOCS
2003
IEEE
14 years 3 months ago
2003
IEEE
We consider the problem of constructing a general protocol for secure two-party computation in a way that preserves security under concurrent composition. In our treatment, we foc...
CF
2007
ACM
13 years 12 months ago
2007
ACM
In recent years, highly accurate branch predictors have been proposed primarily for high performance processors. Unfortunately such predictors are extremely energy consuming and i...
DILS
2010
Springer
13 years 11 months ago
2010
Springer
Search computing has been proposed to support the integration of the results of search engines with other data and computational resources. In essence, in search computing, search ...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
In recent years, extensive research has been conducted in the area of Service Level Agreement (SLA) for utility computing systems. An SLA is a formal contract used to guarantee th...
ESA
2004
Springer
14 years 3 months ago
2004
Springer
The algorithms of computational geometry are designed for a machine model with exact real arithmetic. Substituting floating-point arithmetic for the assumed real arithmetic may c...