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

Beelitz, Thomas; Lang, Bruno; Bischof, Christian

Dordrecht [u.a.] : Kluwer (2006)
Journal Article

In: Reliable computing
Volume: 12
Issue: 2
Page(s)/Article-Nr.: 141-151