MPC
1989
Springer
13 years 10 months ago
1989
Springer
A scheme is presented which transforms systolic programs with a two-dimensionalstructure to one dimension. The elementary steps of the transformation are justified by theorems in ...
MPC
1989
Springer
13 years 10 months ago
1989
Springer
MPC
1989
Springer
13 years 10 months ago
1989
Springer
ISSAC
1989
Springer
13 years 10 months ago
1989
Springer
ISSAC
1989
Springer
13 years 10 months ago
1989
Springer
In this paper, we describe a parallelization scheme for Collins’ cylindrical algebraic decomposition algorithm for quantifier elimination in the theory of real closed fields. ...
ISSAC
1989
Springer
13 years 10 months ago
1989
Springer
: We present a modification of the Goldwasser-Kilian-Atkin primality test, which, when given an input n, outputs either prime or composite, along with a certificate of correctnes...
ISSAC
1989
Springer
13 years 10 months ago
1989
Springer
The use of lookup tables can reduce the complexity of calculation of functions defined typically by mathematical recurrence relations. Although this technique has been adopted by...
AM
1989
13 years 10 months ago
1989
MPC
1992
Springer
13 years 10 months ago
1992
Springer
A calculus for developing programs from specifications written as predicates that describe the relationship between the initial and final state is proposed. Such specifications are...
MPC
1992
Springer
13 years 10 months ago
1992
Springer
In this paper we derive a linear-time, constant-space algorithm to construct a binary heap whose inorder traversal equals a given sequence. We do so in two steps. First, we invert...