A combined method for selection of modules in time-optimal program design

zbMATH Open0419.68011MaRDI QIDQ1132546

S. H. Smith

Publication date: 1978

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

zbMATH Keywords

dynamic programmingmodularitybranch-and-bound methodtime-optimal program design

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Optimization issues in structured-modular composition programming technology

This page was built for publication: A combined method for selection of modules in time-optimal program design

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