22128 search results - page 4039 / 4426 » Research in Structural Computing |
199
click to vote
MOBICOM
2003
ACM
16 years 25 days ago
2003
ACM
This paper presents the expected transmission count metric (ETX), which finds high-throughput paths on multi-hop wireless networks. ETX minimizes the expected total number of pac...
206
click to vote
PLDI
2003
ACM
16 years 25 days 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...
249
click to vote
SASN
2003
ACM
16 years 25 days ago
2003
ACM
Peer-to-Peer (P2P) applications and services are very common in today’s computing. The popularity of the P2P paradigm prompts the need for specialized security services which ma...
213
click to vote
SIGECOM
2003
ACM
16 years 25 days ago
2003
ACM
We prove the existence of -Nash equilibrium strategies with support logarithmic in the number of pure strategies. We also show that the payoffs to all players in any (exact) Nash...
197
click to vote
SPAA
2003
ACM
16 years 24 days ago
2003
ACM
In this paper we consider the following scenario. A set of n jobs with different threads is being run concurrently. Each job has an associated weight, which gives the proportion ...