1821 search results - page 268 / 365 » Security-Aware Program Transformations |
107
click to vote
RV
2010
Springer
14 years 11 months ago
2010
Springer
We present the InterAspect instrumentation framework for GCC, a widely used compiler infrastructure. The addition of plugin support in the latest release of GCC makes it an attract...
94
Voted
SSS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Transformations from shared memory model to wireless sensor networks (WSNs) quickly become inefficient in the presence of prevalent message losses in WSNs, and this prohi...
116
click to vote
LCTRTS
2010
Springer
14 years 10 months ago
2010
Springer
The automotive industry has a growing demand for the seamless integration of safety analysis tools into the model-based development toolchain for embedded systems. This requires t...
113
Voted
LICS
2010
IEEE
14 years 10 months ago
2010
IEEE
Let R be a class of generators of node-labelled infinite trees, and L be a logical language for describing correctness properties of these trees. Given R R and L, we say that R ...
114
click to vote
PLDI
2006
ACM
15 years 6 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 ...