13603 search results - page 204 / 2721 » On the Computational Complexity of Cut-Reduction |
184
click to vote
TROB
2002
2002
DPAC: an object-oriented distributed and parallel computing framework for manufacturing applications
15 years 6 months ago
Parallel and distributed computing infrastructure are increasingly being embraced in the context of manufacturing applications, including real-time scheduling. In this paper, we pr...
226
click to vote
LOGCOM
2010
15 years 1 months ago
2010
We describe a method to axiomatize computations in deterministic Turing machines (TMs). When applied to computations in non-deterministic TMs, this method may produce contradictor...
179
click to vote
IACR
2011
14 years 6 months ago
2011
Traditional approaches to secure computation begin by representing the function f being computed as a circuit. For any function f that depends on each of its inputs, this implies ...
142
click to vote
PVLDB
2008
15 years 6 months ago
2008
The measure of similarity between objects is a very useful tool in many areas of computer science, including information retrieval. SimRank is a simple and intuitive measure of th...
151
click to vote
ESORICS
2006
Springer
15 years 10 months ago
2006
Springer
We study the problem of Secure Multi-party Computation (SMC) in a model where individual processes contain a tamper-proof security module, and introduce the TrustedPals framework, ...