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

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.

Comments or reviews  

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


Cite this publication