Scheduling on semantic solution tables

MaRDI QIDQ1183764zbMATH OpenFDO

Authors S. Singh

Publication date 28 June 1992

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

automatic programmingprogram synthesisprogramming support systemsemantic models

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Scalable and structured scheduling
• scientific article; zbMATH DE number 3991269
• Reservation table scheduling: branch-and-bound based optimizationvs. integer linear programming techniques
• Some efficient solutions to the affine scheduling problem. I: One- dimensional time
• The problem of schedule construction in the joint design of hardware and software

Cited in

(1)

• Scheduling aspects in keyword extraction problem

This page was built for publication: Scheduling on semantic solution tables

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1183764)