Derivation of a parallel algorithm for balancing binary trees (Q3729998)

From MaRDI portal
Revision as of 14:25, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Derivation of a parallel algorithm for balancing binary trees
scientific article

    Statements

    Derivation of a parallel algorithm for balancing binary trees (English)
    0 references
    0 references
    0 references
    1986
    0 references
    0 references
    program transformation
    0 references
    parallel programs
    0 references
    sequential programs
    0 references
    binary search trees
    0 references
    parallel algorithm
    0 references
    stepwise refinement
    0 references