3688 search results - page 284 / 738 » Static analysis of aspects |
184
click to vote
WCET
2007
15 years 7 months ago
2007
To calculate the WCET of a program, safe upper bounds on the number of loop iterations for all loops in the program are needed. As the manual annotation of all loops with such bou...
159
click to vote
TVLSI
2008
15 years 6 months ago
2008
With aggressive scaling down of feature sizes in VLSI fabrication, process variation has become a critical issue in designs. We show that two necessary conditions for the "Max...
181
click to vote
ICFEM
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
212
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
The complexity of modern web applications makes it difficult for developers to fully understand the security implications of their code. Attackers exploit the resulting security v...
168
click to vote
DFG
2004
Springer
16 years 3 days ago
2004
Springer
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...