Synthesis of Software Programs for Embedded Control Applications
- 1 December 1995
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Proceedings of the 39th conference on Design automation - DAC '02
- p. 587-592
- https://doi.org/10.1109/dac.1995.250015
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Dynamic variable ordering for ordered binary decision diagramsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Hardware-software codesign of embedded systemsIEEE Micro, 1994
- Scheduling for reactive real-time systemsIEEE Micro, 1994
- Program implementation schemes for hardware-software systemsComputer, 1994
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- Scheduling Algorithms for Multiprogramming in a Hard-Real-Time EnvironmentJournal of the ACM, 1973