1362 search results - page 176 / 273 » Model Checking Large Network Protocol Implementations |
111
click to vote
CCR
2004
15 years 3 months ago
2004
Abstract-- Human error in configuring routers undermines attempts to provide reliable, predictable end-to-end performance on IP networks. Manual configuration, while expensive and ...
109
click to vote
FCCM
2009
IEEE
15 years 10 months ago
2009
IEEE
—Single-FPGA spatial implementations can provide an order of magnitude speedup over sequential microprocessor implementations for data-parallel, floating-point computation in SP...
140
click to vote
MANSCI
2007
15 years 3 months ago
2007
We develop a structural model of credit risk in a network economy, where any firm can lend to any other firm, so that each firm is subject to counterparty risk either from dire...
153
Voted
DIALM
2007
ACM
15 years 7 months ago
2007
ACM
Reliable broadcast can be a very useful primitive for many distributed applications, especially in the context of sensoractuator networks. Recently, the issue of reliable broadcas...
103
click to vote
INFOCOM
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—Exponential bandwidth scaling has been a fundamental driver of the growth and popularity of the Internet. However, increases in bandwidth have been accompanied by increa...