266 search results - page 8 / 54 » Linear Recursion |
103
click to vote
APLAS
2011
ACM
13 years 11 months ago
2011
ACM
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...
SPAA
1999
ACM
15 years 4 months ago
1999
ACM
Matrix multiplication is an important kernel in linear algebra algorithms, and the performance of both serial and parallel implementations is highly dependent on the memory system...
ICALP
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Hierarchical and recursive state machines are suitable abstract models for many software systems. In this paper we extend a model recently introduced in literature, by al...
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
In this paper, a recursive nonlinear filter exploiting trigonometric expansions of the past output samples is introduced. Its peculiarity is, in general, the ability to model rea...
ISCAS
2005
IEEE
15 years 5 months ago
2005
IEEE
— A principle of linear mean-square estimation which we call the “missing observations theorem” is presented here and used to provide a simple alternative derivation of Levin...