Parallel methods for verified global optimization practice and theory (Q1817314)

From MaRDI portal
Revision as of 00:48, 28 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Parallel methods for verified global optimization practice and theory
scientific article

    Statements

    Parallel methods for verified global optimization practice and theory (English)
    0 references
    0 references
    0 references
    19 December 1996
    0 references
    0 references
    interval arithmetic
    0 references
    global optimization
    0 references
    centralized mediator
    0 references
    dynamic load balancing
    0 references
    parallelization of methods
    0 references