307 search results - page 20 / 62 » Experimental Evaluation of Congestion Avoidance |
103
click to vote
FROCOS
2007
Springer
15 years 7 months ago
2007
Springer
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...
154
click to vote
BERTINORO
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper describes the application of a decentralised coordination algorithm, called Collaborative Reinforcement Learning (CRL), to two different distributed system pr...
178
click to vote
SIGMOD
2007
ACM
16 years 1 months ago
2007
ACM
Partial evaluation has recently proven an effective technique for evaluating Boolean XPath queries over a fragmented tree that is distributed over a number of sites. What left ope...
135
click to vote
JCC
2011
14 years 3 months ago
2011
: Docking is one of the most commonly used techniques in drug design. It is used for both identifying correct poses of a ligand in the binding site of a protein as well as for the ...
124
click to vote
MM
2004
ACM
15 years 6 months ago
2004
ACM
The EXT3NS is a scalable file system designed to handle video streaming workload in large-scale on-demand streaming services. It is based on a special H/W device, called Network-S...