Towards an automatic synthesis system for real-time software

This publication has 9 references indexed in Scilit:

• High quality time-scale modification for speech
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• The rate monotonic scheduling algorithm: exact characterization and average case behavior
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• On the feasibility of synthesizing CAD software from specifications: generating maze router tools in ELF
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1991
• Automatic Programming Applied to VLSI CAD Software: A Case Study
  Published by Springer Nature ,1990
• A Conceptual Analysis of the Draco Approach to Constructing Software Systems
  IEEE Transactions on Software Engineering, 1987
• The Draco Approach to Constructing Software from Reusable Components
  IEEE Transactions on Software Engineering, 1984
• On the efficient synthesis of efficient programs
  Artificial Intelligence, 1983
• An experiment in knowledge-based automatic programming
  Artificial Intelligence, 1979
• Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
  Journal of the ACM, 1973