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

From MaRDI portal
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
    0 references
    0 references
    0 references