1362 search results - page 127 / 273 » Model Checking Large Network Protocol Implementations |
157
click to vote
SENSYS
2009
ACM
15 years 10 months ago
2009
ACM
The state of the art congestion control algorithms for wireless sensor networks respond to coarse-grained feedback regarding available capacity in the network with an additive inc...
128
Voted
SC
2009
ACM
15 years 10 months ago
2009
ACM
Large graph analysis has become increasingly important and is widely used in many applications such as web mining, social network analysis, biology, and information retrieval. The...
154
Voted
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
Our digital universe is growing, creating exploding amounts of data which need to be searched, protected and filtered. String searching is at the core of the tools we use to curb...
154
click to vote
ICPP
1997
IEEE
15 years 7 months ago
1997
IEEE
In this paper we propose a novel software-only distributed sharedmemory system (SW-DSM), the Affinity Entry Consistency (AEC) protocol. The protocol is based on Entry Consistency ...
119
Voted
ICDCS
2010
IEEE
15 years 7 months ago
2010
IEEE
—Quantifying and querying network reachability is important for security monitoring and auditing as well as many aspects of network management such as troubleshooting, maintenanc...