Sciweavers

3018 search results - page 405 / 604
» Replicating for Performance: Case Studies
Sort
View
ICASSP
2009
IEEE
15 years 4 months ago
Minimum BER beamforming in the RF domain for OFDM transmissions and linear receivers
In this paper, we study transmission schemes for a novel OFDMbased MIMO system which performs adaptive signal combining in radio-frequency (RF). Specifically, we consider the prob...
Javier Vía, Victor Elvira, Ignacio Santamar...
ICEIS
2009
IEEE
15 years 4 months ago
Pattern-Based Refactoring of Legacy Software Systems
Rearchitecturing large software systems becomes more and more complex after years of development and a growing size of the code base. Nonetheless, a constant adaptation of software...
Sascha Hunold, Björn Krellner, Thomas Rauber,...
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
15 years 4 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler
CSDA
2011
15 years 1 months ago
Improved interval estimation of long run response from a dynamic linear model: A highest density region approach
This paper proposes a new method of interval estimation for the long run response (or elasticity) parameter from a general linear dynamic model. We employ the biascorrected bootst...
Jae H. Kim, Iain Fraser, Rob J. Hyndman
SBMF
2010
Springer
129views Formal Methods» more  SBMF 2010»
15 years 1 months ago
Directed Model Checking for B: An Evaluation and New Techniques
ProB is a model checker for high-level formalisms such as B, Event-B, CSP and Z. ProB uses a mixed depth-first/breadth-first search strategy, and in previous work we have argued th...
Michael Leuschel, Jens Bendisposto