[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
Reflects downloads up to 04 Jan 2025Bibliometrics
Skip Table Of Content Section
article
Free
Upper Bounds for the Total Path Length of Binary Trees

Two upper bounds for the total path length of binary trees are obtained. One is for node-trees, and bounds the internal (or root-to-node) path length; the other is for leaf-trees, and bounds the external (or root-to-leaf) path length. These bounds ...

article
Free
A-Stable Composite Multistep Methods

Consider the set of multistep formulas ∑l-1jmn-k αijxmn+j - hl-1jmn-kβijxmn+j = 0, i = 1, ···, l, where xmn+j = ymn+j for j= -k, ···, -1 and xn = ƒn = ƒ(xn , tn). These formulas are solved simultaneously for the xmn+j with j = 0, ···, l - 1 in terms ...

article
Free
An Efficient Parallel Algorithm for the Solution of a Tridiagonal Linear System of Equations

Tridiagonal linear systems of equations can be solved on conventional serial machines in a time proportional to N, where N is the number of equations. The conventional algorithms do not lend themselves directly to parallel computation on computers of ...

article
Free
A Combinatorial Problem Related to Interleaved Memory Systems

A combinatorial problem arising from the analysis of a model of interleaved memory systems is studied. The performance measure whose calculation defines this problem is based on the distribution of the number of modules in operation during a memory ...

article
Free
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

The problem of multiprogram scheduling on a single processor is studied from the viewpoint of the characteristics peculiar to the program functions that need guaranteed service. It is shown that an optimum fixed priority scheduler possesses an upper ...

article
Free
Mathematical Models for Automatic Line Detection

A particular decision-theoretic approach to the problem of detecting straight edges and lines in pictures is discussed. A model is proposed of the appearance of scenes consisting of prismatic solids, taking into account blurring, noise, and smooth ...

article
Free
Arcs and Curves in Digital Pictures

Characterizations of digital “simple arcs” and “simple closed curves” are given. In particular, it is shown that the following are equivalent for sets S having more than four points: (1) S is a simple curve; (2) S is connected and each point of S has ...

article
Free
Efficient Exercising of Switching Elements in Nets of Identical Gates

The problem of finding a minimum number of patterns to exercise the logic elements of a combinational switching net is investigated. Throughout, the word “testing” refers to exercising of this kind; or, equivalently, to fault diagnosis where each line ...

article
Free
The Solvability of the Decision Problem for Classes of Proper Formulas and Related Results

In connection with the development of an actual question-answering system, the Relational Data File of The Rand Corporation, a class of formulas of the predicate calculus, the definite formulas of Kuhns, was proposed as the class of symbolic ...

article
Free
Z-Resolution: Theorem-Proving with Compiled Axioms

An improved procedure for resolution theorem proving, called Z-resolution, is described. The basic idea of Z-resolution is to “compile” some of the axioms in a deductive problem. This means to automatically transform the selected axioms into a computer ...

article
Free
A Class of Merging Algorithms

Suppose we are given two disjoint linearly ordered subsets A and B of a linearly ordered set C, say A = {a1 < a2 < ··· < am} and B = {b1 < b2 < ··· < bn}. The problem is to determine the linear ordering of their union (i.e. to merge A and B) by means of ...

article
Free
Tree-Manipulating Systems and Church-Rosser Theorems

Subtree replacement systems form a broad class of tree-manipulating systems. Systems with the “Church-Rosser property” are appropriate for evaluation or translation processes: the end result of a complete sequence of applications of the rules does not ...

Subjects

Comments

Please enable JavaScript to view thecomments powered by Disqus.