Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code.

Arkadeb Ghosal, Daniel T. Iercan, Christoph M. Kirsch, Thomas A. Henzinger, and Alberto L. Sangiovanni-Vincentelli. Sci. Comput. Program. 77(2):96-112 (2012)

Links and resources

BibTeX key:
internal link:
You can use this internal link to create references to this post in your discussions. Just copy this internal link and paste it in your discussion text.
search on:

Comments and Reviews  

There is no review or comment yet. You can write one!


Cite this publication