272 search results - page 14 / 55 » On Efficient Models for Model Checking Message-Passing Distr... |
ATAL
2006
Springer
14 years 10 days ago
2006
Springer
This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. ...
CCGRID
2010
IEEE
13 years 9 months ago
2010
IEEE
Although shared memory programming models show good programmability compared to message passing programming models, their implementation by page-based software distributed shared m...
PVM
2005
Springer
14 years 2 months ago
2005
Springer
Parallel execution of simulation runs has become indispensable in different research areas recently. One of the most promising and powerful models in science are cellular automata ...
INFORMATICALT
2006
13 years 8 months ago
2006
The paper describes the development and performance of parallel algorithms for the discrete element method (DEM) software. Spatial domain decomposition strategy and message passing...
DCOSS
2006
Springer
14 years 8 days ago
2006
Springer
We consider in-network processing via local message passing. The considered setting involves a set of sensors each of which can communicate with a subset of other sensors. There is...