5159 search results - page 74 / 1032 » Structural Testing of Executables |
168
click to vote
EUROPAR
2001
Springer
15 years 7 months ago
2001
Springer
Optimizations performed at link time or directly applied to nal program executables have received increased attention in recent years. This paper discuss the discovery and elimina...
100
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
The paper is organized as a self-contained literate Prolog program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmetic...
132
click to vote
ICRA
2010
IEEE
15 years 29 days ago
2010
IEEE
Service robots will have to accomplish more and more complex, open-ended tasks and regularly acquire new skills. In this work, we propose a new approach to generating plans for su...
149
click to vote
RTAS
2011
IEEE
14 years 5 months ago
2011
IEEE
—It is widely assumed that scheduling real-time tasks becomes more difficult as their deadlines get shorter. With deadlines shorter, however, tasks potentially compete less with...
ACSAC
2005
IEEE
15 years 8 months ago
2005
IEEE
We present e-NeXSh, a novel security approach that utilises kernel and LIBC support for efficiently defending systems against process-subversion attacks. Such attacks exploit vul...