1362 search results - page 220 / 273 » Model Checking Large Network Protocol Implementations |
127
click to vote
IROS
2009
IEEE
15 years 9 months ago
2009
IEEE
— In multi-robot systems, task allocation and coordination are two fundamental problems that share high synergy. Although multi-robot architectures typically separate them into d...
156
click to vote
JUCS
2010
14 years 9 months ago
2010
: We develop and study the concept of dataflow process networks as used for example by Kahn to suit exact computation over data types related to real numbers, such as continuous fu...
120
click to vote
INFFUS
2010
15 years 1 months ago
2010
This paper introduces design principles for modular Bayesian fusion systems which can (i) cope with large quantities of heterogeneous information and (ii) can adapt to changing co...
131
click to vote
ICAC
2006
IEEE
15 years 9 months ago
2006
IEEE
Traditional High Performance Computing systems require extensive management and suffer from security and configuration problems. This paper presents a new clustermanagement syste...
126
click to vote
MOBICOM
2009
ACM
15 years 9 months ago
2009
ACM
The capacity scaling property specifies the changes in network throughput when network size increases and serves as an essential performance evaluation metric for large-scale wir...