532 search results - page 106 / 107 » Automatic Hardware Software Interface Generation for Embedde... |
EON
2008
13 years 7 months ago
2008
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
ECBS
2006
IEEE
14 years 10 days ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
LCPC
2005
Springer
13 years 11 months ago
2005
Springer
Programming network processors remains a challenging task since their birth until recently when high-level programming environments for them are emerging. By employing domain speci...
HPCA
2011
IEEE
12 years 10 months ago
2011
IEEE
As the web becomes the platform of choice for execution of more complex applications, a growing portion of computation is handed off by developers to the client side to reduce net...
SPAA
2006
ACM
14 years 6 days ago
2006
ACM
LOFAR is the first of a new generation of radio telescopes, that combines the signals from many thousands of simple, fixed antennas, rather than from expensive dishes. Its revol...