Sciweavers

1778 search results - page 184 / 356
» On the Power of the Randomized Iterate
Sort
View
FPGA
2008
ACM
163views FPGA» more  FPGA 2008»
15 years 8 months ago
TORCH: a design tool for routing channel segmentation in FPGAs
A design tool for routing channel segmentation in islandstyle FPGAs is presented. Given the FPGA architecture parameters and a set of benchmark designs, the tool optimizes routing...
Mingjie Lin, Abbas El Gamal
DAGSTUHL
2007
15 years 7 months ago
A Deeper Investigation of PageRank as a Function of the Damping Factor
PageRank is defined as the stationary state of a Markov chain. The chain is obtained by perturbing the transition matrix induced by a web graph with a damping factor α that spre...
Paolo Boldi, Massimo Santini, Sebastiano Vigna
CORR
2010
Springer
111views Education» more  CORR 2010»
15 years 6 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...
JSAC
2008
164views more  JSAC 2008»
15 years 6 months ago
Coordinated beamforming with limited feedback in the MIMO broadcast channel
In this paper, we propose a new joint optimization of linear transmit beamforming and receive combining vectors for the multiple-input multiple-output (MIMO) broadcast channel. We ...
Chan-Byoung Chae, David Mazzarese, Nihar Jindal, R...
TWC
2010
15 years 1 months ago
Optimized Training Sequences for Spatially Correlated MIMO-OFDM
In this paper, the training sequence design for multiple-input multiple-output (MIMO) orthogonal frequencydivision multiplexing (OFDM) systems under the minimum mean square error (...
Hoang Duong Tuan, Ha Hoang Kha, Ha H. Nguyen, Viet...