3688 search results - page 217 / 738 » Static analysis of aspects |
150
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Many recent techniques for timing analysis under variability, in which delay is an explicit function of underlying parameters, may be described as parameterized timing analysis. T...
177
click to vote
ISSTA
2006
ACM
16 years 17 days ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
210
click to vote
INFSOF
2010
15 years 3 months ago
2010
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
191
click to vote
SC
2009
ACM
16 years 1 months ago
2009
ACM
We present a scalable temporal order analysis technique that supports debugging of large scale applications by classifying MPI tasks based on their logical program execution order...
182
click to vote
LCTRTS
2007
Springer
16 years 23 days 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...