7189 search results - page 89 / 1438 » Connecting Design with Code |
199
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
146
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
—The changes in the communication paradigm envisioned for future networks, with peer-to-peer/symmetric attachments gaining momentum and two IP (Internet Protocol) versions coexis...
165
click to vote
DSN
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper describes the design, implementation, and performance evaluation of ST-TCP (Server fault-Tolerant TCP), which is an extension of TCP to tolerate TCP server failures. Th...
140
click to vote
ICNP
2002
IEEE
15 years 11 months ago
2002
IEEE
The TCP transport layer protocol is designed for connections that traverse a single path between the sender and receiver. However, there are several environments in which multiple...
167
click to vote
SODA
2008
ACM
15 years 7 months ago
2008
ACM
We present a simple randomized algorithmic framework for connected facility location problems. The basic idea is as follows: We run a black-box approximation algorithm for the unc...