Efficient task scheduling in the parallel result-verifying solution of nonlinear systems

Beelitz, Thomas; Lang, Bruno; Bischof, Christian

Dordrecht [u.a.] : Kluwer (2006)
Fachzeitschriftenartikel

In: Reliable computing
Band: 12
Heft: 2
Seite(n)/Artikel-Nr.: 141-151