9989 search results - page 1928 / 1998 » A CLP Approach to Modelling Systems |
151
click to vote
RSA
2000
15 years 3 months ago
2000
We analyze various stochastic processes for generating permutations almost uniformly at random in distributed and parallel systems. All our protocols are simple, elegant and are b...
129
click to vote
GIS
2010
ACM
15 years 2 months ago
2010
ACM
This paper proposes an efficient, decentralized algorithm for determining the topological relationship between two regions monitored by a geosensor network. Many centralized algo...
126
click to vote
SIAMSC
2010
15 years 2 months ago
2010
For the finite volume discretization of a second-order elliptic model problem, we derive a posteriori error estimates which take into account an inexact solution of the associated...
161
click to vote
CASES
2010
ACM
15 years 2 months ago
2010
ACM
The performance of most embedded systems is critically dependent on the memory hierarchy performance. In particular, higher cache hit rate can provide significant performance boos...
155
click to vote
CCS
2010
ACM
15 years 2 months ago
2010
ACM
Remote operating system fingerprinting relies on implementation differences between OSs to identify the specific variant executing on a remote host. Because these differences can ...