On synthesis of scheduling algorithms
From MaRDI portal
Publication:799101
DOI10.1016/0020-0190(84)90094-2zbMATH Open0547.68038OpenAlexW2007530841MaRDI QIDQ799101FDOQ799101
Authors: R. G. Gupta, V. S. P. Srivastava
Publication date: 1984
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(84)90094-2
Cites Work
- Title not available (Why is that?)
- A Transformation System for Developing Recursive Programs
- A synthesis of several sorting algorithms
- Remarks on A synthesis of several sorting algorithms
- Algorithm classification through synthesis
- Knowledge and reasoning in program synthesis
- An exercise in program synthesis: algorithms for computing the transitive closure of a relation
Cited In (3)
This page was built for publication: On synthesis of scheduling algorithms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q799101)