33 search results - page 5 / 7 » Impact of function inlining on resource-constrained embedded... |
DAC
2009
ACM
14 years 2 months ago
2009
ACM
For a computing system to be trusted, it is equally important to verify that the system performs no more and no less functionalities than desired. Traditional testing and verifica...
ISSS
2002
IEEE
14 years 17 days ago
2002
IEEE
We present a system-level design and programming method for embedded multiprocessor systems. The aim of the method is to improve the design time and design quality by providing a ...
ENTCS
2002
13 years 7 months ago
2002
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
RTAS
2002
IEEE
14 years 17 days ago
2002
IEEE
In this paper, we examine two architectural alternatives— native OS support versus middleware—for supporting multimedia applications. Specifically, we examine whether extensi...
EMSOFT
2010
Springer
13 years 5 months ago
2010
Springer
In the design of hard real-time systems, the feasibility of the task set is one of the primary concerns. However, in embedded systems with scarce resources, optimizing resource us...