2251 search results - page 380 / 451 » Network Coding Based Data Distribution in WiMAX |
133
click to vote
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
112
click to vote
MM
2003
ACM
15 years 8 months ago
2003
ACM
We present the design, implementation, and evaluation of PROMISE, a novel peer-to-peer media streaming system encompassing the key functions of peer lookup, peer-based aggregated ...
171
click to vote
FPGA
2010
ACM
15 years 3 months ago
2010
ACM
We use reconfigurable hardware to construct a high throughput Bayesian computing machine (BCM) capable of evaluating probabilistic networks with arbitrary DAG (directed acyclic gr...
148
click to vote
SIGMETRICS
2008
ACM
15 years 2 months ago
2008
ACM
Fine-grained network measurement requires routers and switches to update large arrays of counters at very high link speed (e.g. 40 Gbps). A naive algorithm needs an infeasible amo...
152
click to vote
BMCBI
2005
15 years 2 months ago
2005
Background: Graph theory provides a computational framework for modeling a variety of datasets including those emerging from genomics, proteomics, and chemical genetics. Networks ...