3688 search results - page 148 / 738 » Static analysis of aspects |
186
click to vote
CSUR
1999
15 years 6 months ago
1999
useful for optimizing compilers [15], partial evaluators [11], abstract debuggers [1], models-checkers [2], formal verifiers [13], etc. The difficulty of the task comes from the fa...
158
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
A vast literature has been published on Statistical Static Timing Analysis (SSTA), its motivations, its different implementations and their runtime/accuracy trade-offs. However, v...
177
click to vote
ESEM
2007
ACM
15 years 10 months ago
2007
ACM
There are various models in software engineering that are used to predict quality-related aspects of the process or artefacts. The use of these models involves elaborate data coll...
187
click to vote
DAC
2006
ACM
16 years 8 months ago
2006
ACM
Accurate estimation of the worst-case execution time (WCET) of a program is important for real-time embedded software. Static WCET estimation involves program path analysis and ar...
160
click to vote
ICSE
2009
IEEE-ACM
16 years 7 months ago
2009
IEEE-ACM
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...