Sciweavers

3934 search results - page 342 / 787
» Approximate Schedulability Analysis
Sort
View
PTS
2008
98views Hardware» more  PTS 2008»
15 years 8 months ago
Modular System Verification by Inference, Testing and Reachability Analysis
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...
Roland Groz, Keqin Li 0002, Alexandre Petrenko, Mu...
WCE
2007
15 years 7 months ago
Building Time Series Forecasting Model By Independent Component Analysis Mechanism
—Building a time series forecasting model by independent component analysis mechanism presents in the paper. Different from using the time series directly with the traditional A...
Jin-Cherng Lin, Yung-Hsin Li, Cheng-Hsiung Liu
CSDA
2007
128views more  CSDA 2007»
15 years 6 months ago
Regularized linear and kernel redundancy analysis
Redundancy analysis (RA) is a versatile technique used to predict multivariate criterion variables from multivariate predictor variables. The reduced-rank feature of RA captures r...
Yoshio Takane, Heungsun Hwang
CMA
2010
196views more  CMA 2010»
15 years 4 months ago
Numerical analysis of Leray-Tikhonov deconvolution models of fluid motion
This report develops and studies a new family of NSE-regularizations, Tikhonov Leray Regularization with Time Relaxation Models. This new family of turbulence models is based on a...
Iuliana Stanculescu, Carolina C. Manica
MOC
2010
15 years 1 months ago
A projection-based error analysis of HDG methods
Abstract. We introduce a new technique for the error analysis of hybridizable discontinuous Galerkin (HDG) methods. The technique relies on the use of a new projection whose design...
Bernardo Cockburn, Jayadeep Gopalakrishnan, Franci...