Parallel scheduling of recursively defined arrays: Revisited
From MaRDI portal
Publication:1332652
DOI10.1006/JSCO.1993.1041zbMath0804.68084OpenAlexW1967021447MaRDI QIDQ1332652
Publication date: 12 January 1995
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/jsco.1993.1041
extreme pointsconvex polyhedronsystems of linear inequalitiesparallel schedulingrecursive equationhyperplane methodnon-procedural program specificationrestructuring transformationwavefront method
Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)
This page was built for publication: Parallel scheduling of recursively defined arrays: Revisited