Efficient task scheduling in the parallel result-verifying solution of nonlinear systems
From MaRDI portal
Recommendations
- Efficiency of the methods of scheduling complex sets of tasks in nonuniform multiprocessor computer systems
- scientific article; zbMATH DE number 1206104
- Scheduling and stability aspects of a general class of parallel processing systems
- Parallel algorithms for solution of problems in scheduling theory
- Scheduling parallel iterative methods on multiprocessor systems
- Efficient execution of nondeterministic parallel programs on asynchronous systems
Cites work
- scientific article; zbMATH DE number 761488 (Why is no real title available?)
- scientific article; zbMATH DE number 804603 (Why is no real title available?)
- A Hybrid Approach for Efficient Robust Design of Dynamic Systems
- A hybrid subdivision strategy for result-verifying nonlinear solvers
- Efficient and Safe Global Constraints for Handling Numerical Constraint Systems
- FILIB++, a fast interval library supporting containment computations
- Interval Methods for Systems of Equations
- Numerical Software with Result Verification
- Rigorous global search: continuous problems
- Singularities and groups in bifurcation theory. Volume I
- The NX message passing interface
- Verified determination of singularities in chemical processes
Cited in
(2)
This page was built for publication: Efficient task scheduling in the parallel result-verifying solution of nonlinear systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q811943)
