3670 search results - page 48 / 734 » Linear Recursive Functions |
AUTOMATICA
2007
13 years 9 months ago
2007
This paper extends previous work on joint input and state estimation to systems with direct feedthrough of the unknown input to the output. Using linear minimum-variance unbiased ...
FSE
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. A corrector is used to reduce or eliminate statistical weakness of a physical random number generator. A description of linear corrector generalizing post-processing desc...
TPHOL
2002
IEEE
14 years 2 months ago
2002
IEEE
Abstract. This paper describes a formalization of the weakest precondition, wp, for general recursive programs using the type-theoretical proof assistant Coq. The formalization is ...
CADE
2004
Springer
14 years 10 months ago
2004
Springer
This paper is concerned with the integration of recursive data structures with Presburger arithmetic. The integrated theory includes a length function on data structures, thus prov...
FPL
2009
Springer
14 years 2 months ago
2009
Springer
Reconfigurable systems are widely used nowadays to increase performance of computationally intensive applications. There exist a lot of synthesis tools that automatically generate...