Sciweavers

4885 search results - page 378 / 977
» Architectural Considerations with Distributed Computing
Sort
View
CONCUR
2010
Springer
15 years 7 months ago
Termination in Impure Concurrent Languages
Abstract. An impure language is one that combines functional and imperative constructs. We propose a method for ensuring termination of impure concurrent languages that makes it po...
Romain Demangeon, Daniel Hirschkoff, Davide Sangio...
EUROPAR
2010
Springer
15 years 7 months ago
Meaningful Metrics for Evaluating Eventual Consistency
Abstract. Optimistic replication is a fundamental technique for supporting collaborative work practices in mobile environments. However, eventual consistency, in contrast to immedi...
João Barreto, Paulo Ferreira
SAC
2008
ACM
15 years 6 months ago
Particle methods for maximum likelihood estimation in latent variable models
Standard methods for maximum likelihood parameter estimation in latent variable models rely on the Expectation-Maximization algorithm and its Monte Carlo variants. Our approach is ...
Adam M. Johansen, Arnaud Doucet, Manuel Davy
WIOPT
2010
IEEE
15 years 4 months ago
Extra back-off flow control in wireless mesh networks
Abstract--CSMA is the predominant distributed access protocol for wireless mesh networks. Originally designed for singlehop settings, in multi-hop networks CSMA can exhibit severe ...
Ton Hellings, Johan van Leeuwaarden, Sem C. Borst,...
DCC
2011
IEEE
15 years 1 months ago
Accurate estimates of the data complexity and success probability for various cryptanalyses
Abstract Many attacks on encryption schemes rely on statistical considerations using plaintext/ciphertext pairs to find some information on the key. We provide here simple formula...
Céline Blondeau, Benoît Gérard...