Results 261 to 270 of about 2,540,801 (303)

Algorithmic Logic with Recursive Functions

Fundamenta Informaticae, 1981
A language is considered in which the reader can express such properties of block-structured programs with recursive functions as correctness and partial correctness. The semantics of this language is fully described by a set of schemes of axioms and inference rules. The completeness theorem and the soundness theorem for this axiomatization are proved.
openaire   +3 more sources

Recursion and Recursive Algorithms

1978
Before continuing with the treatment of search methods a full discussion of recursion is needed to prepare the ground for the next chapter on binary trees.
openaire   +1 more source

Recursive Algorithms for Polymeric Chains

2001
The implementation of real-space recursive methods for the evaluation of the electronic structure and transport properties of selected representative conjugated polymers is the main topic of this chapter. For this it is convenient to evaluate the matrix elements of the resolvent operator of the polymer Hamiltonian.
Vignolo P, FARCHIONI R, Grosso G
openaire   +3 more sources

RECURSIVE STRUCTURALIZATION IN ALGORITHM CYBERNETICS

Kybernetes, 1978
An approach to the cybernetic design of a wide class of algorithms is presented. The approach allows the implicit elimination of symbolic forms for an algorithm, while the search for a symbolic form can be dynamically restricted to a narrow space of symbolic forms. The immediate practical use of the design concept is demonstrated.
openaire   +1 more source

The contraction method for recursive algorithms

Algorithmica, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Rösler, Uwe, Rüschendorf, Ludger
openaire   +4 more sources

A fast recursive mapping algorithm

Concurrency: Practice and Experience, 1995
AbstractThe paper presents a generic technique for mapping parallel algorithms onto parallel architectures. The proposed technique is a fast recursive mapping algorithm which is a component of the Cluster‐M programming tool. The other components of Cluster‐M are the Specification module and the Representation module.
Song Chen, Mary Mehrnoosh Eshaghian
openaire   +2 more sources

An improved recursive algorithm for BLAST

2006 IEEE 63rd Vehicular Technology Conference, 2006
In this paper, an improved recursive algorithm for BLAST is proposed. The speedups of the improved recursive algorithm over the original recursive algorithm in the number of multiplications and additions are 1.47 and 1.2 respectively. And the speedups of the improved recursive algorithm over the conventional V-BLAST in the number of multiplications and
Hufei Zhu, Zhongding Lei, Francois P. S. Chin   +2 more
openaire   +2 more sources

Recursive definitions for iterative algorithms

ACM SIGPLAN Notices, 1975
Since higher level languages first appeared, computer practitioners have been seeking a language which will permit them to define an algorithm to a computer without unnecessary specification of the sequence in which actions are to be carried out. Recursive definitions meet this requirement, but a major obstacle to their wider adoption has been the fact
openaire   +1 more source

A Representation Theorem for Primitive Recursive Algorithms

Fundamenta Informaticae, 2011
We formalize the algorithms computing primitive recursive (PR) functions as the abstract state machines (ASMs) whose running length is computable by a PR function. Then we show that there exists a programming language (implementing only PR functions) by which it is possible to implement any one of the previously defined algorithms for the PR functions ...
Philippe Andary, Bruno Patrou, Pierre Valarcher   +2 more
openaire   +3 more sources

Recursive inverse adaptive filtering algorithm

Digital Signal Processing, 2009
In this paper, a new FIR adaptive filtering algorithm is proposed. The approach uses a variable step-size and the instantaneous value of the autocorrelation matrix in the coefficient update equation that leads to an improved performance. Convergence analysis of the algorithm has been presented. Simulation results show that the algorithm performs better
Mohammad Shukri Ahmad, Osman Kukrer, Aykut Hocanin   +2 more
openaire   +3 more sources