1629 search results - page 202 / 326 » Infeasible Code Detection |
101
click to vote
ICSM
2008
IEEE
15 years 8 months ago
2008
IEEE
More than 90% of the cost of software is due to maintenance and evolution. Understanding the evolution of large software systems is a complex problem, which requires the use of va...
102
click to vote
RTAS
2005
IEEE
15 years 7 months ago
2005
IEEE
It is advantageous to perform compiler optimizations to lower the WCET of a task since tasks with lower WCETs are easier to schedule and more likely to meet their deadlines. Compi...
120
click to vote
LOPSTR
2004
Springer
15 years 7 months ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
129
click to vote
AOSD
2008
ACM
15 years 3 months ago
2008
ACM
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...
105
click to vote
CISIS
2008
IEEE
15 years 3 months ago
2008
IEEE
While memory-safe and type-safe languages have been available for many years, the vast majority of software is still implemented in type-unsafe languages such as C/C++. Despite ma...