2468 search results - page 241 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
154
click to vote
MIDDLEWARE
2004
Springer
15 years 9 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...
126
click to vote
IPSN
2004
Springer
15 years 9 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...
150
click to vote
SIGMETRICS
2010
ACM
15 years 9 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 ...
116
click to vote
IPPS
2003
IEEE
15 years 9 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 ...
104
click to vote
BC
2004
15 years 4 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...