9405 search results - page 318 / 1881 » Computing a Model of Set Theory |
122
click to vote
ASIACRYPT
2007
Springer
15 years 11 months ago
2007
Springer
We consider a new model for online secure computation on encrypted inputs in the presence of malicious adversaries. The inputs are independent of the circuit computed in the sense ...
134
click to vote
ICNC
2005
Springer
15 years 10 months ago
2005
Springer
In completeness theories of multiple-valued logic, the characterization of Sheffer functions is an important problem，and the solution can be reduced to determining the minimal co...
157
click to vote
MICRO
2010
IEEE
15 years 2 months ago
2010
IEEE
To extend the exponential performance scaling of future chip multiprocessors, improving energy efficiency has become a first-class priority. Single-chip heterogeneous computing ha...
150
Voted
CORR
2004
Springer
15 years 4 months ago
2004
Springer
A growing body of literature in networked systems research relies on game theory and mechanism design to model and address the potential lack of cooperation between self-intereste...
145
click to vote
SASO
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper describes, and evaluates benefits of, a design methodology to translate certain mathematical models into the design of novel, self-adaptive, peer-to-peer (p2p) distrib...