20197 search results - page 3465 / 4040 » Comparing Computational Power |
173
click to vote
PET
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. As decentralized computing scenarios get ever more popular, unstructured topologies are natural candidates to consider running mix networks upon. We consider mix network ...
168
click to vote
PKC
2007
Springer
16 years 16 days ago
2007
Springer
We provide a positive result about the Fiat-Shamir (FS) transform in the standard model, showing how to use it to convert threemove identification protocols into two-tier signatur...
173
click to vote
PVM
2007
Springer
16 years 16 days ago
2007
Springer
The MPI remote-memory access (RMA) operations provide a different programming model from the regular MPI-1 point-to-point operations. This model is particularly appropriate for ca...
161
click to vote
PVM
2007
Springer
16 years 16 days ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
172
click to vote
SCALESPACE
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Partial Differential equations (PDE), wavelets-based methods and neighborhood filters were proposed as locally adaptive machines for noise removal. Recently, Buades, Col...