Sciweavers

287 search results - page 29 / 58
» Exact Cover with light
Sort
View
ESA
2009
Springer
130views Algorithms» more  ESA 2009»
15 years 4 months ago
On the Performance of Approximate Equilibria in Congestion Games
We study the performance of approximate Nash equilibria for congestion games with polynomial latency functions. We consider how much the price of anarchy worsens and how much the ...
George Christodoulou, Elias Koutsoupias, Paul G. S...
VTC
2006
IEEE
118views Communications» more  VTC 2006»
15 years 3 months ago
Demodulation and Performance Analysis of Differential Unitary Space-Time Modulation in Time-Varying Rician Channels
Abstract— Studies on differential unitary space-time modulation are mostly focused on Rayleigh fading channels. In this paper we present new analytic results for the maximum-like...
Haichang Sui, James R. Zeidler
ESOP
2005
Springer
15 years 3 months ago
A Type System Equivalent to a Model Checker
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
Mayur Naik, Jens Palsberg
EUC
2005
Springer
15 years 3 months ago
Optimal Multicast Loop Algorithm for Multimedia Traffic Distribution
Abstract. We have presented an optimal algorithm for minimal cost loop problem (MCLP), which consists of finding a set of minimum cost loops rooted at a source node. In the MCLP, t...
Yong-Jin Lee, Mohammed Atiquzzaman
PADS
1996
ACM
15 years 2 months ago
Queueing Models and Stability of Message Flows in Distributed Simulators of Open Queueing Networks
In this paper we study message flow processes in distributed simulators of open queueing networks. We develop and study queueing models for distributed simulators with maximum loo...
Manish Gupta 0007, Anurag Kumar, Rajeev Shorey