3820 search results - page 480 / 764 » Bounded Model Debugging |
BMCBI
2006
15 years 3 months ago
2006
Background: Tangle analysis has been applied successfully to study proteins which bind two segments of DNA and can knot and link circular DNA. We show how tangle analysis can be e...
138
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
The capacity regions are investigated for two relay broadcast channels (RBCs), where relay links are incorporated into two-user broadcast channels to support user cooperation. In t...
96
Voted
CN
2007
15 years 3 months ago
2007
— Today’s Internet carries an ever broadening range of application traffic with different requirements. This has stressed its original, one-class, best-effort model, and has b...
127
Voted
JPDC
2007
15 years 3 months ago
2007
Mesh networks are among the most important interconnection network topologies for large multicomputer systems. Mesh networks perform poorly in tolerating faults in the view of wor...
140
Voted
TSP
2008
15 years 3 months ago
2008
The problem of optimal node density maximizing the Neyman-Pearson detection error exponent subject to a constraint on average (per node) energy consumption is analyzed. The spatial...