957 search results - page 133 / 192 » Modular Static Program Analysis |
101
click to vote
TACAS
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. The pairwise reachability problem for a multi-threaded program asks, given control locations in two threads, whether they can be simultaneously reached in an execution of...
107
click to vote
CORR
2002
Springer
14 years 9 months ago
2002
Springer
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalu...
SOCO
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Software development for embedded systems gains momentum but faces many challenges. Especially the constraints of deeply embedded systems, i.e., extreme resource and perf...
LCTRTS
2007
Springer
15 years 3 months ago
2007
Springer
In the design of real-time and embedded systems, it is important to establish a bound on the worst-case execution time (WCET) of programs to assure via schedulability analysis tha...
SP
2008
IEEE
15 years 4 months ago
2008
IEEE
Attacks often exploit memory errors to gain control over the execution of vulnerable programs. These attacks remain a serious problem despite previous research on techniques to pr...