60 search results - page 8 / 12 » Is multiparty computation any good in practice |
HPDC
2006
IEEE
14 years 2 months ago
2006
IEEE
ALPS is a per-application user-level proportional-share scheduler that operates with low overhead and without any special kernel support. ALPS is useful to a range of applications...
ERSHOV
1999
Springer
14 years 26 days ago
1999
Springer
Abstract. An abstract framework is developed to describe program transformation by specializing a given program to a restricted set of inputs. Particular cases include partial eval...
EUROPAR
2006
Springer
14 years 7 days ago
2006
Springer
Abstract. In peer-to-peer systems, replication is an important issue as it improves search performance and data availability. It has been shown that optimal replication is attained...
ASM
2010
ASM
13 years 12 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
WIOPT
2011
IEEE
13 years 8 days ago
2011
IEEE
There has been considerable recent work developing a new stochastic network utility maximization framework using Backpressure algorithms, also known as MaxWeight. A key open probl...