1612 search results - page 225 / 323 » Analysing Randomized Distributed Algorithms |
119
Voted
LCN
2007
IEEE
15 years 8 months ago
2007
IEEE
—Heterogeneous Wireless Sensor Networks (WSNs) are envisioned to provide different types of services in an open and dynamic environment. This paper presents the design, implement...
107
click to vote
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
tnesses for Abstract Interpretation-based Proofs Fr´ed´eric Besson, Thomas Jensen, and Tiphaine Turpin IRISA/{Inria, CNRS, Universit´e de Rennes 1} Campus de Beaulieu, F-35042 R...
135
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
This paper describes LS/ATN, Living Systems R Adaptive Transportation Networks, an agent-based solution we have developed to solve transportation problems in the charter business ...
128
click to vote
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
—We present a new technique for statistical static timing analysis (SSTA) based on Markov chain Monte Carlo (MCMC), that allows fast and accurate estimation of the right-hand tai...
122
Voted
EUROCRYPT
1999
Springer
15 years 6 months ago
1999
Springer
A recoding rule for exponentiation is a method for reducing the cost of the exponentiation ae by reducing the number of required multiplications. If w(e) is the (hamming) weight of...