Sciweavers

94 search results - page 11 / 19
» Variable Additive Preconditioning Procedures
Sort
View
APLAS
2006
ACM
14 years 2 months ago
Scheme with Classes, Mixins, and Traits
Abstract. The Scheme language report advocates language design as the composition of a small set of orthogonal constructs, instead of a large accumulation of features. In this pape...
Matthew Flatt, Robert Bruce Findler, Matthias Fell...
CCE
2005
13 years 8 months ago
Phenotype phase plane analysis using interior point methods
Phenotype phase plane analysis is a linear optimization procedure which can be used to study the value of the objective function (a desired phenotype) as two variables (external s...
Steven L. Bell, Bernhard O. Palsson
ICASSP
2010
IEEE
13 years 6 months ago
A transient analysis for the convex combination of two adaptive filters with transfer of coefficients
This paper proposes an improved model for the transient of convex combinations of adaptive filters. A previous model, based on a firstorder Taylor series approximation of the nonl...
Magno T. M. Silva, Vitor H. Nascimento, Jeró...
TGC
2010
Springer
13 years 6 months ago
Certified Result Checking for Polyhedral Analysis of Bytecode Programs
Static analysers are becoming so complex that it is crucial to ascertain the soundness of their results in a provable way. In this paper we develop a certified checker in Coq that ...
Frédéric Besson, Thomas P. Jensen, D...
CORR
2011
Springer
147views Education» more  CORR 2011»
13 years 3 months ago
Realization theory of discrete-time linear switched systems
The paper presents realization theory of discrete-time linear switched systems (abbreviated by DTLSSs). We present necessary and sufficient conditions for an input-output map to ...
Mihály Petreczky, Laurent Bako, Jan H. van ...