309 search results - page 40 / 62 » Code Transformations for One-Pass Analysis |
122
click to vote
LCTRTS
2010
Springer
15 years 7 months ago
2010
Springer
Continuous technology scaling has brought us to a point, where transistors have become extremely susceptible to cosmic radiation strikes, or soft errors. Inside the processor, cac...
146
Voted
CGO
2006
IEEE
15 years 8 months ago
2006
IEEE
The majority of security vulnerabilities published in the literature are due to software bugs. Many researchers have developed program transformation and analysis techniques to au...
110
click to vote
SAS
1997
Springer
15 years 6 months ago
1997
Springer
is an important optimization for programs that use procedural abstraction. Because inlining trades code size for execution speed, the effectiveness of an inlining algorithm is det...
132
Voted
IJWET
2008
15 years 1 months ago
2008
: Building service-based architectures has become a major area of interest since the advent of web services. Modelling these architectures is a central activity. Model-driven devel...
131
Voted
PLDI
2006
ACM
15 years 8 months ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...