CORR
2011
Springer
13 years 3 months ago
2011
Springer
CORR
2011
Springer
13 years 3 months ago
2011
Springer
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
CORR
2011
Springer
13 years 3 months ago
2011
Springer
Countless variants of the Lempel-Ziv compression are widely used in many real-life applications. This paper is concerned with a natural modification of the classical pattern match...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
—The problem of optimal power allocation among the relays in a two-hop decode-and-forward cooperative relay network with independent Rayleigh fading channels is considered. It is...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
This article is set in the eld of regulation networks modeled by discrete dynamical systems. It focuses on Boolean automata networks. In such networks, there are many ways to upd...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
CORR
2011
Springer
13 years 3 months ago
2011
Springer
CORR
2011
Springer
13 years 3 months ago
2011
Springer
In this paper, we study the average case complexity of the Unique Games problem. We propose a natural semi-random model, in which a unique game instance is generated in several st...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
