420 search results - page 71 / 84 » Efficient Implementation of the Orlandi Protocol |
107
click to vote
CAV
2006
Springer
15 years 4 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
101
Voted
DCOSS
2006
Springer
15 years 4 months ago
2006
Springer
We propose a generic communication primitive designed for sensor networks. Our primitive hides details of network communication while retaining sufficient programmer control over t...
95
Voted
NSDI
2010
15 years 1 months ago
2010
Today's data centers offer tremendous aggregate bandwidth to clusters of tens of thousands of machines. However, because of limited port densities in even the highest-end swi...
WMI
2001
15 years 1 months ago
2001
Middleware layers placed between user clients and application servers have been used to perform a variety of functions to support the vision of nomadic computing across varying pla...
107
Voted
CONEXT
2009
ACM
15 years 1 months ago
2009
ACM
Community wireless networks (CWNs) have been proposed to spread broadband network access to underprivileged, underprovisioned and remote areas. Research has focused on optimizing ...