On synthesis of scheduling algorithms

DOI10.1016/0020-0190(84)90094-2zbMath0547.68038OpenAlexW2007530841MaRDI QIDQ799101

V. S. P. Srivastava, R. G. Gupta

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

zbMATH Keywords

synthesis of algorithmsscheduling algorithmsdesign and analysis of algorithms

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Cites Work

• Unnamed Item
• An exercise in program synthesis: algorithms for computing the transitive closure of a relation
• Knowledge and reasoning in program synthesis
• A synthesis of several sorting algorithms
• Remarks on A synthesis of several sorting algorithms
• Algorithm classification through synthesis
• A Transformation System for Developing Recursive Programs

This page was built for publication: On synthesis of scheduling algorithms