1362 search results - page 160 / 273 » Model Checking Large Network Protocol Implementations |
132
click to vote
VALUETOOLS
2006
ACM
15 years 9 months ago
2006
ACM
In the context of communication networks, the framework of stochastic event graphs allows a modeling of control mechanisms induced by the communication protocol and an analysis of ...
153
Voted
WD
2010
15 years 1 months ago
2010
In this paper we propose a distributed approach to construct vicinity resource maps at each node in a delaytolerant network. The scheme uses recent encounters to estimate the avail...
145
click to vote
PCI
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. It has been recently demonstrated that the classical EM algorithm for learning Gaussian mixture models can be successfully implemented in a decentralized manner by resort...
125
Voted
INFOCOM
2006
IEEE
15 years 9 months ago
2006
IEEE
— Emerging network applications tend to be built over heterogeneous network resources spanning multiple management domains. Many such applications have dynamic demands for dedica...
134
click to vote
ISCA
1998
IEEE
15 years 6 months ago
1998
IEEE
Future parallel computers must efficiently execute not only hand-coded applications but also programs written in high-level, parallel programming languages. Today's machines ...