BibSonomy :: publication :: Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code.
URLDOITeX

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

URL:http://dblp.uni-trier.de/db/journals/scp/scp77.html#GhosalIKHS12
BibTeX key:journals/scp/GhosalIKHS12
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 or reviews  
(0)

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

Tags

  • Last update 2 years and 4 months ago
  • Created 2 years and 4 months ago

Cite this publication