9176 search results - page 1762 / 1836 » algorithms 2010 |
139
click to vote
WCNC
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract— VCP suffers from a relatively low speed of convergence and exhibits biased fairness in moderate bandwidth high delay networks due to utilizing an insufficient amount o...
129
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
146
click to vote
ESWS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The current state of the art regarding scalable reasoning consists of programs that run on a single machine. When the amount of data is too large, or the logic is too com...
162
click to vote
NOSSDAV
2010
Springer
15 years 8 months ago
2010
Springer
Recent advance in scalable video coding (SVC) makes it possible for users to receive the same video with different qualities. To adopt SVC in P2P streaming, two key design questio...
161
click to vote
SIGMOD
2010
ACM
15 years 8 months ago
2010
ACM
Microsoft StreamInsight (StreamInsight, for brevity) is a platform for developing and deploying streaming applications. StreamInsight adopts a deterministic stream model that leve...