1362 search results - page 222 / 273 » Model Checking Large Network Protocol Implementations |
111
click to vote
DAC
2005
ACM
16 years 3 months ago
2005
ACM
el Predicate Abstraction and Refinement for Verifying RTL Verilog Himanshu Jain CMU SCS, Pittsburgh, PA 15213 Daniel Kroening ETH Z?urich, Switzerland Natasha Sharygina CMU SCS an...
119
Voted
IPSN
2005
Springer
15 years 8 months ago
2005
Springer
— Many inference problems that arise in sensor networks require the computation of a global conclusion that is consistent with local information known to each node. A large class...
137
click to vote
NOMS
2010
IEEE
15 years 28 days ago
2010
IEEE
Abstract— Today’s networked systems are extensively instrumented for collecting a wealth of monitoring data. In this paper, we propose a framework called System-wide Similarity...
109
Voted
INFOCOM
2006
IEEE
15 years 8 months ago
2006
IEEE
— Energy-efficient broadcast communication is an important problem in wireless ad hoc networks. Previously, minimum-energy broadcast that exploits the broadcast nature of radio ...
145
click to vote
SIGMETRICS
2011
ACM
14 years 5 months ago
2011
ACM
Data Center Networks have recently caused much excitement in the industry and in the research community. They represent the convergence of networking, storage, computing and virtu...