3053 search results - page 385 / 611 » Performance of Generative Programming Based Protocol Impleme... |
136
Voted
ACSD
2007
IEEE
15 years 5 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
133
Voted
GLOBECOM
2007
IEEE
15 years 9 months ago
2007
IEEE
— In recent years, network coding has proved to be an efficient tool to disseminate data through a network. A number of practical schemes have been proposed to implement network...
117
click to vote
ICPADS
2005
IEEE
15 years 9 months ago
2005
IEEE
: In this article, we present a new slow-start variant, which improves the throughput of transmission control protocol (TCP) Vegas. We call this new mechanism Gallop-Vegas because ...
123
click to vote
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
We present a deadlock avoidance algorithm for distributed systems that guarantees liveness. Deadlock avoidance in distributed systems is a hard problem and general solutions are c...
237
Voted
TDSC
2011
14 years 10 months ago
2011
To ensure fair and secure communication in Mobile Ad hoc Networks (MANETs), the applications running in these networks must be regulated by proper communication policies. However,...