1471 search results - page 10 / 295 » Composing concurrency control |
110
click to vote
EPEW
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Restricting the power of the schedulers that resolve the nondeterminism in probabilistic concurrent systems has recently drawn the attention of the research community. Th...
FOCS
2010
IEEE
14 years 7 months ago
2010
IEEE
We construct the first general secure computation protocols that require no trusted infrastructure other than authenticated communication, and that satisfy a meaningful notion of s...
104
click to vote
FMICS
2009
Springer
15 years 4 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— A new control algorithm for log2(N, 0, p) switching networks composed of 2 × 2 switching elements has been proposed recently. Under this algorithm, log2(N, 0, p) switc...
POS
1994
Springer
15 years 1 months ago
1994
Springer
The differing requirements for concurrency models in programming languages and databases are widely diverse and often seemingly incompatible. The rigid provision of a particular c...