Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code.
Arkadeb GhosalDaniel T. IercanChristoph M. KirschThomas A. HenzingerAlberto L. Sangiovanni-VincentelliPublished in: Sci. Comput. Program. (2012)
Keyphrases
- real time
- embedded systems
- low cost
- source code
- real time systems
- programs written
- smart camera
- linear systems
- code generation
- java programs
- embedded processors
- coarse to fine
- computer programs
- database
- shop floor
- program code
- error handling
- program slicing
- real time embedded
- np hard
- control flow
- control system
- neural network