1149 search results - page 2 / 230 » What Are Iteration Theories |
CSCW
2002
ACM
13 years 5 months ago
2002
ACM
PEPM
2000
ACM
13 years 9 months ago
2000
ACM
Transforming recursion into iteration eliminates the use of stack frames during program execution. It has been studied extensively. This paper describes a powerful and systematic ...
MOC
2002
13 years 5 months ago
2002
ABSTRACT. The aim of this paper is to provide a convergence analysis for a preconditioned subspace iteration, which is designated to determine a modest number of the smallest eigen...
JSYML
2011
13 years 21 days ago
2011
Abstract. This paper introduces a natural extension of Kolchin’s differential Galois theory to positive characteristic iterative differential fields, generalizing to the non-li...
LICS
2000
IEEE
13 years 10 months ago
2000
IEEE
We give an axiomatic treatment of fixed-point operators in categories. A notion of iteration operator is defined, embodying the equational properties of iteration theories. We p...