1362 search results - page 66 / 273 » Model Checking Large Network Protocol Implementations |
176
click to vote
WAN
1998
Springer
15 years 7 months ago
1998
Springer
We present a model for the parallel performance of algorithms that consist of concurrent, two-dimensional wavefronts implemented in a message passing environment. The model combine...
139
click to vote
COMSUR
2011
14 years 3 months ago
2011
—In large networks, a data source may not reach the intended sink in a single hop, thereby requiring the traffic to be routed via multiple hops. An optimized choice of such rout...
138
click to vote
IVC
2008
15 years 4 months ago
2008
In the US and many other countries, bank checks are preprinted with the account number and the check number in MICR ink and format; as such, these two numeric fields can be easily...
163
click to vote
TSP
2012
13 years 11 months ago
2012
—We consider distributed estimation of the inverse covariance matrix in Gaussian graphical models. These models factorize the multivariate distribution and allow for efficient d...
142
click to vote
NETWORK
2007
15 years 3 months ago
2007
Along with recent advances in mobile networking and portable computing technologies, there is a trend in the telecommunications industry toward the development of efficient ubiqui...