3146 search results - page 155 / 630 » The use of compiler optimizations for embedded systems softw... |
173
click to vote
PST
2008
15 years 7 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
168
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
Security concerns on embedded devices like cellular phones make Java an extremely attractive technology for providing third-party and user-downloadable functionality. However, gar...
184
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper deals with specific issues related to the design of distributed embedded systems implemented with mixed, eventtriggered and time-triggered task sets, which communicate ...
132
click to vote
DATE
2007
IEEE
16 years 21 days ago
2007
IEEE
Researchers previously proposed warp processors, a novel architecture capable of transparently optimizing an executing application by dynamically re-implementing critical kernels ...
184
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Translation validation is a technique for checking that, after an optimization has run, the input and output of the optimization are equivalent. Traditionally, translation validat...