Sciweavers

1211 search results - page 163 / 243
» A Review of Simulation Optimization Techniques
Sort
View
TODAES
2008
115views more  TODAES 2008»
14 years 9 months ago
Automata-based assertion-checker synthesis of PSL properties
Abstract-- Automata-based methods for generating PSL hardware assertion checkers were primarily considered for use with temporal sequences, as opposed to full-scale properties. We ...
Marc Boule, Zeljko Zilic
PROCEDIA
2010
123views more  PROCEDIA 2010»
14 years 8 months ago
An adaptive model switching and discretization algorithm for gas flow on networks
We are interested in the simulation and optimization of gas transport in networks. Those networks consist of pipes and various other components like compressor stations and valves...
Pia Domschke, Oliver Kolb, Jens Lang
ICASSP
2011
IEEE
14 years 1 months ago
Robust adaptive beamforming based on jointly estimating covariance matrix and steering vector
In this paper, a new adaptive beamforming algorithm with joint robustness against covariance matrix uncertainty as well as steering vector mismatch is proposed. First, the theoret...
Yujie Gu, Amir Leshem
ICASSP
2011
IEEE
14 years 1 months ago
Generalized low-rank decompositions with switching and adaptive algorithms for space-time adaptive processing
This work presents generalized low-rank signal decompositions with the aid of switching techniques and adaptive algorithms, which do not require eigen-decompositions, for space-ti...
Rodrigo C. de Lamare
CORR
2011
Springer
178views Education» more  CORR 2011»
14 years 1 months ago
Asymptotic Analysis of Double-Scattering Channels
—We consider a multiple-input multiple-output (MIMO) multiple access channel (MAC), where the channel between each transmitter and the receiver is modeled by the doubly-scatterin...
Jakob Hoydis, Romain Couillet, Mérouane Deb...