5084 search results - page 406 / 1017 » Proving Possibility Properties |
205
click to vote
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—In the routing and cost sharing of multicast towards a group of potential receivers, cross-monotonicity is a property that states a user’s payment can only be smaller when ser...
245
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper considers a scenario in which a secondary user makes opportunistic use of a channel allocated to some primary network. The primary network operates in a time-slotted ma...
163
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper, a family of low-density parity-check (LDPC) degree distributions, whose decoding threshold on the binary erasure channel (BEC) admits a simple closed form, is pr...
173
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
stractions from Proofs Ranjit Jhala1 Kenneth L. McMillan2 1 UC San Diego 2 Cadence Berkeley Laboratories We present a technique for using infeasible program paths to automatically ...
208
click to vote
CSR
2007
Springer
16 years 1 months ago
2007
Springer
The maximum constraint satisfaction problem (Max CSP) is the following computational problem: an instance is a finite collection of constraints on a set of variables, and the goal...