4725 search results - page 38 / 945 » Dependence-Based Program Analysis |
ECOOPW
2006
Springer
14 years 3 days ago
2006
Springer
Abstract. Software security has become more important than ever. Unfortunately, still now, the security of a software system is almost always retrofitted to an afterthought. When s...
WORDS
2005
IEEE
14 years 2 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
ESOP
2011
Springer
12 years 12 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...
CSMR
2005
IEEE
14 years 2 months ago
2005
IEEE
A domain-specific visual language, Function Block Language (FBL), is used in Metso Automation for writing automation control programs. The same engineering environment is used for...
ESEC
1995
Springer
14 years 8 hour ago
1995
Springer
This paper presents the results of an exploratory experiment investigating the use of program metrics to predict reachability graph size, reachability graph generation time, and d...