5128 search results - page 800 / 1026 » When Abstraction Fails |
144
click to vote
CONCURRENCY
2008
15 years 6 months ago
2008
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...
174
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...
168
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract-- The capacity region of the two-user Gaussian Interference Channel (IC) is studied. Two classes of channels are considered: weak and mixed Gaussian IC. For the weak Gauss...
189
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We consider the problem of computing Nash Equilibria of action-graph games (AGGs). AGGs, introduced by Bhat and Leyton-Brown, is a succinct representation of games that e...
183
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract--We show that the maximization of the sum degreesof-freedom for the static flat-fading multiple-input multipleoutput (MIMO) interference channel is equivalent to a rank co...