1362 search results - page 81 / 273 » Model Checking Large Network Protocol Implementations |
152
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
This paper derives a near optimal distributed Kalman filter to estimate a large-scale random field monitored by a network of N sensors. The field is described by a sparsely con...
121
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
Recent studies on directional Media Access Control (MAC) protocols using smart antennas for wireless ad hoc networks have shown that directional MAC protocols outperform traditiona...
146
click to vote
INFOCOM
1998
IEEE
15 years 8 months ago
1998
IEEE
Retransmission based error control for large scale multicast applications is difficult because of implosion and exposure. Existing schemes (SRM, RMTP, TMTP, LBRRM) have good solut...
140
Voted
SC
2004
ACM
15 years 9 months ago
2004
ACM
RPC is one of the programming models envisioned for the Grid. In Internet connected Large Scale Grids such as Desktop Grids, nodes and networks failures are not rare events. This ...
113
Voted
ICN
2007
Springer
15 years 10 months ago
2007
Springer
ct Bandwidth usage monitoring is important for network troubleshooting and planning. Traditionally, used bandwidth is computed from router interface byte counters read by SNMP. Thi...