Sciweavers

CORR
2008
Springer
115views Education» more  CORR 2008»
13 years 8 months ago
Compound Node-Kayles on Paths
In his celebrated book On Numbers and Games (Academic Press, New-York, 1976), J. H. Conway introduced twelve versions of compound games. We analyze these twelve versions for the N...
Adrien Guignard, Eric Sopena
CORR
2010
Springer
107views Education» more  CORR 2010»
13 years 8 months ago
Fast GPGPU Data Rearrangement Kernels using CUDA
: Many high performance computing algorithms are bandwidth limited, hence the need for optimal data rearrangement kernels as well as their easy integration into the rest of the app...
Michael Bader, Hans-Joachim Bungartz, Dheevatsa Mu...
CORR
2008
Springer
129views Education» more  CORR 2008»
13 years 8 months ago
Multi Site Coordination using a Multi-Agent System
A new approach of coordination of decisions in a multi site system is proposed. It is based this approach on a multi-agent concept and on the principle of distributed network of e...
Thibaud Monteiro, Daniel Roy, Didier Anciaux
CORR
2008
Springer
78views Education» more  CORR 2008»
13 years 8 months ago
Distributed Beamforming with Feedback: Convergence Analysis
The focus of this work is on the analysis of transmit beamforming schemes with a low-rate feedback link in wireless sensor/relay networks, where nodes in the network need to imple...
Che Lin, Venugopal V. Veeravalli, Sean P. Meyn
CORR
2008
Springer
76views Education» more  CORR 2008»
13 years 8 months ago
On Information Rates of the Fading Wyner Cellular Model via the Thouless Formula for the Strip
We apply the theory of random Schr
Nathan Levy, Ofer Zeitouni, Shlomo Shamai
CORR
2010
Springer
52views Education» more  CORR 2010»
13 years 8 months ago
Pattern Kits
Travis Gagie, Kalle Karhu, Juha Kärkkäin...
CORR
2008
Springer
101views Education» more  CORR 2008»
13 years 8 months ago
Strategy Iteration using Non-Deterministic Strategies for Solving Parity Games
Abstract. This article extends the idea of solving parity games by strategy iteration to non-deterministic strategies: In a non-deterministic strategy a player restricts himself to...
Michael Luttenberger
CORR
2010
Springer
111views Education» more  CORR 2010»
13 years 8 months ago
Reducing the Number of Annotations in a Verification-oriented Imperative Language
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
Guido de Caso, Diego Garbervetsky, Daniel Gor&iacu...
CORR
2010
Springer
113views Education» more  CORR 2010»
13 years 8 months ago
Multi-core: Adding a New Dimension to Computing
Invention of Transistors in 1948 started a new era in technology, called Solid State Electronics. Since then, sustaining development and advancement in electronics and fabrication ...
Md. Tanvir Al Amin