176 search results - page 4 / 36 » On Algebras with Iteration |
LPAR
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested program loops. The system combines static analysis...
CORR
2006
Springer
13 years 5 months ago
2006
Springer
Denotational semantics can be based on algebras with additional structure (order, metric, etc.) which makes it possible to interpret recursive specifications. It was the idea of El...
CADE
2007
Springer
14 years 6 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
MOC
1998
13 years 5 months ago
1998
When Newton’s method is applied to find the maximal symmetric solution of an algebraic Riccati equation, convergence can be guaranteed under moderate conditions. In particular, ...
NA
2010
13 years 16 days ago
2010
Solving systems of nonlinear equations is a relatively complicated problem for which a number of different approaches have been proposed. In this paper, we employ the Homotopy Anal...