2468 search results - page 241 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
190
click to vote
MIDDLEWARE
2004
Springer
15 years 12 months ago
2004
Springer
Application servers provide many functionalities commonly needed in the development of a complex distributed application. So far, the functionalities have mostly been developed an...
166
click to vote
IPSN
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper describes two methodologies for performing distributed particle filtering in a sensor network. It considers the scenario in which a set of sensor nodes make m...
190
click to vote
SIGMETRICS
2010
ACM
15 years 11 months ago
2010
ACM
This paper addresses the problem of determining the node locations in ad-hoc sensor networks when only connectivity information is available. In previous work, we showed that the ...
142
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper describes a system software design for multiple instruction stream control in a massively parallel associative computing environment. The purpose of providing multiple ...
127
click to vote
BC
2004
15 years 6 months ago
2004
Abstract. Synaptic release was simulated using a Simulink sequential storage model with three vesicular pools. Modeling was modular and easily extendable to the systems with greate...